- 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
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