[Pellet-users] Disjoint classes

[Evren Sirin]

On 4/9/08 5:29 PM, Tiziano Furlan wrote:
> Hi,
>
>  
>
> I'm having some troubles with the kb.getDisjointClasses method using the
> KnowledgeBase interface.
>
>  
>
> Here is the output of the class tree from kb.printClassTree():
>
>  
>
> owl:Thing = a:C
>
> --- a:D
>
> --- a:E
>
> ------ a:F
>
> --- a:G
>
> ------ a:H
>
>  
>
> E and F 

I'm assuming you mean E and G here.

> are set as disjoint using kb.addDisjointClass(E, G)
>
>  
>
> When I call, for example, kb.getDisjointClasses(E), as a return value I get
> just H and not (as I thought) also G. Is this correct?
>   

No, it is not. If a concept is disjoint with G then it should be 
disjoint with all the subclasses of G, too. We need to see the ontology 
and the code you are using to tell where the problem is.

Cheers,
Evren
>  
>
> Thank you,
>
> Tiziano
>
>  
>
>  
>
>
>   
> ------------------------------------------------------------------------
>
> _______________________________________________
> 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/