[Pellet-users] Example of checking subsumption

[김상균]

Hi,
 
I would like to check that Concept c1 subsumes Concept c2 using Pellet API.
Could you let me know that there are any example?
 
I tried to use OWLReasoner.isSatisfiable(Resource r), where r is (NOT(c1)
Union C2),
but I cannot find how to make the Resource using API.
 
Thanks in advance.
 
Regards,
Sang-Kyun Kim
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20070306/5a965c9e/attachment.htm