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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Barr, M.; Wells, C.: “Category Theory for Computing Science”, Prentice Hall 1990
Bense, H.; Cremers, A.B.; Kouloumdjian, J.; Levi, G.; Modesti, M.; Rouault, J.: “The EPSILON Project”, in CEC DG XIII (ed) Information Processing Systems: Results and Progress of ESPRIT Projects in 1989
Bibel, W.; Nicolas, J.-M.: “The Role of Logic for Data and Knowledge Bases: A Brief Survey”, in Schmidt, J.W.; Thanos, C. (eds) Foundations of Knowledge Base Management, Springer Verlag 1989
Bright, M.W.; Hurson, A.R.; Pakzad, S.: “A Taxonomy and Current Issues in Multidatabase Systems”, IEEE Computer 25(3), 1992, pp. 50–60
Boman, M.; Johannesson, P.: “Epistemic Logic as a Framework for Federated Information Systems”, in [6], pp. 255–270
Deen, S.M. (ed): Proceedings of the International Working Conference on Cooperating Knowledge Based Systems, Springer Verlag 1990
Fiadeiro, J.; Sernadas, A.: “Specification and Verification of Database Dynamics”, Acta Informatica 25, 1988, pp. 625–661
Finger, M.; Gabbay, D.M.: “Adding a Temporal Dimension to a Logic System”, Journal of Logic, Language, and Information, 1992
Goguen, J.; Burstall, R.: “Institutions: Abstract Model Theory for Specification and Programming”, Journal of the ACM 39, 1992, pp. 95–146 an earlier version appeared in Clarke, E.; Kozen D. (eds) Proc. Logics of Programming Workshop, LNCS 164, Springer Verlag 1984, pp. 221–256
Hsiao, D.; Kamel, M.: “Heterogeneous Databases: Proliferations, Issues and Solutions”, IEEE Transactions on Data and Knowledge Engineering 3(1), 1989
Kniesel, G.; Rohen, M.; Cremers, A.B.: “A Management System for Distributed Knowledge Based Applications”, in Proc. Int. GI-Kongreß Verteilte KI und kooperatives Arbeiten, Springer Verlag 1991, pp. 65–76
Lipeck, U.; Saake, G.: “Monitoring Dynamic Integrity Constraints Based on Temporal Logic”, Information Systems 12(3), 1987, pp. 255–269
Lipeck, U.; Thalheim, W. (eds): “Modelling Database Dynamics”, Springer Verlag, 1992
Reichwein, G.; Fiadeiro, J.: “A Semantic Framework for Interoperability”, DMIST / INESC Technical Report, 1992
Reichwein, G.; Rohen, M.; Fiadeiro, J.: “Composed Modular Knowledge Bases in Duplex Institutions”, COMPULOG Meeting on Programming Languages, University of Pisa, 1992
Reichwein, G.; Fiadeiro, J.; Rohen, M.: “Semantic Issues in Interoperable Deductive Databases”, Proc. ICICIS'93, IEEE Computer Society Press 1993, pp. 291–299
Reiter, R.: “What should a Database Know?”, Journal of Logic Programming 14, 1992, pp. 127–153
Reiter, R.; “Towards a Logical Reconstruction of Relational Database Theory”, in Brodie, M.; Mylopoulos, J.; Schmidt, J. (eds) On Conceptual Modelling, Springer Verlag 1984, pp. 191–233
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reichwein, G., Fiadeiro, J. (1993). Semantics of interworking knowledge based systems. In: Filgueiras, M., Damas, L. (eds) Progress in Artificial Intelligence. EPIA 1993. Lecture Notes in Computer Science, vol 727. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57287-2_40
Download citation
DOI: https://doi.org/10.1007/3-540-57287-2_40
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57287-9
Online ISBN: 978-3-540-48036-5
eBook Packages: Springer Book Archive