Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: SUO: Some comments about Cyc




John,

(comments below)

----- Original Message -----
From: "John F. Sowa" <sowa@bestweb.net>
To: "Leo Obrst" <lobrst@mitre.org>
Cc: <standard-upper-ontology@ieee.org>; <lenat@cyc.com>
Sent: Friday, September 14, 2001 8:27 PM
Subject: Re: SUO: Some comments about Cyc


> As for IFF, Robert Kent is the only person who knows enough about
> it to champion it.  He is apparently working on a revision of his
> earlier IFF work.  But I believe that he is doing this work on
> his own without any further funding.

I intend to champion the IFF. However, I agree with Chris Welty's comments

> I supported both documents as working documents for the group, but I
> feel pretty strongly that, as a matter of principle, any document's
> author should not be the document's editor.  This greatly increases
> the chances that criticisms will be dealt with fairly and considered
> objectively.

and I know (and support) that others are interested in serving as technical
editors for the IFF.

The IFF is big, and version 1.0 (100+ pages) only encoded part of it: (1)
the namespace for set-theoretic classes/functions/relations in the IFF Core
(sub)Ontology, and (2) the IFF Category Theory (sub)Ontology, which is a
baseline ontology for category theory.

The next two versions will be further additions (not revisions) to the IFF.

I am currently working on version 2.0 (100+ pages), which encodes large
classifications and their infomorphisms, large concept lattices and their
morphisms, bonds, bonding pairs, etc. Due out next month.

After that for version 3.0, I will continue work on a Model Theory Ontology
for Information Flow. Due out later this fall.

Currently, I am doing this on my own, without funding.

Robert E. Kent
rekent@ontologos.org