W3C home > Mailing lists > Public > public-cwm-talk@w3.org > July to September 2008

Comment typos in http://www.w3.org/2004/06/rei

From: Jeff Thompson <jeff@thefirst.org>
Date: Sat, 09 Aug 2008 19:32:10 -0700
Message-ID: <489E532A.7090403@thefirst.org>
To: cwm talk <public-cwm-talk@w3.org>

For what it's worth, there are some outdated comments in the rei vocabulary at

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:01:05 UTC