[Pellet-users] Example of checking subsumption

[Evren Sirin]

On 3/6/07 6:04 AM, 김상균 wrote:
> 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.
You might create resources using ResourceFactory class provided in Jena
but you certainly do not need it in this case. You can easily use
OWLReasoner.isSubClassOf function instead.

Cheers,
Evrem
> Thanks in advance.
> Regards,
> Sang-Kyun Kim
> ------------------------------------------------------------------------
>
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
>
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/