W3C home > Mailing lists > Public > www-rdf-comments@w3.org > January to March 2003

Comment on Last Call Working Draft of RDF Semantics document concerning RDFS closure rules

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Fri, 24 Jan 2003 17:19:45 -0500
To: www-rdf-comments@w3.org
Message-id: <3E31BC01.6050309@research.bell-labs.com>



The closure rules for RDFS are incomplete.  For example,
    ex:foo ex:prop "a" .
RDFS-entails
    ex:foo ex:prop _:x .
    _:x rdf:type rdfs:Resource .
However, this does not come out of the RDFS closure rules.
This means that the RDFS entailment lemma is false.

Received on Friday, 24 January 2003 17:20:22 GMT

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 24 April 2007 12:17:11 GMT