Re: Not-subClassOf

Hi Sean, Fernanda,

> > [ a :X; a [ ns:complement :Y ] ]
>
> For "X is not a sub class of Y", on the lines of what you've done
> above, I think you'd just say something like:-
>
>   :X rdfs:subClassOf [ daml:complementOf :Y ] .
>
> cf. [1]
>
> But, as DanBri pointed out, that's just like saying that they're
> disjoint [2], so all you need to state is that:-
>
>  :X daml:disjointFrom :Y .

I can imagine X and Y to be 'overlapping' classes such as
   ------
  |X     |
  |    ------
  |   |  |   |
   ------    |
      |     Y|
       ------
and X is not a subclass of Y
so...

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/