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