Re: bug in RDF model theory having to do with rdfs:subClassOf and rdfs:subPropertyOf from Peter F. Patel-Schneider on 2002-09-21 (www-rdf-comments@w3.org from July to September 2002)

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Sat, 21 Sep 2002 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