W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > May 2001

Re: action item on reification

From: <jos.deroo.jd@belgium.agfa.com>
Date: Fri, 25 May 2001 18:21:15 +0100
To: danbri@w3.org
Cc: fmanola@mitre.org, w3c-rdfcore-wg@w3.org
Message-Id: <OF850F2008.C5E1ADB8-ON41256A57.005C2EBD@bayer-ag.com>


--danbri--
[...]
> [reification-testcase-danbri1]
>
> "Are members of the class rdf:Statement uniquely picked out by their
> predicate/subject/object properties?"

[while enjoying holiday/family time]
to me this is axiomatic when talking about a function such as
  statement = triple(s,p,o)
i.e. having y = f(x) means
  for all x there exists a unique y such that y = f(x)
(of course there could be more than one x mapping onto the same y)
So the identity of a statement is that it exists and is
identical to itself and can be represented as triple(s,p,o)
More generally
[[
  it is also plogically essential as forumlae have an identity which is
  strictly their content
  whereas many documents may have different characteristicsn but parse to the
  same thing in N3 or XML.
]] -- http://lists.w3.org/Archives/Public/www-rdf-interest/2001May/0162.html
which sounds like the resolution of this issue!

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Friday, 25 May 2001 12:21:47 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:35:52 EDT