W3C home > Mailing lists > Public > www-rdf-interest@w3.org > May 2001

Re: Not-subClassOf

From: <jos.deroo.jd@belgium.agfa.com>
Date: Wed, 23 May 2001 01:19:16 +0100
To: sean@mysterylights.com
Cc: fernanda@ppgia.pucpr.br, www-rdf-interest@w3.org, www-rdf-logic@w3.org
Message-Id: <OF60839FAB.2125D9FD-ON41256A55.0000B585@bayer-ag.com>

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/
Received on Tuesday, 22 May 2001 19:20:02 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:49 GMT