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> 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 > --- > 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 --- 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/565A5995-6B03-4AC5-8624-4A8B9709712E%40topquadrant.com.
