W3C home > Mailing lists > Public > public-webont-comments@w3.org > May 2003

Nothing in App. B of OWL Language Reference 31 March 2003

From: Richard H. McCullough <rhm@cdepot.net>
Date: Thu, 8 May 2003 06:43:03 -0700
Message-ID: <003701c31568$02146920$bd7ba8c0@rhm8200>
To: "webont-comments at W3C" <public-webont-comments@w3.org>

Appendix B says

<Class rdf:ID="Thing">
  <rdfs:label>Thing</rdfs:label>
  <unionOf rdf:parseType="Collection">
    <Class rdf:about="#Nothing"/>
    <Class>
      <complementOf rdf:resource="#Nothing"/>
    </Class>
  </unionOf>
</Class>

<Class rdf:ID="Nothing">
  <rdfs:label>Nothing</rdfs:label>
  <complementOf rdf:resource="#Thing"/>
</Class>

Since the 2nd group implies that complementOf Nothing is Thing,
the first group is equivalent to

<Class rdf:ID="Thing">
  <rdfs:label>Thing</rdfs:label>
  <unionOf rdf:parseType="Collection">
    <Class rdf:about="#Nothing"/>
    <Class rdf about="#Thing"/>
  </unionOf>
</Class>

which is probably what you want to say,
or else omit it all together.  

Even better would be to replace "Nothing" with
some variant of "any Class" -- which I believe
is what the document says elsewhere.
============ 
Dick McCullough 
knowledge := man do identify od existent done;
knowledge haspart proposition list;
Received on Thursday, 8 May 2003 09:44:58 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:43:28 GMT