- From: Seth Russell <seth@robustai.net>
- Date: Wed, 24 Oct 2001 13:38:02 -0700
- To: "Pat Hayes" <phayes@ai.uwf.edu>
- Cc: <www-rdf-logic@w3.org>
From: "Pat Hayes" <phayes@ai.uwf.edu> > >> No way to indicate scope or variable bindings, chiefly. > > > >Well actually there is if you will allow that a scope of a variable can be > >specified by a set of statements and that statements themselves have > >identity. > > OK, no way to indicate a set of statements. Same thing. Well actually there are two ways to do that. 1) Point out the extension of the set with labeled directed arcs by giving each statement an identifier: quad is (stid, subject, predicate, object) http://robustai.net/mentography/contexts.gif 2) Include the name of the set in the label of the arc: quad is (subject, context+predicate, object) http://robustai.net/mentography/reificationContext.gif AFAIK these different methods are principally the same. Now I like the latter because that is the way it is done in the CWM that implements N3. Seth Russell
Received on Wednesday, 24 October 2001 16:39:19 UTC