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>

> [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 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:00 UTC