- From: Sean B. Palmer <sean@mysterylights.com>
- Date: Fri, 18 May 2001 19:01:08 +0100
- To: <jos.deroo.jd@belgium.agfa.com>
- Cc: <sandro@w3.org>, <www-rdf-logic@w3.org>
> Why not just as defined in
> http://www.w3.org/2000/10/swap/Primer.html#context
> (logical conjunction of statements)???
Yep, in model.n3, it says:-
<> forall :s, :p, :x, :y, :z .
{ :x :p :y . } log:means { [
n3:subject :x;
n3:predicate :p;
n3:object :y ] a log:Truth}.
n3:context a rdf:Property; rdfs:domain n3:statement;
rdfs:range n3:StatementSet .
But it doesn't go any further than that, and there are no
relationships stated with RDF. Anyhow, I guess that:-
{ :a :b :c . :x :y :z }
then becomes:-
[ n3:context
([ n3:subject :a;
n3:predicate :b;
n3:object :c ],
[ n3:subject :x;
n3:predicate :y;
n3:object :z ]) ] .
Although, you can't have a single context on it's own, only in a
triple.
[1] http://www.w3.org/2000/10/swap/model.n3
--
Kindest Regards,
Sean B. Palmer
@prefix : <http://webns.net/roughterms/> .
:Sean :hasHomepage <http://purl.org/net/sbp/> .
Received on Friday, 18 May 2001 13:58:52 UTC