Re: SUO: X-Mailer
----- Original Message -----
From: "John F. Sowa" <sowa@bestweb.net>
To: <apease@ks.teknowledge.com>
Cc: <standard-upper-ontology@ieee.org>
Sent: Tuesday, March 19, 2002 4:29 PM
Subject: Re: SUO: X-Mailer
> IFF is a step in the right direction. People have complained
> that it is too big and too impenetrable to be understandable.
> I agree with that complaint, and I would suggest that the IFF
> people should separate their presentation of the abstract theory
> from the actual APIs that are being standardized. That would
> result in a much, much thinner document that could be presented
> in a much more intelligible way.
Agreed. But after the next step, which is submission of the (first version
of the) IFF Model Theory Ontology (within the next month). When complete,
the latter should allow us to discuss and represent in IFF terminology any
object-level ontology presented in any many-sorted first order logical
language.
Robert E. Kent
rekent@ontologos.org