hi all. I'm using the reasoner RDFSExptRuleReasoner to enforce the rule: With two classes X, Y if X is a subclass of Y, then X also has type Y. Let's say I have 3 classes X,Y,Z: X is a subclass of Y Z is a subclass of Y
And I execute the query : If A has type Y And B has type Y then A and B are the same. => Then I get X same as Y But semantically, X is completely different from Y. How can I handle this case?
