W3C home > Mailing lists > Public > www-rdf-interest@w3.org > January 2001

Re: RDF Terminologicus

From: Pierre-Antoine CHAMPIN <champin@bat710.univ-lyon1.fr>
Date: Fri, 05 Jan 2001 11:28:08 +0100
Message-ID: <3A55A1B8.41229435@bat710.univ-lyon1.fr>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:47 GMT