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