- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: 2002年9月21日 00:08:51 -0400 (EDT)
- To: phayes@ai.uwf.edu
- Cc: www-rdf-comments@w3.org
- Message-Id: <20020921.000851.113735246.pfps@research.bell-labs.com>
The condition is
if x subclassOf y then ICEXT(x) subset ICEXT(y)
Suppose an RDF graph contains
a subclass b .
b subclass c .
then an interpretation could have
<a,b> in IEXT(subClassOf)
<b,c> in IEXT(subClassOf)
ICEXT(a) = { u1 }
ICEXT(b) = { u1, u2 }
ICEXT(c) = { u1, u2, u3 }
but nothing that I can see forces
<a,c> in IEXT(subClassof)
peter
Received on Saturday, 21 September 2002 00:09:00 UTC