W3C home > Mailing lists > Public > www-rdf-logic@w3.org > February 2002

RE: reification test case

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Mon, 04 Feb 2002 13:24:08 -0500
To: seth@robustai.net
Cc: www-rdf-logic@w3.org
Message-Id: <20020204132408E.pfps@research.bell-labs.com>
I'm not sure what all the arguing is about here.

If you read the RDF M&S there are quite clear statements of the status of
reified statements.

	A statement and its corresponding reified statement exist
	independently in an RDF graph and either may be present without the
	other. [RDF M&S, 4.1]

This sentence does not admit multiple reified statements for a single

RDF M&S is also quite clear that only one statement can exist with the same
subject, predicate, and object.

	There is a set called Statements, each element of which is a triple
	of the form {pred, sub, obj} [RDF M&S, 5]

Just afterward there is more wording that indicates that a statement can
only have one reification

	... we can express the reification of this as a new resource
	... [RDF M&S, 5]

So, for any triple there is at most one statement, and for every statement
there is at most one reification.

Peter F. Patel-Schneider
Bell Labs Research
Received on Monday, 4 February 2002 13:25:50 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:37 UTC