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

more problems with closures

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Sat, 31 May 2003 20:30:08 -0400 (EDT)
Message-Id: <20030531.203008.111320171.pfps@research.bell-labs.com>
To: www-rdf-comments@w3.org

It occurs to me that all the closures are incomplete.

For example,

	ex:a ex:b ex:c .
	ex:d ex:e ex:c .

entails

	ex:a ex:b _:x .
	ex:d ex:e _:x .

but that this cannot be derived in any of the closure rule sets.

This means that the characterisation of the instance lemma by rules se1 and
se2 is incorrect.


Also, as the canonical form of an XML document is some sort of string, 

	ex:a ex:b "2"^^rdf:XMLLiteral

entails

	ex:a ex:b "...."

where .... is the string that is the canonical form of "2".  This is not
however implied by the RDF closure rules.

peter
Received on Saturday, 31 May 2003 20:30:17 GMT

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