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: [cid:[email protected]] And set: [cid:[email protected]] 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. H.M. Böhms (Michel) Strategic advisor digitalisation Mobility & Built Environment Web: LinkedIn<https://www.linkedin.com/in/michelbohms> Mobile: +31630381220 E-mail: [email protected]<mailto:[email protected]> Location<https://www.tno.nl/en/about-tno/contact/locations/delft-molengraaffsingel-next/> [cid:[email protected]]<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: [email protected] <[email protected]> On Behalf Of David Price Sent: maandag 28 oktober 2024 16:47 To: 'Felix Sasaki' via TopBraid Suite Users <[email protected]> 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 <[email protected]<mailto:[email protected]>> 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 [email protected]<mailto:[email protected]> --- 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]>. 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 [email protected]<mailto:[email protected]> --- 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]>. 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 [email protected] --- 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]. To view this discussion visit https://groups.google.com/d/msgid/topbraid-users/GVXP192MB1904459302789AB612D1185BF04A2%40GVXP192MB1904.EURP192.PROD.OUTLOOK.COM.
