License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-413
URL: http://drops.dagstuhl.de/opus/volltexte/2005/41/

Kent, Robert E.
Theoretical Foundations

Semantic Integration in the Information Flow Framework

pdf-format:
Dokument 1.pdf (220 KB)


Abstract

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

@InProceedings{kent:DSP:2005:41,
  author =	{Robert E. Kent},
  title =	{Semantic Integration in the Information Flow Framework},
  booktitle =	{Semantic Interoperability and Integration},
  year =	{2005},
  editor =	{Y. Kalfoglou and M. Schorlemmer and A. Sheth and S. Staab and M. Uschold},
  number =	{04391},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2005/41},
  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


DROPS-Home | Fulltext Search | Imprint Published by LZI