very clear now, for all three variants on the owl-side... however, when I click in profile option nr 1 and 4 and execute 'refresh and show problems' I get no problems for the instance....
related to the fact that I cannot say 'ok' after giving an out of range value??? thx! Michel ps also 'old'constraint problems/warnings stay even when file is closed... ________________________________ From: [email protected] [mailto:[email protected]] On Behalf Of Holger Knublauch Sent: woensdag 28 september 2011 3:13 To: [email protected] Subject: Re: [topbraid-users] spin syntactic sugar? Michel, please look at the attached example that uses the spinowl file included in TopBraid's standard library to verify that the value of age must be > = 0. The condition itself is expressed using OWL 2 vocabulary, but the constraint check is done using a generic SPIN constraint that is included in the spinowl file. This means you can use the OWL 2 vocabulary, but apply SPIN-based checking at the same time. The constraint also uses a template because there are different variations for the various types of OWL 2 datatype facets. HTH Holger On Sep 27, 2011, at 10:51 PM, Bohms, H.M. (Michel) wrote: 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]> [mailto:[email protected]] On Behalf Of Holger Knublauch Sent: maandag 26 september 2011 22:48 To: [email protected]<mailto:[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]<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 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]<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
