Semantic Integration in the Information Flow Framework

Author Robert E. Kent



PDF
Thumbnail PDF

File

DagSemProc.04391.19.pdf
  • Filesize: 219 kB
  • 12 pages

Document Identifiers

Author Details

Robert E. Kent

Cite As Get BibTex

Robert E. Kent. Semantic Integration in the Information Flow Framework. In Semantic Interoperability and Integration. Dagstuhl Seminar Proceedings, Volume 4391, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005) https://doi.org/10.4230/DagSemProc.04391.19

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.

Subject Classification

Keywords
  • descriptive category metatheory
  • institutions
  • semantic integration

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail