Circular definition of Thing?

• From: Roger L. Costello <costello@mitre.org>
• Date: Sun, 09 Mar 2003 09:06:19 -0500
• To: www-rdf-logic@w3.org
• CC: "Costello,Roger L." <costello@mitre.org>
• Message-ID: <3E6B4A5B.536624E7@mitre.org>

Hi Folks,

Here's how the OWL Reference defines the class Thing:

<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>

Isn't this a "circular definition", i.e., not very informative?  /Roger

Received on Sunday, 9 March 2003 09:07:06 UTC