RE: Not-subClassOf

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