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

RE: Not-subClassOf

From: <jos.deroo.jd@belgium.agfa.com>
Date: Wed, 23 May 2001 17:28:22 +0100
To: fernanda@ppgia.pucpr.br
Cc: sean@mysterylights.com, cbalon@grci.com, www-rdf-logic@w3.org
Message-Id: <OFEADE1801.189F6DAC-ON41256A55.0055FBC5@bayer-ag.com>

Fernanda:
> How could I say that a class X is not a subclass of class Y in RDF? This
> information must to be at my schema?

let's think about some cases for "class X is not a subclass of class Y"

   --------         --------             --------
  |X       |       |X       |           |X ----- |
  |        |       |        |           | |Y    ||
  |t       |       |t       |           |t|     ||
  |     -----      |        | -----     | |     ||
  |    |Y  | |     |        ||Y    |    |  ----- |
   --------  |      -------- |     |     --------
       |     |               |     |
        -----                 -----

so they seem to share
[ a :X, [ daml:complementOf :Y ] ].
i.e. there exists some t such that t element of X and t not element of Y

the RDF could look like

<!-- Processed by Id: cwm.py,v 1.47 2001/05/23 01:39:39 timbl Exp -->
<!--     using base file:/n3/fernanda.n3-->


<rdf:RDF xmlns="file:/n3/fernanda.n3#"
    xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
    xmlns:log="http://www.w3.org/2000/10/swap/log#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">

    <rdf:Description>
        <rdf:type rdf:resource="#X"/>
        <rdf:type rdf:parseType="Resource">
            <daml:complementOf rdf:resource="#Y"/>
        </rdf:type>
    </rdf:Description>
</rdf:RDF>

--
Jos De Roo. AGFA http://www.agfa.com/w3c/jdroo/
Received on Wednesday, 23 May 2001 11:29:31 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:45:38 UTC