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

From: Dave Rager (
Date: 06/28/01

Yes, I saw this.

Actually I had it as an error because it was an instance (had a type) 
and it was a class.  It's a quick fix to allow a class to be an 
instance also.  I'll change it today.


At 1:45 PM -0400 6/27/01, Mike Dean wrote:
>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
>Date: Wed, 27 Jun 2001 10:33:13 -0500 (CDT)
>From: Stephen Reed <>
>Message-ID: <>
>MIME-Version: 1.0
>Content-Type: TEXT/PLAIN; charset=US-ASCII
>Subject: Can DAML class also be an instance?
>X-Mailing-List: <> archive/latest/1750
>Precedence: list
>List-Id: <>
>List-Help: <>
>List-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:
>Austin, TX 78731                   web:
>------- End of Forwarded Message

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