W3C home > Mailing lists > Public > www-rdf-logic@w3.org > June 2001

cycles in rdfs:subClassOf, cyc gels, extensionality of classes

From: Dan Connolly <connolly@w3.org>
Date: Wed, 27 Jun 2001 11:26:40 -0500
Message-ID: <3B3A0940.7D1B0AE7@w3.org>
To: Stephen Reed <reed@cyc.com>
CC: www-rdf-logic@w3.org
Stephen Reed wrote:
> In the Cyc ontology ...

speaking of Cyc's ontology and DAML, I was very interested
to see Cyc's upper ontology in DAML:


and the surrounding docs:

But this gave me pause:

|  <rdf:Description rdf:about="&o;genls">
|          <samePropertyAs rdf:resource="subClassOf"/>
|  </rdf:Description>

first, because of typo/bug (of a very common variety,
due to an RDF syntax misfeature*1). That should be
or, since you've evidently decided entities aren't too ugly to use,

But more substantively... because cyc's genls is
explicitly *not* extensional, and rdfs:subClassOf,
per the DAML semantics, is explicitly extensional:

In addition, two
     instances of #$Collection can be co-extensional (i.e., have all the
same elements)
     without being identical, whereas if two arbitrary sets had the same
elements, they would
     be considered equal.

--        Cyc Fundamental Vocabulary
Wed, 10 Feb 1999 16:51:07 GMT


Warning: The RDF Schema specification demands that the subclass-relation
     classes must be acyclic. We believe this to be too restrictive,
since a cycle of subclass
     relationships provides a useful way to assert equality between
classes. Consequently,
     DAML+OIL (March 2001) places no such restriction on the subClassOf
relationship between

--        DAML+OIL (March 2001) reference description
Wed, 11 Apr 2001 19:52:35 GMT

note the <=>, as opposed to =>

Ax32.    (<=> (PropertyValue subClassOf ?csub ?csuper) 
           (and (Type ?csub rdfs:Class)
                (Type ?csuper rdfs:Class)
                (forall (?x) (=> (Type ?x ?csub) (Type ?x ?csuper)))))

--        DAML+OIL Axioms
Sun, 04 Mar 2001 17:32:03 GMT

So... in saying that cyc gels is the same property
as rdfs:subClassOf, technically, you are licensing
the inference from
	(and (cyc:genls X Y) (cyc:genls Y X))
	(daml:sameClassAs X Y)

Was that on purpose? Were you aware of DAML's interpretation
of rdfs:subClassOf?

Perhaps you sort of avoided the issue by making sure
there are no cycles in the genls tree in the
ontology you released?

This is particularly important/timely because the
RDF Core WG is starting to discuss some nearby issues...

  Opening RDF Schema issues: rdfs-domain-and-range,
     rdfs-domain-unconstrained Dan Brickley (Tue, Jun 26 2001) 

We haven't gotten to this particular issue yet, but
we're likely to soon:

  Issue rdfs-no-cycles-in-subClassOf: Cycles of subClassOf properties
are prohibited.
  raised Wed, 14 Jun 2000 by Michel Klein

*1 re the syntax misfeature, as evidence that this is
a known bug/misfeature, and for backlink purposes...

Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Wednesday, 27 June 2001 12:26:51 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:35 UTC