Re: RDF Terminologicus

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