Creative Commons Attribution 4.0 license (CC BY 4.0)when quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.04391.19
URN: urn:nbn:de:0030-drops-413
URL: https://drops.dagstuhl.de/opus/volltexte/2005/41/
Kent, Robert E.
Theoretical Foundations
Semantic Integration in the Information Flow Framework
| pdf-format: |
|
Abstract
The Information Flow Framework (IFF) is a descriptive category metatheorycurrently 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.
BibTeX - Entry
@InProceedings{kent:DagSemProc.04391.19,
author = {Kent, Robert E.},
title = {{Semantic Integration in the Information Flow Framework}},
booktitle = {Semantic Interoperability and Integration},
pages = {1--12},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4391},
editor = {Y. Kalfoglou and M. Schorlemmer and A. Sheth and S. Staab and M. Uschold},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2005/41},
URN = {urn:nbn:de:0030-drops-413},
doi = {10.4230/DagSemProc.04391.19},
annote = {Keywords: descriptive category metatheory , institutions , semantic integration}
}
| Keywords: | descriptive category metatheory , institutions , semantic integration | |
| Seminar: | 04391 - Semantic Interoperability and Integration | |
| Issue date: | 2005 | |
| Date of publication: | 23.03.2005 |
