Declarative semantics of interoperable data- and knowledge-bases

Georg Reichwein; José Luiz Fiadeiro; Mechthild Rohen

doi:10.1109/ICICIS.1993.291760

Declarative semantics of interoperable data- and knowledge-bases

Georg Reichwein, José Luiz Fiadeiro, Mechthild Rohen

Science and Engineering Office

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 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	https://doi.org/10.1109/ICICIS.1993.291760
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

Access to Document

10.1109/ICICIS.1993.291760

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

@inproceedings{d869896a5b68428c85f083ba9e8caccd,

title = "Declarative semantics of interoperable data- and knowledge-bases",

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.",

keywords = "Management information systems, Information systems, Data models, Knowledge management, Government, Production systems, Database languages, Disaster management, Investments, Database systems",

author = "Georg Reichwein and Fiadeiro, {Jos{\'e} Luiz} and Mechthild Rohen",

year = "1993",

doi = "10.1109/ICICIS.1993.291760",

language = "English",

pages = "291--299",

editor = "G. Schlageter and M.P. Papazoglou and M. Huhns",

booktitle = "Proceedings - International Conference on Intelligent and Cooperative Information Systems, ICICIS 1993",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

address = "United States",

note = "1993 International Conference on Intelligent and Cooperative Information Systems, ICICIS 1993 ; Conference date: 12-05-1993 Through 14-05-1993",

}

Reichwein, G, Fiadeiro, JL & Rohen, M 1993, Declarative semantics of interoperable data- and knowledge-bases. in G Schlageter, MP Papazoglou & M Huhns (eds), Proceedings - International Conference on Intelligent and Cooperative Information Systems, ICICIS 1993. Institute of Electrical and Electronics Engineers Inc., pp. 291-299, 1993 International Conference on Intelligent and Cooperative Information Systems, ICICIS 1993, Rotterdam, Netherlands, 12/05/93. https://doi.org/10.1109/ICICIS.1993.291760

Declarative semantics of interoperable data- and knowledge-bases. / Reichwein, Georg; Fiadeiro, José Luiz; Rohen, Mechthild.
Proceedings - International Conference on Intelligent and Cooperative Information Systems, ICICIS 1993. ed. / G. Schlageter; M.P. Papazoglou; M. Huhns. Institute of Electrical and Electronics Engineers Inc., 1993. p. 291-299.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Declarative semantics of interoperable data- and knowledge-bases

AU - Reichwein, Georg

AU - Fiadeiro, José Luiz

AU - Rohen, Mechthild

PY - 1993

Y1 - 1993

N2 - 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.

AB - 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.

KW - Management information systems

KW - Information systems

KW - Data models

KW - Knowledge management

KW - Government

KW - Production systems

KW - Database languages

KW - Disaster management

KW - Investments

KW - Database systems

UR - http://www.scopus.com/inward/record.url?scp=85028884055&partnerID=8YFLogxK

U2 - 10.1109/ICICIS.1993.291760

DO - 10.1109/ICICIS.1993.291760

M3 - Conference contribution

AN - SCOPUS:85028884055

SP - 291

EP - 299

BT - Proceedings - International Conference on Intelligent and Cooperative Information Systems, ICICIS 1993

A2 - Schlageter, G.

A2 - Papazoglou, M.P.

A2 - Huhns, M.

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 1993 International Conference on Intelligent and Cooperative Information Systems, ICICIS 1993

Y2 - 12 May 1993 through 14 May 1993

ER -

Declarative semantics of interoperable data- and knowledge-bases

Abstract

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this