- 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