- 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
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 UTC