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

error in Semantics document

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Fri, 07 Feb 2003 08:32:38 -0500 (EST)
Message-Id: <20030207.083238.60047205.pfps@research.bell-labs.com>
To: www-rdf-comments@w3.org

The following characterization of simple entailment is incorrect:

	The interpolation lemma completely characterizes simple RDF
	entailment in syntactic terms. To tell whether a set of RDF graphs
	entails another, find a subgraph of their merge and replace names
	by blank nodes to get the second. 

Consider RDF Graph A

	 ex:s ex:p ex:o .

and RDF Graph B

	ex:s ex:p _:b .
	ex:s ex:p _:c .

A simple entails B but this entailment does not fit the characterization

Peter F. Patel-Schneider
Bell Labs Research
Lucent Technologies
Received on Friday, 7 February 2003 08:32:48 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:15:19 UTC