[protege-user] Drools incorrectly infers disjoint subproperties to be equivalent

[KoenigLear]

propertyTest.owl
<http://protege-project.136.n4.nabble.com/file/t376956/propertyTest.owl>

In the attached ontology. Drools incorrectly infers disjoint sub-properties
to be equivalent,

Before DROOLS

:associatedTo rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf owl:topObjectProperty .

:associatedToR1 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :associatedTo ;
owl:propertyDisjointWith :associatedToR2 .


:associatedToR2 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :associatedTo .

** after DROOLS **

:associatedToR1 rdfs:subPropertyOf :associatedToR2 .

:associatedToR2 rdfs:subPropertyOf :associatedToR1 .

Hermit, Pellet, and Fact++ do not do that. Am I missing something?

thanks



--
Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html