SUO: IFF Model Theory Ontology (version 1.0), request for comments
All,
We are pleased to direct you attention to the first version of the IFF Model
Theory Ontology (IFF-MT) posted off of the IFF main page located at
http://suo.ieee.org/IFF/
The document for the IFF-MT has been broken down into its top-level
namespaces. In addition to the main Introduction HTML file for the IFF-MT,
there are six PDF files that are linked from the main file. There are 129
pages total in the PDF files. These files consist of four namespaces (102
pages)
Hypergraphs -- 13 pages
Type Languages -- 41 pages
Type Language Colimits -- 23 pages
Models -- 25 pages
and two portals (27 pages)
Tradition (generic) -- 10
Conceptual Graphs -- 17
The IFF-MT is the first lower metalevel module that has been developed for
the IFF. Others will follow. In particular, you can soon expect modules for
a term extension to the IFF-MT and an extension to the IFF-MT dealing with
the Information Flow theories and logic (with true "information flow"). The
logical code for the object aspect of the term extension is already
finished, but merging this code into the main IFF-MT file will take some
effort, since morphisms, expressions and colimits need to be handled. This
testifies to the value of our strategy to initially axiomatize without
terms.
As discussed in the Introduction document, the IFF-MT is at the top of a
three level architecture. The other two levels are called the IFF Lower
Classification Ontology (IFF-LCLS) and the IFF Lower Core Ontology
(IFF-LCO). These are two additional lower metalevel modules that you can
expect to be released sometime in spring or summer 2002. This three
level architecture cuts across the 3-dimensional architecture for the
IFF-MT discussed in the Introduction.
The IFF notion of a portal may be of particular interest to applications. An
IFF portal is a namespace that serves as an interface between the IFF Model
Theory Ontology and an outside representation such as CGIF, CycL, etc This
first version of the IFF-MT has developed the core aspect of two portals --
one for conceptual graphs (DF, CGIF) and a generic portal for the
traditional many-sorted logic described for example by Enderton. It is
anticipated that many other portals will be developed by SUO folk in the
future. In particular, Jim Farrugia is interested in working on a Cyc
portal. And I myself would like to develop a Common Logic portal.
Please send your comments in response to this message, with Subject "IFF
Model Theory Ontology (version 1.0), request for comments" so that we can
easily extract this set of comments from the list.
Thank you all for your contributions and your patience.
On behalf of the IFF Editing Team,
Robert E. Kent
rekent@ontologos.org