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