eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Dagstuhl Seminar Proceedings
1862-4405
2005-03-23
1
12
10.4230/DagSemProc.04391.19
article
Semantic Integration in the Information Flow Framework
Kent, Robert E.
The Information Flow Framework (IFF) is a descriptive category metatheory
currently under development, which is being offered as the structural aspect
of the Standard Upper Ontology (SUO). The architecture of the IFF is
composed of metalevels, namespaces and meta-ontologies, whose core forms a
metastack representing the set-theoretic notions of the "small", the
"large", the "very large" and the "generic". The main application of the IFF
is institutional: the notion of institutions and their morphisms are being
axiomatized in the upper metalevels of the IFF, and the lower metalevel of
the IFF has axiomatized various institutions (information flow, equational
logic, many sorted first order logic, the common logic standard) in which
semantic integration has a natural expression.
https://drops.dagstuhl.de/storage/16dagstuhl-seminar-proceedings/dsp-vol04391/DagSemProc.04391.19/DagSemProc.04391.19.pdf
descriptive category metatheory
institutions
semantic integration