[Pellet-users] Subsumption Matchmaking

[sjtirtha]

Hi,

I use the isSubClassOf method of org.mindswap.pellet.owlapi.Reasoner to
check whether a class A is a subclass of class B.
Class A is not defined explicitly as a subclass of class B in the Ontology.
They has a same superclass and class B has actually a general definition of
class A.
Logically isSubClassOf should return "true". But it returns always "false".

Can I do Subsumption Matchmaking using isSubClassOf ?

Steve
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20070529/4a46def5/attachment.htm