One more thing. This will be useful for moving from SPIN to SHACL http://www.spinrdf.org/spin-shacl.html <http://www.spinrdf.org/spin-shacl.html>
> On Aug 25, 2017, at 7:41 AM, Michel Böhms <[email protected]> wrote: > > Hi Irene > > There was mistake in disjointness modelling. Now I get the errors "shared > instance of disjoint classes"as expected. > > area: so having a minValue (here float) makes me owl full? > > wrt rule language: I also have a variant with a sparql ask query (spin) that > works fine (*). > > So what would you advice for future: spin or shacl. Is the power between them > compatible? > > Ie can you do all constraint checking in shacl that you can do in sparql ask? > > thx a lot, > Michel > > * > <image.png> > > > 2017-08-25 13:22 GMT+02:00 Bohms, H.M. (Michel) <[email protected] > <mailto:[email protected]>>: > > > Verzonden van mijn Android-telefoon via TouchDown (www.symantec.com > <http://www.symantec.com/>) > > -----Original Message----- > From: Irene Polikoff [[email protected] <mailto:[email protected]>] > Received: donderdag, 24 aug. 2017, 19:28 > To: [email protected] <mailto:[email protected]> > [[email protected] <mailto:[email protected]>] > Subject: Re: [topbraid-users] constraint violation > > Michel, > > Is BigPump class disjoint with SmallPump class? > > As for your restriction on the area property, a data range expression is > restricted in OWL 2 RL to the predefined datatypes admitted in OWL 2 RL and > the intersection of data ranges. As an aside, the same is true for OWL 2 QL. > OWL 2 EL is the same plus it also supports enumerations of literals > consisting of a single literal. So, with none of the OWL 2 profiles will > there be reasoning based on xsd:minInclusive. > > I’d recommend SHACL solution over SPIN because it would be more standard. > > > On Aug 24, 2017, at 9:41 AM, Bohms, H.M. (Michel) <[email protected] > > <mailto:[email protected]>> wrote: > > > > > > Dear, > > > > Was hoping to get two warnings/errors on attached file (OWL-RL restrictions > > has been ticked and after inferencing with topspin): > > • Value for area of BigPump_1 does violate owl restriction on area > > • Selected pump violates allvaluesfrom restriction > > > > Is there a way to have tbc showing such issues? > > > > Thx a lot, Michel > > > > Situation: > > <image002.png> > > And the actual nonvalid individual (in red where I hoped for warning/error): > > <image003.png> > > > > Ps I have also spin variant but want to compare with owl-only solution….. > > > > > > Dr. ir. H.M. (Michel) Böhms > > Senior Data Scientist > > > > T +31888663107 <tel:+31%2088%20866%203107> > > M +31630381220 <tel:+31%206%2030381220> > > E [email protected] <mailto:[email protected]> > > Location > > > > > > <image001.gif> > > This message may contain information that is not intended for you. If you > > are not the addressee or if this message was sent to you by mistake, you > > are requested to inform the sender and delete the message. TNO accepts no > > liability for the content of this e-mail, for the manner in which you use > > it and for damage of any kind resulting from the risks inherent to the > > electronic transmission of messages. > > > > > > > > > > > > -- > > You received this message because you are subscribed to the Google Groups > > "TopBraid Suite Users" group. > > To unsubscribe from this group and stop receiving emails from it, send an > > email to [email protected] > > <mailto:topbraid-users%[email protected]>. > > For more options, visit https://groups.google.com/d/optout > > <https://groups.google.com/d/optout>. > > <priva-owl.ttl><priva-owl.ttl.tbc> > > -- > You received this message because you are subscribed to the Google Groups > "TopBraid Suite Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected] > <mailto:topbraid-users%[email protected]>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. > > > -- > You received this message because you are subscribed to the Google Groups > "TopBraid Suite Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected] > <mailto:[email protected]>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- You received this message because you are subscribed to the Google Groups "TopBraid Suite Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
