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

[Krishna]

Hi,
  To check whether conjunction  to two concept is satisfiable or not, I tried 
  kb.isDisjointClass( ATermAppl a, ATermAppl b) 
  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.
  is there a way to test satisfiability of intersection of two concepts or I am missing something ?
  
  regards
  Krishna
  
 
---------------------------------
It's here! Your new message!
Get new email alerts with the free Yahoo! Toolbar.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20070528/ec96b690/attachment.htm