Declarative semantics of interoperable data- and knowledge-bases

Georg Reichwein, José Luiz Fiadeiro, Mechthild Rohen

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We show how the declarative semantics of intelligent and cooperative information systems can be developed in an institutional framework. The presention of the semantics is tailored to Epsilon, a management system for distributed knowledge bases whose modules may employ different logical systems, and that allows deductions to be performed interoperatively. The components of an Epsilon knowledge base are theories, and relationships like inheritance between theories are established via so called links. This paper gives a semantic foundation for Epsilon links, including the combination of information represented in different formalisms (using mixed institutions) as well as the constraining of the possible models of a theory to those freely generated by another one (using duplex institutions). These categorial concepts are applied to the actual implementation of Epsilon.

Original languageEnglish
Title of host publicationProceedings - International Conference on Intelligent and Cooperative Information Systems, ICICIS 1993
EditorsG. Schlageter, M.P. Papazoglou, M. Huhns
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages291-299
Number of pages9
ISBN (Electronic)081863135X, 9780818631351
DOIs
Publication statusPublished - 1993
Event1993 International Conference on Intelligent and Cooperative Information Systems, ICICIS 1993 - Rotterdam, Netherlands
Duration: 12 May 199314 May 1993

Conference

Conference1993 International Conference on Intelligent and Cooperative Information Systems, ICICIS 1993
Country/TerritoryNetherlands
CityRotterdam
Period12/05/9314/05/93

Keywords

  • Management information systems
  • Information systems
  • Data models
  • Knowledge management
  • Government
  • Production systems
  • Database languages
  • Disaster management
  • Investments
  • Database systems

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Information Systems
  • Information Systems and Management
  • Modelling and Simulation

Fingerprint

Dive into the research topics of 'Declarative semantics of interoperable data- and knowledge-bases'. Together they form a unique fingerprint.

Cite this