more specificly: suppose i have an ontology with Rectangle and lenght length has float range
I now import this ontology in a "requirements ontology" where I want to say: not a float but only a specific data range... so, what can I define in req ontologie to "restrict" the float? (in a way that automatically a CWA constraint is/canbe generated that can be really validated) thx again ________________________________ From: [email protected] [mailto:[email protected]] On Behalf Of Holger Knublauch Sent: maandag 26 september 2011 22:48 To: [email protected] Subject: Re: [topbraid-users] spin syntactic sugar? 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 This e-mail and its contents are subject to the DISCLAIMER at http://www.tno.nl/emaildisclaimer -- 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
