[Pellet-users] (no subject)

[Michael Smith]

On Thu, 2007-10-11 at 17:18 +0200, Christina Tziviskou wrote:

> I'm using the Pellet Java API for creating a knowledge base,
> and although I can indicate disjointeness for a set of classes 
> generalizing a common class

> (addSubClass("Male", "Person"), 
> addSubClass("Female", "Person"),
> addDisjointClasses(["Male", "Female"]))

> I cannot indicate completeness and thus, I cannot indicate partitioning 
> over the class Person.
> 
> Is there some way to express that with Pellet API?

Add the following

addEquivalentClass("Person", makeOr("Male","Female"))

where makeOr is a static method on org.mindswap.pellet.utils.ATermUtils

-- 
Mike Smith

Clark & Parsia