Skip to main content
SpringerLink
Log in

A Unifying Perspective on Knowledge Updates

  • Conference paper
Logics in Artificial Intelligence (JELIA 2012)

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

Included in the following conference series:

Abstract

We introduce an abstract update framework based on viewing a knowledge base as the set of sets of models of its elements and performing updates by introducing additional interpretations – exceptions – to the sets of models of elements of the original knowledge base. In [36], an instantiation of this framework for performing rule updates has been shown to semantically characterise one of the syntax-based rule update semantics. In this paper we show that the framework can also capture a wide range of both model- and formula-based belief update operators which constitute the formal underpinning of existing approaches to ontology updates. Exception-driven operators thus form a unifying perspective on both ontology and rule updates, opening new possibilities for addressing updates of hybrid knowledge bases consisting of both an ontology and a rule component.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log. 50(2), 510–530 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  2. Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: The refined extension principle for semantics of dynamic logic programming. Studia Logica 79(1), 7–32 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  3. Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic updates of non-monotonic knowledge bases. J. Log. Program. 45(1-3), 43–70 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  4. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge Univ. Press (2007)

    Google Scholar 

  5. Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: First results. In: Veloso, M.M., Kambhampati, S. (eds.) Procs. AAAI 2005, pp. 572–577. AAAI/MIT Press (2005)

    Google Scholar 

  6. de Bruijn, J., Eiter, T., Polleres, A., Tompits, H.: Embedding nonground logic programs into autoepistemic logic for knowledge-base combination. ACM Trans. Comput. 12(3), 20 (2011)

    MathSciNet  MATH  Google Scholar 

  7. Calvanese, D., Kharlamov, E., Nutt, W., Zheleznyakov, D.: Evolution of DL-Lite Knowledge Bases. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 112–128. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  8. Creignou, N., Papini, O., Pichler, R., Woltran, S.: Belief revision within fragments of propositional logic. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Procs. KR 2012, pp. 126–136. AAAI Press (2012)

    Google Scholar 

  9. Dalal, M.: Investigations into a theory of knowledge base revision. In: Procs. AAAI 1988, pp. 475–479. AAAI/MIT Press (1988)

    Google Scholar 

  10. De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On instance-level update and erasure in description logic ontologies. J. Log. Comput. 19(5), 745–770 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  11. Delgrande, J.P., Schaub, T., Tompits, H.: A Preference-Based Framework for Updating Logic Programs. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 71–83. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  12. Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: On properties of update sequences based on causal rejection. TPLP 2(6), 721–777 (2002)

    MathSciNet  MATH  Google Scholar 

  13. Fitting, M.: First-Order Logic and Automated Theorem Proving, 2nd edn. Graduate texts in computer science. Springer, Berlin (1996)

    Book  MATH  Google Scholar 

  14. Flouris, G., Makanatas, D., Kondylakis, H., Plexousakis, D., Antoniou, G.: Ontology change: classification and survey. Knowledge Eng. Review 23(2), 117–152 (2008)

    Article  Google Scholar 

  15. Gärdenfors, P.: Belief Revision: An Introduction. In: Belief Revision, pp. 1–28. Cambridge Univ. Press (1992)

    Google Scholar 

  16. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K.A. (eds.) Procs. ICLP/SLP 1988, pp. 1070–1080. MIT Press (1988)

    Google Scholar 

  17. Halaschek-Wiener, C., Katz, Y.: Belief base revision for expressive description Logics. In: Grau, B.C., Hitzler, P., Shankey, C., Wallace, E. (eds.) Procs. OWLED 2006. CEUR Workshop Proceedings, vol. 216 (2006), CEUR-WS.org

    Google Scholar 

  18. Hansson, S.O.: Reversing the Levi identity. J. Philosophical Logic 22(6), 637–669 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  19. Herzig, A., Rifi, O.: Propositional belief base update and minimal change. Artif. Intell. 115(1), 107–138 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  20. Hitzler, P., Parsia, B.: Ontologies and rules. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, 2nd edn. International Handbooks on Information Systems, pp. 111–132. Springer, Berlin (2009)

    Chapter  Google Scholar 

  21. Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: Allen, J.F., Fikes, R., Sandewall, E. (eds.) Procs. KR 1991, April 22-25, pp. 387–394. Morgan Kaufmann Publishers, Cambridge (1991)

    Google Scholar 

  22. Krümpelmann, P., Kern-Isberner, G.: On belief dynamics of dependency relations for extended logic programs. In: Procs. NMR 2010, Toronto, Canada (2010)

    Google Scholar 

  23. Leite, J., Moniz Pereira, L.: Generalizing Updates: From Models to Programs. In: Dix, J., Moniz Pereira, L., Przymusinski, T.C. (eds.) LPKR 1997. LNCS (LNAI), vol. 1471, pp. 224–246. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  24. Lenzerini, M., Savo, D.F.: On the evolution of the instance level of DL-Lite knowledge bases. In: Rosati, R., Rudolph, S., Zakharyaschev, M. (eds.) Procs. DL 2011. CEUR Workshop Proceedings, vol. 745 (2011), CEUR-WS.org

    Google Scholar 

  25. Liu, H., Lutz, C., Miličić, M., Wolter, F.: Updating description logic ABoxes. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Procs. KR 2006, pp. 46–56. AAAI Press (2006)

    Google Scholar 

  26. Marek, V.W., Truszczynski, M.: Revision programming. Theor. Comput. Sci. 190(2), 241–277 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  27. Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM 57(5), 93–154 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  28. Peppas, P., Nayak, A.C., Pagnucco, M., Foo, N.Y., Kwok, R.B.H., Prokopenko, M.: Revision vs. update: Taking a closer look. In: Wahlster, W. (ed.) Procs. ECAI 1996, pp. 95–99. John Wiley and Sons, Chichester (1996)

    Google Scholar 

  29. Qi, G., Yang, F.: A Survey of Revision Approaches in Description Logics. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol. 5341, pp. 74–88. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  30. Ribeiro, M.M., Wassermann, R.: Base revision in description logics - preliminary results. Procs. IWOD 2007, 69–82 (2007)

    Google Scholar 

  31. Sakama, C., Inoue, K.: An abductive framework for computing knowledge base updates. TPLP 3(6), 671–713 (2003)

    MathSciNet  MATH  Google Scholar 

  32. Šefránek, J.: Static and dynamic semantics: Preliminary report. In: MICAI, pp. 36–42 (2011)

    Google Scholar 

  33. Slota, M., Leite, J.: On semantic update operators for answer-set programs. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) Procs. ECAI 2010. Frontiers in Artificial Intelligence and Applications, vol. 215, pp. 957–962. IOS Press (2010)

    Google Scholar 

  34. Slota, M., Leite, J.: Towards Closed World Reasoning in Dynamic Open Worlds. TPLP Special Issue 10(4-6), 547–564 (2010)

    MathSciNet  MATH  Google Scholar 

  35. Slota, M., Leite, J.: Back and Forth between Rules and SE-Models. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 174–186. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  36. Slota, M., Leite, J.: Robust equivalence models for semantic updates of answer-set programs. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Procs. KR 2012, pp. 158–168. AAAI Press (2012)

    Google Scholar 

  37. Slota, M., Leite, J., Swift, T.: Splitting and updating hybrid knowledge bases. TPLP Special Issue 11(4-5), 801–819 (2011)

    MathSciNet  MATH  Google Scholar 

  38. Turner, H.: Strong equivalence made easy: nested expressions and weight constraints. TPLP 3(4-5), 609–622 (2003)

    MathSciNet  MATH  Google Scholar 

  39. Winslett, M.: Updating Logical Databases. Cambridge Univ. Press, New York (1990)

    Book  MATH  Google Scholar 

  40. Zhang, Y.: Logic program-based updates. ACM Trans. Comput. Log. 7(3), 421–472 (2006)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CENTRIA & Departamento de Informática, Universidade Nova de Lisboa, Quinta da Torre, 2829-516, Caparica, Portugal

    Martin Slota & João Leite

Authors
  1. Martin Slota
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. João Leite
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut de Recherche en Informatique de Toulouse, 118 route de Narbonne, 31062, Toulouse Cedex 9, France

    Luis Fariñas del Cerro , Andreas Herzig  & Jérôme Mengin ,  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Slota, M., Leite, J. (2012). A Unifying Perspective on Knowledge Updates. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds) Logics in Artificial Intelligence. JELIA 2012. Lecture Notes in Computer Science(), vol 7519. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33353-8_29

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33353-8_29

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-33352-1

  • Online ISBN: 978-3-642-33353-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation