Re: Some advice on inferring negated properties

On Aug 16, 2007, at 7:26 PM, Bijan Parsia wrote:

>
> 	<http://www.webont.org/owl/1.1/owl_specification.html#6.2>
> 	DisjointObjectProperties
>
> Which, well, at this time at night at least, I don't see can be  
> paraphrased into oldOWL. Hmm. Ok if you did some disjoint ranging  
> and domaining, that would entail disjoint properties.

True, though DisjointObjectProperties is stronger, yes, since it  
doesn't require disjoint domain/ranges, just that for any instance,  
the sets of values of the disjoint properties are disjoint. Do I have  
this right?

-Alan