@inproceedings{95e26e6c21714ecb920fcd62e72339de,
title = "Semantics of interworking knowledge based systems",
abstract = "Mixed institutions are proposed as a semantic framework for interworking heterogeneous knowledge based systems, where heterogeneity means that the components of a knowledge base may be based on different logical systems. Using deductive databases as an example, we illustrate the use of this framework for extending relational databases with inference capabilities in first order and temporal logic. Taking institutions as the formal notion of a logical system, a novel institution of relational algebra is introduced together with an institution morphism which formally relates it to first-order logic. Reasoning about dynamics is encompassed by a general construction of a temporal logic institution over an arbitrary base institution. The results are relevant for a declarative semantics of interoperable knowledge bases and multi-agent systems.",
author = "Georg Reichwein and Jos{\'e} Fiadeiro",
note = "Funding Information: This work has been pm-tly supported by JNICT under contract PBIC/C/TIT/1227/92 (Interoperability of Deductive Databases). Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1993.; 6th Portuguese Conference on Artificial Intelligence, EPIA 1993 ; Conference date: 06-10-1993 Through 08-10-1993",
year = "1993",
month = sep,
day = "23",
doi = "10.1007/3-540-57287-2_40",
language = "English",
isbn = "9783540572879",
volume = "727",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "93--104",
editor = "Miguel Filgueiras and Luis Damas",
booktitle = "Progress in Artificial Intelligence - 6th Portuguese Conference on AI, EPIA 1993, Proceedings",
address = "Germany",
}