I doubt that OWL RL does support this type of inferencing. And yes, this is very old technology that we no longer really support. There are many alternative ways of expressing such rules, including SHACL.
Holger > On 28 Oct 2024, at 4:55 PM, 'Bohms, H.M. (Michel)' via TopBraid Suite Users > <topbraid-users@googlegroups.com> wrote: > > Dear David > > Could be modelling issue, could be tooling issue. > Maybe I forgot a setting or maybe TBC would not infer at all. > (like using ranges in equivalent classes are not supported?) > > I am using the standard workspace settings: > <image002.png> > And set: > <image003.png> > I hoped OWL 2 RL would do the inferencing for me? Wasn’t sure about RDFS Plus > so I ticjked too.. > > Thx for any clues, Michel > > > > Dr.ir <http://dr.ir/>. H.M. Böhms (Michel) > Strategic advisor digitalisation > Mobility & Built Environment > Web: LinkedIn <https://www.linkedin.com/in/michelbohms> > Mobile: +31630381220 > E-mail: michel.bo...@tno.nl <mailto:michel.bo...@tno.nl> > Location > <https://www.tno.nl/en/about-tno/contact/locations/delft-molengraaffsingel-next/> > > > > <image001.png> <https://www.tno.nl/> > 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. > > > From: topbraid-users@googlegroups.com <topbraid-users@googlegroups.com> On > Behalf Of David Price > Sent: maandag 28 oktober 2024 16:47 > To: 'Felix Sasaki' via TopBraid Suite Users <topbraid-users@googlegroups.com> > Subject: Re: [topbraid-users] why class membership not inferred? > > I guess I wonder why you are asking this here rather than asking OWL experts > somewhere? > > My guess is the use of maxInclusive, but I do not know for sure. May even > depend on which DL reasoner you are using. > > Cheers, > David > > UK +44 (0) 7788 561308 > US +1 (336) 283-0808 > > > On 28 Oct 2024, at 15:19, Michel Böhms <michel.bo...@gmail.com > <mailto:michel.bo...@gmail.com>> wrote: > > a bit simpler, but still no inference: > > # baseURI: http://w3id.org/nt > > @prefix : <http://w3id.org/nt#> . > @prefix owl: <http://www.w3.org/2002/07/owl#> . > @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . > @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . > @prefix spin: <http://spinrdf.org/spin#> . > @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . > > <http://w3id.org/nt> > a owl:Ontology ; > spin:imports <http://topbraid.org/spin/owlrl-all> ; > spin:imports <http://topbraid.org/spin/rdfsplus> ; > owl:versionInfo "Created with TopBraid Composer" ; > . > :Girl > a owl:Class ; > rdfs:subClassOf :Person ; > owl:equivalentClass [ > a owl:Class ; > owl:intersectionOf ( > [ > a owl:Restriction ; > owl:onProperty :age ; > owl:someValuesFrom [ > a rdfs:Datatype ; > owl:onDatatype xsd:integer ; > owl:withRestrictions ( > [ > xsd:maxExclusive 21 ; > ] > ) ; > ] ; > ] > [ > a owl:Restriction ; > owl:hasValue "Female" ; > owl:onProperty :gender ; > ] > ) ; > ] ; > . > :Person > a owl:Class ; > rdfs:subClassOf owl:Thing ; > . > :Person_1 > a :Person ; > :age 18 ; > :firstname "Mabel" ; > :gender "Female" ; > . > :age > a owl:DatatypeProperty ; > rdfs:range xsd:integer ; > . > :firstname > a owl:DatatypeProperty ; > rdfs:range xsd:string ; > . > :gender > a owl:DatatypeProperty ; > rdfs:range [ > a rdfs:Datatype ; > owl:oneOf ( > "Male" > "Female" > ) ; > ] ; > . > > Op maandag 28 oktober 2024 om 14:40:29 UTC+1 schreef Michel Böhms: > Can someone remind me why : > > > :Person_1 rdf:type :Girl . > > is not inferred for: > > > > # baseURI: http://w3id.org/nt > > > @prefix : http://w3id.org/nt# <http://w3id.org/nt> . > > @prefix owl: http://www.w3.org/2002/07/owl# <http://www.w3.org/2002/07/owl> . > > @prefix rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns# > <http://www.w3.org/1999/02/22-rdf-syntax-ns> . > > @prefix rdfs: http://www.w3.org/2000/01/rdf-schema# > <http://www.w3.org/2000/01/rdf-schema> . > > @prefix spin: http://spinrdf.org/spin# <http://spinrdf.org/spin> . > > @prefix xsd: http://www.w3.org/2001/XMLSchema# > <http://www.w3.org/2001/XMLSchema> . > > > http://w3id.org/nt > > a owl:Ontology ; > > spin:imports http://topbraid.org/spin/owlrl-all ; > > spin:imports http://topbraid.org/spin/rdfsplus ; > > owl:versionInfo "Created with TopBraid Composer" ; > > . > > :Girl > > a owl:Class ; > > rdfs:subClassOf :Person ; > > owl:equivalentClass [ > > a owl:Class ; > > owl:intersectionOf ( > > [ > > a owl:Restriction ; > > owl:allValuesFrom [ > > a rdfs:Datatype ; > > owl:onDatatype xsd:integer ; > > owl:withRestrictions ( > > [ > > xsd:maxExclusive 21 ; > > ] > > ) ; > > ] ; > > owl:onProperty :age ; > > ] > > [ > > a owl:Restriction ; > > owl:hasValue "Female" ; > > owl:onProperty :gender ; > > ] > > ) ; > > ] ; > > . > > :Person > > a owl:Class ; > > rdfs:subClassOf owl:Thing ; > > . > > :Person_1 > > a :Person ; > > :age 18 ; > > :firstname "Mabel" ; > > :gender "Female" ; > > . > > :age > > a owl:DatatypeProperty ; > > rdfs:range xsd:integer ; > > . > > :firstname > > a owl:DatatypeProperty ; > > rdfs:range xsd:string ; > > . > > :gender > > a owl:DatatypeProperty ; > > rdfs:range [ > > a rdfs:Datatype ; > > owl:oneOf ( > > "Male" > > "Female" > > ) ; > > ] ; > > . > > > Thx a lot, Michel > > > -- > The topics of this mailing list include TopBraid EDG and related technologies > such as SHACL. > To post to this group, send email to topbraid-users@googlegroups.com > <mailto:topbraid-users@googlegroups.com> > --- > 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 topbraid-users+unsubscr...@googlegroups.com > <mailto:topbraid-users+unsubscr...@googlegroups.com>. > To view this discussion visit > https://groups.google.com/d/msgid/topbraid-users/887434fd-7124-49d4-b07d-0eac4f31c39dn%40googlegroups.com > > <https://groups.google.com/d/msgid/topbraid-users/887434fd-7124-49d4-b07d-0eac4f31c39dn%40googlegroups.com?utm_medium=email&utm_source=footer>. > > -- > The topics of this mailing list include TopBraid EDG and related technologies > such as SHACL. > To post to this group, send email to topbraid-users@googlegroups.com > <mailto:topbraid-users@googlegroups.com> > --- > 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 topbraid-users+unsubscr...@googlegroups.com > <mailto:topbraid-users+unsubscr...@googlegroups.com>. > To view this discussion visit > https://groups.google.com/d/msgid/topbraid-users/565A5995-6B03-4AC5-8624-4A8B9709712E%40topquadrant.com > > <https://groups.google.com/d/msgid/topbraid-users/565A5995-6B03-4AC5-8624-4A8B9709712E%40topquadrant.com?utm_medium=email&utm_source=footer>. > -- 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. > > -- > The topics of this mailing list include TopBraid EDG and related technologies > such as SHACL. > To post to this group, send email to topbraid-users@googlegroups.com > <mailto:topbraid-users@googlegroups.com> > --- > 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 topbraid-users+unsubscr...@googlegroups.com > <mailto:topbraid-users+unsubscr...@googlegroups.com>. > To view this discussion visit > https://groups.google.com/d/msgid/topbraid-users/GVXP192MB1904459302789AB612D1185BF04A2%40GVXP192MB1904.EURP192.PROD.OUTLOOK.COM > > <https://groups.google.com/d/msgid/topbraid-users/GVXP192MB1904459302789AB612D1185BF04A2%40GVXP192MB1904.EURP192.PROD.OUTLOOK.COM?utm_medium=email&utm_source=footer>. -- The topics of this mailing list include TopBraid EDG and related technologies such as SHACL. To post to this group, send email to topbraid-users@googlegroups.com --- 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 topbraid-users+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/topbraid-users/7B525384-1E5F-4EF7-9F41-292E7B3FEB1B%40topquadrant.com.
