Lieke; I think the help file you found defines just what the filters
are. Some is there to preserve useful features of a hierarchy of
classes.
In terms of the "...immediate superclasses which are also
transitively related...", without this filter, two things will
happen: the tree will be completely flat, and each class is a
subclass of itself. The latter of which evokes a kind of infinite
loop, as a class will always have a subclass, which is itself.
Basically TopBraid is filtering these entailments so the tool
remains usable, but standard inference profiles can still be used.
-- Scott
On 8/19/2014, 1:14 AM, Lieke Verhelst
wrote:
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
@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
[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.
|
