Lieke,
The best way to understand what will be inferred is to look at the inference rules. For example, you can navigate to spin:Templates class in owlrl-all.ttl and see all the rules defined there. As one can conclude from the file name, they correspond to OWL2 RL profile, conveniently all templates are named the same as individual rules in the OWL spec. Configuration setting are essentially about different sets of rules. You can also define your own. Regards, Irene From: [email protected] [mailto:[email protected]] On Behalf Of Lieke Verhelst Sent: Monday, August 18, 2014 1:45 PM To: [email protected] Subject: Re: [topbraid-users] rdfs:subClassOf transitivity? 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 @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. -- -- 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.
