RE: Trust, Context, Justification and Quintuples

At 22:42 21/12/03 +0100, Jos De_Roo wrote:
> > 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 }.

OK, I got log:semantics wrong above... your example here makes more sense 
to me.

So log:semantics says that its object is the graph you get by dereferencing 
and parsing as RDF/N3 the resource identified by the subject?  In which 
case, the equivalence would be:

if:
   ex:someName :- { (some set of triples) }

then:
   ex:docName log:semantics { (some set of triples) }

would be equivalent to:
   ex:docName log:semantics ex:someName

by my understanding of :- here.

#g


------------
Graham Klyne
For email:
http://www.ninebynine.org/#Contact

Received on Monday, 22 December 2003 04:18:36 UTC