Thanks Scott and Irene, I found the rule that was applied and it was what I expected to see. In the Help it is documented which statements are filtered when Complete Mode is not turned on:
"*Complete Mode: Do not filter redundant inferences* - when this checkbox is not selected, the following redundant statements will be removed from the set of inferences. By default, it is not selected. - rdf:type statements if the instance also has a subclass of the type as one of its rdf:types. - rdfs:subClassOf statements of inconsistent classes (except with owl:Nothing). - rdfs:subClassOf statements of anonymous classes. - rdfs:subClassOf statements with anonymous classes (without restrictions). - rdfs:subClassOf statements with immediate superclasses which are also transitively related via rdfs:subClassOf. - rdfs:subClassOf statements with owl:Thing if another superclass exists. - owl:disjointWith statements with inconsistent classes. - owl:disjointWith statements between subclasses and superclasses. - owl:equivalentProperty statements between subproperties." ,.. but this could lead to confusion. In my case I did not understand the word "immediate" in the sentence, : rdfs:subClassOf statements with immediate superclasses which are also transitively related via rdfs:subClassOf (I think it does not belong here because all superclasses above are displayed, not only the immediate) Can you share with us what exactly are the filter expressions that are involved in the Complete Mode settings? Thanks, Lieke On Monday, 18 August 2014 13:03:29 UTC+2, 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] 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.
