Reasoning as Axioms Change

Incremental View Maintenance Reconsidered
  • Jakub Kotowski
  • François Bry
  • Simon Brodt
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6902)


We present a novel incremental algorithm to compute changes to materialized views in logic databases like those used by rule-based reasoners. Such reasoners have to address the problem of changing axioms in the presence of materializations of derived atoms. Existing approaches have drawbacks: some require to generate and evaluate large transformed programs that are in Datalog¬ while the source program is in Datalog and significantly smaller; some recompute the whole extension of a predicate even if only a small part of this extension is affected by the change. The method presented in this article overcomes both drawbacks, arguably at an acceptable price: a slight adaptation of the semi-naïve forward chaining.


Resource Description Framework Belief Revision Deductive Database Logic Database Datalog Program 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alchourron, C.E., Gardenfors, P., Makinson, D.: On the logic of theory change: Contraction functions and their associated revision functions. Theoria 48 (1982)Google Scholar
  2. 2.
    Alchourron, C.E., Gardenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symbolic Logic (1985)Google Scholar
  3. 3.
    Berners-lee, T., Hollenbach, J., Lu, K., Presbrey, J., Schraefel, M.: Tabulator redux: Browsing and writing linked data. In: Proc. WWW 2008 Workshop on Linked Data on the Web, vol 369 (2008)Google Scholar
  4. 4.
    Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American 284(5), 28–37 (2001)CrossRefGoogle Scholar
  5. 5.
    Broekstra, J., Kampman, A., Van Harmelen, F.: Sesame: A generic architecture for storing and querying RDF and RDF Schema. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 54–68. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  6. 6.
    Broekstra, J.: Storage, Querying and Inferencing for Semantic Web Languages. Ph.D. thesis, Vrije Universiteit (2005)Google Scholar
  7. 7.
    Broekstra, J., Kampman, A.: Inferencing and truth maintenance in RDF schema – exploring a naive practical approach. In: Workshop on Practical and Scalable Semantic Systems, PSSS (2003)Google Scholar
  8. 8.
    Bry, F., Linse, B., Furche, T., Ley, C., Eiter, T., Eisinger, N., Gottlob, G., Pichler, R., Wei, F.: Foundations of rule-based query answering. In: Antoniou, G., Aßmann, U., Baroglio, C., Decker, S., Henze, N., Patranjan, P.-L., Tolksdorf, R. (eds.) Reasoning Web. LNCS, vol. 4636, pp. 1–153. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  9. 9.
    De Kleer, J.: Choices without backtracking. In: Proceedings of AAAI 1984 (1984)Google Scholar
  10. 10.
    Dietrich, S.W.: Maintenance of Recursive Views. In: Encyclopedia of Database Systems, pp. 1674–1679. Springer, Heidelberg (2009)Google Scholar
  11. 11.
    Dowling, W., Gallier, J.H.: Linear-time algorithms for testing the satisfiability of propositional horn formulae. The Journal of Logic Programming 1(3) (1984)Google Scholar
  12. 12.
    Doyle, J.: Truth maintenance systems for problem solving. Tech. Rep. AI-TR-419, Dep. of Electrical Engineering and Computer Science of MIT (1978)Google Scholar
  13. 13.
    Doyle, J.: The ins and outs of reason maintenance. In: Proc. IJCAI 1983 (1983)Google Scholar
  14. 14.
    Doyle, J.: Reason maintenance and belief revision – Foundations vs. Coherence theories. Cambridge University Press, Cambridge (1992)Google Scholar
  15. 15.
    Guessoum, A., Lloyd, J.: Updating knowledge bases. New Generation Computing 8(1), 71–89 (1990)CrossRefzbMATHGoogle Scholar
  16. 16.
    Gupta, A., Mumick, I.S.: Maintenance of Materialized Views: Problems, Techniques, and Applications. Data Engineering Bulletin 18(2), 3–18 (1995)Google Scholar
  17. 17.
    Gupta, A., Mumick, I.S., Subrahmanian, V.S.: Maintaining views incrementally. SIGMOD Rec. 22, 157–166 (1993)CrossRefGoogle Scholar
  18. 18.
    Harrison, J.V., Dietrich, S.W.: Maintenance of materialized views in a deductive database: An update propagation approach. In: Workshop on Deductive Databases, JICSLP, pp. 56–65 (1992)Google Scholar
  19. 19.
    Hayes, P.: RDF semantics. Tech. rep., W3C (2004)Google Scholar
  20. 20.
    Hayes, P.J.: The frame problem and related problems in artificial intelligence. Tech. rep., Stanford, CA, USA (1971)Google Scholar
  21. 21.
    Klyne, G., Carroll, J.J.: Resource description framework (RDF): Concepts and abstract syntax. Tech. rep., W3C (2004)Google Scholar
  22. 22.
    Koons, R.: Defeasible reasoning. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Spring 2005)Google Scholar
  23. 23.
    Liu, L., Özsu, M.T. (eds.): Encyclopedia of Database Systems. Springer, Heidelberg (2009)zbMATHGoogle Scholar
  24. 24.
    Martins, J.P., Shapiro, S.C.: A model for belief revision. Artificial Intelligence 35 (1988)Google Scholar
  25. 25.
    McAllester, D.: On the complexity analysis of static analyses. J. ACM 49(4), 512–537 (2002)CrossRefzbMATHGoogle Scholar
  26. 26.
    McAllester, D.A.: Truth maintenance. In: AAAI 1990 (1990)Google Scholar
  27. 27.
    Motik, B., Grau, B.C., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 web ontology language – profiles. Tech. rep., W3C (2009)Google Scholar
  28. 28.
    Nebel, B.: Reasoning and revision in hybrid representation systems. Springer-Verlag New York, Inc., New York (1990)zbMATHGoogle Scholar
  29. 29.
    Schaffert, S., Eder, J., Grünwald, S., Kurz, T., Radulescu, M., Sint, R., Stroka, S.: KiWi–a platform for semantic social software. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyvönen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol. 5554, pp. 888–892. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  30. 30.
    Schaffert, S., Bry, F., Baumeister, J., Kiesel, M.: Semantic wikis. IEEE Software 25 (2008)Google Scholar
  31. 31.
    Sintek, M., Decker, S.: Triple – a query, inference, and transformation language for the semantic web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 364–378. Springer, Heidelberg (2002)Google Scholar
  32. 32.
    Staudt, M., Jarke, M.: Incremental Maintenance of Externally Materialized Views. In: Proc. 22th Int. Conf. VLDB, San Francisco, CA, USA (1996)Google Scholar
  33. 33.
    Ullman, J.D.: Principles of database and knowledge-base systems. Computer Science Press, Rockville (1989)Google Scholar
  34. 34.
    Val, A.D.: On the relation between the coherence and foundations theories of belief revision. In: Proc. 12th Nat. Conf. on AI. AAAI, Menlo Park (1994)Google Scholar
  35. 35.
    Volz, R.: Web Ontology Reasoning in Logic Databases. Ph.D. thesis, Universitaet Fridericiana zu Karlsruhe, TH (2004)Google Scholar
  36. 36.
    Volz, R., Staab, S., Motik, B.: Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases. In: Spaccapietra, S., Hwang, J., Jajodia, S., King, R., McLeod, D., Orlowska, M.E., Strous, L. (eds.) Journal on Data Semantics II. LNCS, vol. 3360, pp. 1–34. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  37. 37.
    W3C: OWL 2 web ontology language. Tech. rep., W3C (2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Jakub Kotowski
    • 1
  • François Bry
    • 1
  • Simon Brodt
    • 1
  1. 1.Institute for InformaticsUniversity of MunichGermany

Personalised recommendations