W3C home > Mailing lists > Public > www-rdf-interest@w3.org > December 2003

RE: Trust, Context, Justification and Quintuples

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Sun, 21 Dec 2003 22:42:29 +0100
To: "Graham Klyne <gk" <gk@ninebynine.org>
Cc: www-rdf-interest@w3.org, www-rdf-interest-request@w3.org
Message-ID: <OF89CD394A.8998EF41-ONC1256E03.0076FAE3-C1256E03.00774674@agfa.be>


Graham wrote:
> At 13:34 21/12/03 +0100, Jos De_Roo wrote:
[...]
>> We *call* some-set-of-triples in 2 different ways
>> 1/ either as
>>    { some-set-of-triples-in-notation3 }
>> 2/ or as
>>    <uri-of-some-set-of-triples>.log:semantics
>
> [I assume that is <uri-of-some-set-of-triples>!log:semantics per the
> current (2003-12-21) version of http://www.w3.org/DesignIssues/Notation3]
>
> Ah, I think I see.  The difference here would seem to be in the use of
> log:semantics.  My take on what we *call* some set-of-triples would be:
>
> 1/ either as
>    { some-set-of-triples-in-notation3 }
> 2/ or as
>    <uri-of-some-set-of-triples>

Using <uri-of-some-set-of-triples> as an example
was misleading. We normally identify the *document*
on which the rdf formula is written and so it would
have been better when I would have used
<uri-of-some-rdf-document> and then I still think
that we *call* some-set-of-triples
<uri-of-some-rdf-document>!log:semantics

> I.e. that the URI and the {...} expression are interchangeable.
>
> To my mind, this:
>    { some-set-of-triples-in-notation3 }!log:semantics
> would be equally valid.  Indeed:
>
>   :someName :- [{ some-set-of-triples-in-notation3 }!log:semantics]
>
> would be the same statement as:
>
>   :someName log:semantics { some-set-of-triples-in-notation3 }
>
> by my understanding of :- and !
>
>> All that is written in particular documents
>> which are URI identified and so we can
>> explicitly and precisely load that in engines.
>> There is a means to show what was loaded
>> and thus trusted.
>
> Yes... I think that name :- { ... } allows one to do the same thing
within
> a single Notation3 "document".

Maybe... one thing I could understand is that
<uri-of-some-rdf-document> log:semantics { some-set-of-triples-in-notation3
}
could be the case when the dereferencing of <uri-of-some-rdf-document>
yields the same set of triples as { some-set-of-triples-in-notation3 }.

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Sunday, 21 December 2003 16:42:39 GMT

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