Hi Scott, thanks for the answer but I did not make myself clear, sorry. What I intended to ask was: which mechanism do I see when I look at the results for classC ? Is that rdfs:subClassOf transitivity inferencing or maybe something else? I tried to obtain the same results by adding the triple rdfs:subClassOf rdf:type owl:TransitiveProperty . in the ontology
and reason without the Complete Mode checked. Did not get the same results, which seemed strange, so I started to doubt if this would work at all. Basically I am trying to understand how TBC inferencing behaves in different configuration settings. The use case here is that I would like to visualise in the form of a particular class in a taxonomy, all the superclasses above it. Thanks, Lieke On Monday, 18 August 2014 18:29:40 UTC+2, Scott Henninger wrote: > > 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 <http://example.com/subclass> > @prefix : <http://example.com/subclass#> > <http://example.com/subclass#> . @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 xsd: > <http://www.w3.org/2001/XMLSchema#> <http://www.w3.org/2001/XMLSchema#> . > <http://example.com/subclass> <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 > [email protected] <javascript:> > To unsubscribe from this group, send email to > [email protected] <javascript:> > 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 [email protected] <javascript:>. > 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 [email protected] To unsubscribe from this group, send email to [email protected] 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
