[Steve Reed: Can DAML class also be an instance?]

From: Mike Dean (mdean@bbn.com)
Date: 06/27/01


Dave,

Any thoughts?

I assume the Validator is producing an information-level
indication because there are 2 rdf:type's (daml:Class from
the typeNode and #ExistingObjectType from the rdf:type).

	Mike

------- Forwarded Message

Return-Path: www-rdf-logic-request@w3.org
Date: Wed, 27 Jun 2001 10:33:13 -0500 (CDT)
From: Stephen Reed <reed@cyc.com>
To: www-rdf-logic@w3.org
Message-ID: <Pine.LNX.4.21.0106271024160.895-100000@balrog.cyc.com>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Subject: Can DAML class also be an instance?
Resent-From: www-rdf-logic@w3.org
X-Mailing-List: <www-rdf-logic@w3.org> archive/latest/1750
X-Loop: www-rdf-logic@w3.org
Sender: www-rdf-logic-request@w3.org
Resent-Sender: www-rdf-logic-request@w3.org
Precedence: list
List-Id: <www-rdf-logic.w3.org>
List-Help: <http://www.w3.org/Mail/>
List-Unsubscribe: <mailto:www-rdf-logic-request@w3.org?subject=unsubscribe>
Content-Length: 1437

In the Cyc ontology we allow classes to be instances of other classes
which are meant to be types of classes.

An example is:

    <daml:Class rdf:ID="Doorway">
        <rdfs:label>doorways</rdfs:label>
        <rdfs:comment>A collection of portals.  Each element of
            #$Doorway is a portal in some instance of
            #$ShelterConstruction, suitable for people (and perhaps
            vehicles) to enter and exit.  For example, doorways to
            houses, office buildings, elevators, automobiles, airplanes,
            garages, etc.</rdfs:comment>
        <guid>bd58f914-9c29-11b1-9dad-c379636f7270</guid>
        <rdf:type rdf:resource="#ExistingObjectType"/>
        <rdfs:subClassOf rdf:resource="#Portal"/>
        <rdfs:subClassOf rdf:resource="#Artifact"/>
    </daml:Class>

Doorways are subclasses of Portals and Artifacts, and the class of
doorways is an instance of the class of types of existing objects.

Is it legal DAML+OIL to have both type and subClassOf statements
describing a class? 

I presently fail the DAML XML validator on this point.
- -Steve


- -- 
===========================================================
Stephen L. Reed                  phone:  512.342.4036
Cycorp, Suite 100                  fax:  512.342.4040
3721 Executive Center Drive      email:  reed@cyc.com
Austin, TX 78731                   web:  http://www.cyc.com
===========================================================


------- End of Forwarded Message


This archive was generated by hypermail 2.1.4 : 04/03/02 EST