License: Creative Commons Attribution 4.0 International 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
Go to the corresponding Portal

Kent, Robert E.
Theoretical Foundations

Semantic Integration in the Information Flow Framework

04391.KentRobert.Paper.41.pdf (0.2 MB)


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.

BibTeX - Entry

  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 =		{},
  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
Collection: 04391 - Semantic Interoperability and Integration
Issue Date: 2005
Date of publication: 23.03.2005

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI