I see, but this (construct) query is generating instances I was just thinking about standard ask queries, like you mentioned earlier
so I could imagine that such ask templates could be part of a future version of http://spinrdf.org/spl.html#templates - lessThanLiteral, moreThanLiteral, LessEqualThenLiteral, ..... - lessThanOtherPropertyValue,.... or maybe a sort of generic data range template where min/max can be literal of ref to other props.... or... is it the idea that we do these things somehow OWA with owl axioms/restriction and then use your profile option "SPIN constraints on OWL exioms with CWA". Although I would only now hasValue here and not min/max stuff.. ________________________________ From: [email protected] [mailto:[email protected]] On Behalf Of Holger Knublauch Sent: maandag 26 september 2011 12:57 To: [email protected] Subject: Re: [topbraid-users] spin syntactic sugar? Yeah, for example http://semwebquality.org/ontologies/dq-constraints#LowerLimitClass seems to be pretty close to what you may need (except that you may want to use the ?this local attachment instead of the global constraint). Holger On Sep 26, 2011, at 8:53 PM, Bohms, H.M. (Michel) wrote: yes, but....then I would expect such general questions to be part of the standard spin module library ...(http://spinrdf.org/spl.html#templates) (or is it?) so maybe my whole issue/question can be reformulated as wished extension for that library.... or peprhaps there is a link here with: http://semwebquality.org/documentation/primer/20101124/index.html? ________________________________ From: [email protected]<mailto:[email protected]> [mailto:[email protected]] On Behalf Of Holger Knublauch Sent: maandag 26 september 2011 12:12 To: [email protected]<mailto:[email protected]> Subject: Re: [topbraid-users] spin syntactic sugar? Hi Michel, have you looked at SPIN Templates for that purpose? http://composing-the-semantic-web.blogspot.com/2009/01/understanding-spin-templates.html For example, define a template ex:minValue with two arguments arg:predicate and arg:min, and a spin:body of ASK { ?this ?predicate ?value . FILTER (?value < ?min) } and give it a human-readable spin:labelTemplate. Then instantiate this whenever you need this pattern. Holger On Sep 26, 2011, at 7:52 PM, Bohms, H.M. (Michel) wrote: Hi Scott, Just a question to get some opinions. I really like SPIN/SPARQL approach for modelling derivations and constraints. It is a very nice way to model product requirements: model a product in one ontology. Make a "requirements ontology" importing the first and add demands and wishes in the form of rules...to limit the solution space...obtaining a very good basis for configuration/optimization: add some goals (incl. minimize/maximize, fitness function etc.) and finally derive the best end-user specific solution instance ... However, despite the existing abstraction from the actual SPIN meta-data as plain SPARQL in the interface, I think it would be very nice to have even more syntactic sugar on top of it. Or in other words: seeing: ASK WHERE { ?this rules:length ?length . FILTER (?length < 10) . } is way better than: spin:constraint [ a sp:Ask ; sp:where ([ sp:object _:b1 ; sp:predicate rules:length ; sp:subject spin:_this ] [ a sp:Filter ; sp:expression [ a sp:lt ; sp:arg1 _:b1 ; sp:arg2 10 ]])] ; but just length >= 10 in the context of a certain class would be even (much) nicer.... (esp. when there are many constraints/derivations) thx for feedback, Michel Dr. ir. H.M. (Michel) Böhms Sr. Research Scientist Technical Sciences T +31 888663107 M +31 630381220 E [email protected]<mailto:[email protected]> Location<http://www.tno.nl/locaties/dtm> Disclaimer<http://www.tno.nl/emaildisclaimer> <logo_signature.gif><http://www.tno.nl/> -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include TopBraid Composer, TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN. To post to this group, send email to [email protected]<mailto:[email protected]> To unsubscribe from this group, send email to [email protected]<mailto:[email protected]> For more options, visit this group at http://groups.google.com/group/topbraid-users?hl=en -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include TopBraid Composer, TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN. To post to this group, send email to [email protected]<mailto:[email protected]> To unsubscribe from this group, send email to [email protected]<mailto:[email protected]> For more options, visit this group at http://groups.google.com/group/topbraid-users?hl=en -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include TopBraid Composer, TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN. To post to this group, send email to [email protected]<mailto:[email protected]> To unsubscribe from this group, send email to [email protected]<mailto:[email protected]> For more options, visit this group at http://groups.google.com/group/topbraid-users?hl=en -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include TopBraid Composer, TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/topbraid-users?hl=en -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include TopBraid Composer, TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/topbraid-users?hl=en
