1 Search Results for "Kent, Robert E."

Document
DOI: 10.4230/DagSemProc.04391.19
Semantic Integration in the Information Flow Framework

Authors: Robert E. Kent

Published in: Dagstuhl Seminar Proceedings, Volume 4391, Semantic Interoperability and Integration (2005)

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.
Cite as

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)

Copy BibTex To Clipboard

@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-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04391.19},
  URN =		{urn:nbn:de:0030-drops-413},
  doi =		{10.4230/DagSemProc.04391.19},
  annote =	{Keywords: descriptive category metatheory , institutions , semantic integration}
}
  • Refine by Author
  • 1 Kent, Robert E.

  • Refine by Classification

  • Refine by Keyword
  • 1 descriptive category metatheory
  • 1 institutions
  • 1 semantic integration

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2005

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
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact