On Sep 26, 2011, at 9:26 PM, Bohms, H.M. (Michel) wrote: > I see, but this (construct) query is generating instances > I was just thinking about standard ask queries, like you mentioned earlier
You can take the existing template as a starting point and modify it. But the CONSTRUCT form of the constraint is more flexible than the ASK form, so you'll sooner or later may want to switch to CONSTRUCT anyway. > > 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.... There are many variations of such constraints, and it is hard to put them into an "official" SPIN library. So for now, we leave this to third parties, and everyone is free to define and publish their own libraries. > > > 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.. Yes this is possible as well, just create a constraint/template that walks the OWL syntax and applies closed work to them. It's really up to you. Holger -- 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
