- From: Jeff Thompson <jeff@thefirst.org>
- Date: Sat, 09 Aug 2008 19:32:10 -0700
- To: cwm talk <public-cwm-talk@w3.org>
For what it's worth, there are some outdated comments in the rei vocabulary at http://www.w3.org/2004/06/rei In the comment for http://www.w3.org/2004/06/reify#Formula, the example says: [ :forAll ( [:uri "ex:#x"] [:uri "ex:#y"]); :forSome ( [:uri "ex:#a"] [:uri "ex:#b"]); :statements ( :s1 :s2 :s3 ) ] should be: [ :universals [owl:oneOf ( ex:_x ex:_y)]; :existentials [owl:oneOf ( [:uri "ex:#a"] [:uri "ex:#b"])]; :statements [owl:oneOf ( :s1 :s2 :s3 )] ]. ex:_x a :BlankNode. ex:_y a :BlankNode. (I changed the set of universals to use a set of :BlankNode instead of quoted :uri because my current version of CWM does it like that. Is this right?) The rest of the comment also needs corrections. "forall x,y,x there exists a,b,c such that s1 and s2 and s3" should be: "forall x,y there exists a,b such that s1 and s2 and s3." "Two formulae are the equal if the contents of their forAll, forSome, and statements lists" should be: "Two formulae are the equal if the contents of their universals, existentials, and statements sets" In the comment for http://www.w3.org/2004/06/reify#statements, "They are given as a rdf:List because rdf:Lists exist, and we want a closed set." should be "They are given as an rdfs:Class composed using owl:oneOf." - Jeff
Received on Sunday, 10 August 2008 02:32:47 UTC