From: Mike Dean ([email protected])
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: [email protected] Date: Wed, 27 Jun 2001 10:33:13 -0500 (CDT) From: Stephen Reed <[email protected]> To: [email protected] Message-ID: <[email protected]> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Subject: Can DAML class also be an instance? Resent-From: [email protected] X-Mailing-List: <[email protected]> archive/latest/1750 X-Loop: [email protected] Sender: [email protected] Resent-Sender: [email protected] Precedence: list List-Id: <www-rdf-logic.w3.org> List-Help: <http://www.w3.org/Mail/> List-Unsubscribe: <mailto:[email protected]?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: [email protected] 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