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. To view this discussion visit https://groups.google.com/d/msgid/topbraid-users/887434fd-7124-49d4-b07d-0eac4f31c39dn%40googlegroups.com.
