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

proposed test of RDFS entailment rules

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Tue, 07 Oct 2003 10:15:48 -0400 (EDT)
Message-Id: <20031007.101548.95204386.pfps@research.bell-labs.com>
To: www-rdf-comments@w3.org

I propose that the following be a positive entailment test in the RDF test
suite.  This is a valid RDFS entailment (modulo typing errors), but is not
a consequence of the current RDFS entailment rules.

Premise

<http://example.org/prop> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral> .
<http://example.org/foo> <http://example.org/prop> "<"^^<http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral> .

Conclusion

<http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> .


Peter F. Patel-Schneider
Received on Tuesday, 7 October 2003 10:15:56 GMT

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