W3C home > Mailing lists > Public > www-rdf-comments@w3.org > July to September 1998

Draft query: reified statements

From: John Cowan <cowan@locke.ccil.org>
Date: Thu, 10 Sep 1998 16:23:55 -0400
Message-ID: <35F8355B.DF83F94D@locke.ccil.org>
To: Ora Lassila <ora.lassila@research.nokia.com>, "Ralph R. Swick" <swick@w3.org>, RDF List <www-rdf-comments@w3.org>
The draft does not make clear whether an explicitly written reified
statement (i.e. a resource with the four properties instanceOf,
propName, propObj, and value) is necessarily asserted by RDF.
The example in clause 4.1 suggests that it is not, but examples
are presumably not normative.

If a reified statement is asserted, then statements like

# Ralph Swick says that Ora Lassila is the creator of
# the resource http://www.w3.org/Home/Lassila.

(from the example in clause 4.1) cannot even be represented in RDF,
since this statement does not assert that Ora Lassila etc.

In formal terms, can we infer from the presence in the set Triples of:

	{instanceOf, [x], RDF:Property}
	{propName, [x], p}
	{propObj, [x], r}
	{value, [x], v}

that {p, r, v} is also present in Triples?  If not, this should be
clarified.  If so, how are non-factive predicates like "X believes
that p", "X doubts that p", and so on to be handled?  (There is
no problem with "X has proved that p" or "X knows that p".)

John Cowan	http://www.ccil.org/~cowan		cowan@ccil.org
	You tollerday donsk?  N.  You tolkatiff scowegian?  Nn.
	You spigotty anglease?  Nnn.  You phonio saxo?  Nnnn.
		Clear all so!  'Tis a Jute.... (Finnegans Wake 16.5)
Received on Thursday, 10 September 1998 16:26:03 UTC

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