Declarative semantics of interoperable data- and knowledge-bases

Georg Reichwein, José Luiz Fiadeiro, Mechthild Rohen

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

2 Citations (Scopus)

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
CountryNetherlands
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

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

  • Cite this

    Reichwein, G., Fiadeiro, J. L., & Rohen, M. (1993). Declarative semantics of interoperable data- and knowledge-bases. In G. Schlageter, M. P. Papazoglou, & M. Huhns (Eds.), Proceedings - International Conference on Intelligent and Cooperative Information Systems, ICICIS 1993 (pp. 291-299). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICICIS.1993.291760