Re: action item on reification

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