SUO: IFF updates 2001-12-05, comments requested
All,
We solicit your comments on the updates to the IFF Foundation Ontology.
The IFF's Web page at
http://suo.ieee.org/IFF/
has links to the current version of the IFF Foundation Ontology,
as well as links to previous versions, changes, and comments digested as
of November 2, 2001. Note that if your browser has cached this page,
you may need to reload it to see the new material.
In case you want to go directly to the latest version, its URL is
http://suo.ieee.org/IFF/versions/20011205/
Appended at the end of this email is a summary of the changes since the
previous version.
We realize that there are outstanding questions and concerns that
need to be addressed. We hope that the revised Introduction will
speak to some of these concerns. In the future we will post a new
Model Theory Ontology, as well as revisions of the Category Theory
and Classification Ontologies. We hope that these postings will also
address many of your concerns.
Please send your comments in response to this message, with Subject
"IFF updates 2001-12-05, comments requested" so that we can easily
extract this set of comments from the list.
Thank you all for your contributions and your patience.
(Please send any link problems or site irregularities to me off list.)
On behalf of the IFF Editing Team,
Jim Farrugia
----------------------------------------------------
WHAT HAS NOT CHANGED (YET):
The IFF CategoryTheory(sub)Ontology.pdf
The IFF Classification(sub)Ontology.pdf
WHAT HAS BEEN MODIFIED:
Introduction.htm has been completely reworked. It is now called
IFFFoundationOntology.htm.
IFF Core Ontology has been modified. The major changes are:
deletion of topos theory material (since it has not been used so far in
either the IFF Classification Ontology or the IFF Category Theory
Ontology);
addition of a generic framework for limits;
addition of the dual axiomatization for colimits (used in the IFF
Classification Ontology).
WHAT IS NEW:
* IFF BasicKIFOntology
WHAT IS YET TO COME:
updates to Classification and Category Theory ontologies
a new Model Theory Ontology
----------------------------------------------------