From: Dave Rager (drager@bbn.com)
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: 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