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