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 language | English |
---|---|
Title of host publication | Proceedings - International Conference on Intelligent and Cooperative Information Systems, ICICIS 1993 |
Editors | G. Schlageter, M.P. Papazoglou, M. Huhns |
Publisher | Institute of Electrical and Electronics Engineers Inc. |
Pages | 291-299 |
Number of pages | 9 |
ISBN (Electronic) | 081863135X, 9780818631351 |
DOIs | |
Publication status | Published - 1993 |
Event | 1993 International Conference on Intelligent and Cooperative Information Systems, ICICIS 1993 - Rotterdam, Netherlands Duration: 12 May 1993 → 14 May 1993 |
Conference
Conference | 1993 International Conference on Intelligent and Cooperative Information Systems, ICICIS 1993 |
---|---|
Country/Territory | Netherlands |
City | Rotterdam |
Period | 12/05/93 → 14/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