[Pellet-users] How to check satisfiablity of Intersection of two concept description

[bijan at clarkparsia.com]

On Mon, May 28, 2007 3:46 am, Krishna <pkrsar at yahoo.com> said:
>   To check whether conjunction  to two concept is satisfiable or not,

You mean jointly satisfiable? I.e., some individual can consistently be an instance of both at once?

> I tried
>   kb.isDisjointClass( ATermAppl a, ATermAppl b)

That should do it. If they aren't disjoint, then they are jointly satisfiable.

>   a is a class of person having citzenship of only Thailand and b having 
> citizenship only of Japan. Japan and Thailand are two different  individuals of
> Country class. Other properties of a and b are common.  But it shows that they
> are not disjoint but I think their  conjuntion(intersection) should not be
> satisfiable.

My bet is that you are wrong about that, but it's impossible to tell without looking at your actually KB. Things that could go wrong: You don't have a max 1 on havingCitizenship, Japan and Thailand aren't differenFrom each other (just being differently named doesn't make them necessarily distinct), etc. etc.

>   is there a way to test satisfiability of intersection of two concepts or I am
> missing something ?

That should do it, but you could also test the satisfiability of their conjucntion, or test the consistency of an abox where some one individual is an instance of both classes.

Cheers,
Bijan.