Re: disjoint classes in OWL

Drew McDermott wrote:

<snip>

>>But is 
>>there anything more that can be said?
>>    
>>
>
>You can say 
>
>   Class(fin
>     subclassOf(part)
>     disjointFrom(leg))
>
>Is that what you meant?
>  
>
Yes, thanks. But I was hoping that I wouldn't have to explicitly say it.

Jeff