- From: Richard H. McCullough <rhm@cdepot.net>
- Date: Thu, 8 May 2003 06:43:03 -0700
- 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 UTC