- From: <jos.deroo.jd@belgium.agfa.com>
- Date: Fri, 18 May 2001 18:45:31 +0100
- To: sean@mysterylights.com
- Cc: sandro@w3.org, www-rdf-logic@w3.org
> > My code uses the interpretation that { <a> <b> <c>. > > <d> <e> <f>. } denotes a set which has an enumeration > > which is a DAML list of two elements which are > > rdf:Statements, as given. > > I interpret:- > > { :a :b :c . :x :y :z } > > as > > [ a n3:Context; > rdf:_1 [ a rdf:Statement; > rdf:subject :a; > rdf:predicate :b; > rdf:object :c ]; > rdf:_2 [ a rdf:Statement; > rdf:subject :x; > rdf:predicate :y; > rdf:object :z ] ] . > > But that's just me :-) Whaddya mean by a set which has two > ennumerations? So a oneOf nodelist? > > [ daml:oneOf ([ a rdf:Statement; > rdf:subject :a; > rdf:predicate :b; > rdf:object :c ] > [ a rdf:Statement; > rdf:subject :x; > rdf:predicate :y; > rdf:object :z ]) ] . > > ??? Why not just as defined in http://www.w3.org/2000/10/swap/Primer.html#context (logical conjunction of statements)??? (that's at least how we did it in http://www.agfa.com/w3c/euler/) -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Friday, 18 May 2001 12:45:44 UTC