From: Dave Rager ([email protected])
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. -Dave At 1:45 PM -0400 6/27/01, Mike Dean wrote: >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