W3C home > Mailing lists > Public > www-rdf-comments@w3.org > July to September 2002

Re: bug in RDF model theory having to do with rdfs:subClassOf and rdfs:subPropertyOf

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Sat, 21 Sep 2002 00:08:51 -0400 (EDT)
Message-Id: <20020921.000851.113735246.pfps@research.bell-labs.com>
To: phayes@ai.uwf.edu
Cc: www-rdf-comments@w3.org

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:30 GMT