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