Re: SUO: Draft Motion on OpenCyc
Jim, John and other SUO folk,
On behalf of the IFF developers, in the IFF slot below I have filled in the
dots with references to the IFF texts relevant to the current draft motion.
Robert E. Kent
rekent@ontologos.org
----- Original Message -----
From: "John F. Sowa" <sowa@bestweb.net>
To: <jim.s3@juno.com>
Cc: <standard-upper-ontology@ieee.org>
Sent: Tuesday, April 15, 2003 5:05 AM
Subject: Re: SUO: Draft Motion on OpenCyc
>
> Jim
>
> The draft of the motion should take into
> account the recent discussions, which
> have been creeping toward a consensus.
> Folloiwing are the major issues:
>
> 1. The CycL language is not being proposed
> as a standard, although the current
> content of OpenCyc is stated in CycL.
> One possibility is to adopt the CL
> (Common Logic) draft, which is being
> proposed as an ISO standard.
>
> 2. Cyc and OpenCyc are already organized
> in microtheories, which are compatible
> with the IFF framework, which is designed
> to support multiplicities of theories.
> That relationship should be acknowledged
> by the draft resolution.
>
> 3. Other ontology projects, such as SUMO,
> in which many members of this committee
> have invested quite a lot of effort,
> should be encouraged to contribute their
> work to the collection of microtheories
> developed by this project.
>
> To accommodate Point #1, the simplest approach
> is to omit any mention of CycL in the wording
> of the motion. To accommodate Point #2, the
> motion should mention theories (or microtheories)
> and stress the relationship to IFF. To accommodate
> Point #3, the motion should emphasize that the
> project should be able to accept, accommodate,
> and include theories (or microtheories) from
> other sources.
>
> Following is a suggested revision of the draft
> ballot question along those lines:
>
> Should the IEEE P1600.1 Standard Upper Ontology
> Working Group commence work on a project to develop
> a library of theories or microtheories, which
>
> (1) are compatible with the IFF framework,
>
> (2) are derived from the microtheories of the
> OpenCyc ontology, and
>
> (3) include theories or microtheories derived from
> other ontologies, such as SUMO and any others
> that may be put in a form that is compatible
> with the IFF framework.
>
> The base documents for this projet include, but are
> not limited to the following:
>
> (1) The OpenCyc ontology as initially set forth in the
> following (two-part) starter document:
> a) http://www.cyc.com/SUO/opencyc-ontology.txt
> b) http://www.cyc.com/SUO/minimal-cyc-kb.txt
>
______________________________
(2) The IFF framework as set forth in the following increasingly more
specific documentation.
a) The cursory overview of the IFF on "the IFF main page"
http://suo.ieee.org/IFF/
b) The more detailed overview of the IFF on "the current IFF page"
http://suo.ieee.org/IFF/version/20021205.htm
c) The introduction to "the IFF Ontology (meta) Ontology (IFF-ONT)" on page
http://suo.ieee.org/IFF/metalevel/lower/ontology/ontology/version20021205.ht
m
d) The "category theory of ontologies" document at the address
http://suo.ieee.org/IFF/metalevel/lower/metatheory/ontology/version20021205.
pdf
e) The "type language namespace axiomatization" at the address
http://suo.ieee.org/IFF/metalevel/lower/namespace/type-language/version20021
205.pdf
f) The "theory namespace axiomatization" at the address
http://suo.ieee.org/IFF/metalevel/lower/namespace/theory/version20021205.pdf
g) The "model(-theoretic structure) namespace axiomatization" at the address
http://suo.ieee.org/IFF/metalevel/lower/namespace/model/version20021205.pdf
h) The "prologic/logic namespace axiomatization" at the address
http://suo.ieee.org/IFF/metalevel/lower/namespace/logic/version20021205.pdf
i) The "truth namespace axiomatization" on pages 86 -- 95 of the IFF type
language document at the address
http://suo.ieee.org/IFF/metalevel/lower/namespace/type-language/version20021
205.pdf
______________________________
>
> (3) The SUMO ontology as set forth in...
>
> I suggest that the IFF and SUMO developers fill in
> the dots with references to their best available texts.
>
> John Sowa
>
>
>