Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
SpringerLink
Log in

Semantics of interworking knowledge based systems

  • Conference paper
  • First Online:
Progress in Artificial Intelligence (EPIA 1993)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 727))

Included in the following conference series:

  • 725 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Barr, M.; Wells, C.: “Category Theory for Computing Science”, Prentice Hall 1990

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  4. Bright, M.W.; Hurson, A.R.; Pakzad, S.: “A Taxonomy and Current Issues in Multidatabase Systems”, IEEE Computer 25(3), 1992, pp. 50–60

    Google Scholar 

  5. Boman, M.; Johannesson, P.: “Epistemic Logic as a Framework for Federated Information Systems”, in [6], pp. 255–270

    Google Scholar 

  6. Deen, S.M. (ed): Proceedings of the International Working Conference on Cooperating Knowledge Based Systems, Springer Verlag 1990

    Google Scholar 

  7. Fiadeiro, J.; Sernadas, A.: “Specification and Verification of Database Dynamics”, Acta Informatica 25, 1988, pp. 625–661

    Google Scholar 

  8. Finger, M.; Gabbay, D.M.: “Adding a Temporal Dimension to a Logic System”, Journal of Logic, Language, and Information, 1992

    Google Scholar 

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

    Google Scholar 

  10. Hsiao, D.; Kamel, M.: “Heterogeneous Databases: Proliferations, Issues and Solutions”, IEEE Transactions on Data and Knowledge Engineering 3(1), 1989

    Google Scholar 

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

    Google Scholar 

  12. Lipeck, U.; Saake, G.: “Monitoring Dynamic Integrity Constraints Based on Temporal Logic”, Information Systems 12(3), 1987, pp. 255–269

    Google Scholar 

  13. Lipeck, U.; Thalheim, W. (eds): “Modelling Database Dynamics”, Springer Verlag, 1992

    Google Scholar 

  14. Reichwein, G.; Fiadeiro, J.: “A Semantic Framework for Interoperability”, DMIST / INESC Technical Report, 1992

    Google Scholar 

  15. Reichwein, G.; Rohen, M.; Fiadeiro, J.: “Composed Modular Knowledge Bases in Duplex Institutions”, COMPULOG Meeting on Programming Languages, University of Pisa, 1992

    Google Scholar 

  16. Reichwein, G.; Fiadeiro, J.; Rohen, M.: “Semantic Issues in Interoperable Deductive Databases”, Proc. ICICIS'93, IEEE Computer Society Press 1993, pp. 291–299

    Google Scholar 

  17. Reiter, R.: “What should a Database Know?”, Journal of Logic Programming 14, 1992, pp. 127–153

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. INESC/DMIST, Apartado 10105, 1017, Lisboa Codex, Portugal

    Georg Reichwein & José Fiadeiro

Authors
  1. Georg Reichwein
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. José Fiadeiro
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Miguel Filgueiras Luís Damas

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation