W3C home > Mailing lists > Public > semantic-web@w3.org > February 2007

critical errors in Upper Ontology of RDF,OWL,CYC

From: Richard H. McCullough <rhm@PioneerCA.com>
Date: Tue, 13 Feb 2007 23:02:42 -0800
Message-ID: <00bb01c75006$61c86f60$6401a8c0@rhm8200>
To: "Semantic Web at W3C" <semantic-web@w3.org>, "OWL at W3C" <www-rdf-logic@w3.org>
Cc: "John De Oliveira" <johndcyc@gmail.com>, "Rob McCool" <robm@robm.com>

For those of you who have suffered through my vague
and confused uneasiness over the past couple of years,
let me assure you: my current position is
I will state my position in terms of Cyc's Collection,
but the principle is the same if you use the RDF/OWL Class.

1. There are two very different, "orthogonal" kinds of
relations in a conceptual hierarchy.
a. "vertical property" relations -- isu, iss -- for example
individual isu class;
species iss genus;
b. "horizontal bookkeeping" relations -- ismem -- for example
individual ismem Individual;
Thing ismem Collection;
Thing ismem Class;

2. Note that "Thing ismem Collection;" is completely unrelated
to statements like
Thing isu Collection;  (which is false)
Thing isu Thing;         (which is false)

3. If you run "ke -cyc", you will see that mKE finds a number
of such false statements in the Cyc Upper Ontology.
# INFO: update_knit: cyc context copied from spo
# ERROR: add_unit: same concept(string[20]) <Collection isu Class>
# ERROR: add_unit: same concept(string[33]) <CollectionType isu 
# ERROR: add_unit: same concept(string[29]) <CoreConstant isu CoreConstant>
# ERROR: add_species: same concept(string[27]) <CycLTerm iss CycLExpression>
# ERROR: add_unit: same concept(string[37]) <Set-Mathematical isu 
# ERROR: add_species: not allowed(string[15]) <Thing iss Class>
# ERROR: add_unit: not allowed(string[15]) <Thing isu Class>
# ERROR: add_unit: not allowed(string[22]) <Thing isu CoreConstant>
# ERROR: add_unit: not allowed(string[15]) <Thing isu Thing>

4. I will post my official "correction"
to the official Cyc Upper Ontology
on my web site tomorrow.

Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
Received on Wednesday, 14 February 2007 07:05:06 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:44:59 UTC