Re: [topbraid-users] rdfs:subClassOf transitivity?

[Scott Henninger]

Lieke;  It seems the reasoners are not going to make this inference, which makes sense since the standards state that all user-defined class definitions are subclasses of owl:Thing, and rdfs:Resource is not a subclass of owl:Thing.  See for example http://www.w3.org/TR/owl-guide/ So, yes, it seems your results are as expected. -- Scott On 8/18/2014, 6:03 AM, Lieke Verhelst wrote: Dear all, I have a simple ontology with only classes and subclasses: # baseURI: http://example.com/subclass @prefix :        <http://example.com/subclass#> . @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 xsd:     <http://www.w3.org/2001/XMLSchema#> . <http://example.com/subclass>       rdf:type owl:Ontology ;       owl:versionInfo "Created with TopBraid Composer"^^xsd:string . :A    rdf:type owl:Class ;       rdfs:label "A "@en ;       rdfs:subClassOf owl:Thing . :B    rdf:type owl:Class ;       rdfs:label "B "@en ;       rdfs:subClassOf :A . :C    rdf:type owl:Class ;       rdfs:label "C "@en ;       rdfs:subClassOf :B . When I enable Complete Mode inferencing (see attachment inference settings.png) and run inferences I see something that looks like rdfs:subClassOf transitive behaviour (see attachment classC.png). Similar to: CONSTRUCT {  ?subject rdfs:subClassOf ?object } WHERE {     ?subject rdfs:subClassOf+ ?object .} exept that the triple :C rdfs:subClassOf rdfs:Resource is not generated when inferencing like this. What is it exactly that I see? thanks, Lieke -- -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include Enterprise Vocabulary Network (EVN), TopBraid Composer, TopBraid Live, TopBraid Insight, SPARQLMotion, SPARQL Web Pages and SPIN. To post to this group, send email to topbraid-users@googlegroups.com To unsubscribe from this group, send email to topbraid-users+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/topbraid-users?hl=en --- 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. For more options, visit https://groups.google.com/d/optout. -- -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include Enterprise Vocabulary Network (EVN), TopBraid Composer, TopBraid Live, TopBraid Insight, SPARQLMotion, SPARQL Web Pages and SPIN. To post to this group, send email to topbraid-users@googlegroups.com To unsubscribe from this group, send email to topbraid-users+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/topbraid-users?hl=en --- 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. For more options, visit https://groups.google.com/d/optout.