- From: Pierre-Antoine CHAMPIN <champin@bat710.univ-lyon1.fr>
- Date: Fri, 05 Jan 2001 11:28:08 +0100
- To: Graham Klyne <GK@Dial.pipex.com>
- CC: Bill dehOra <BdehOra@interx.com>, RDF-IG <www-rdf-interest@w3.org>
Graham Klyne wrote:
> As for aggregating: I think different reifications may refer to the same
> statement but still be distinct reifications. One reification may be used
> to say something about one stating, and another to say something different
> about that statement. E.g.
>
> [s1] --rdf:type------> [rdf:Statement]
> [ ] --rdf:property--> [p]
> [ ] --rdf:subject---> [s]
> [ ] --rdf:object----> [o]
> [ ] --atTime--------> "Yesterday"
> [ ] --truth---------> "True"
>
> and
>
> [s2] --rdf:type------> [rdf:Statement]
> [ ] --rdf:property--> [p]
> [ ] --rdf:subject---> [s]
> [ ] --rdf:object----> [o]
> [ ] --atTime--------> "Today"
> [ ] --truth---------> "False"
>
> I.e. a given statement that was true yesterday is not true today. In each
> case it is the same statement being described, but the different
> reifications cannot be aggregated without creating a conflict of meaning.
Still the same ol'problem Statement/Stating.
If we agree about the fact that reification resources stand for Statements, rather than Statings,
then it must be possible to unify them.
Hence, there is a bug in your example, since as you pointed out, unifying the resources s1 and s2 would result in a loss of information.
You should rather write
[s1] --rdf:type------> [rdf:Statement]
[ ] --rdf:property--> [p]
[ ] --rdf:subject---> [s]
[ ] --rdf:object----> [o]
[s3] --rdf:type------> [rdf:Statement]
[ ] --rdf:property--> [truth]
[ ] --rdf:subject---> [s1]
[ ] --rdf:object----> "True"
[ ] --atTime--------> "Yesterday"
[s4] --rdf:type------> [rdf:Statement]
[ ] --rdf:property--> [truth]
[ ] --rdf:subject---> [s1]
[ ] --rdf:object----> "False"
[ ] --atTime--------> "Today"
Pierre-Antoine
--
Sometimes I think the surest sign that intelligent life exists elsewhere in the
universe is that none of it has tried to contact us.
(Bill Watterson -- Calvin & Hobbes)
Received on Friday, 5 January 2001 05:28:12 UTC