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.


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)CrossRefMATHGoogle 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)MATHGoogle 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)CrossRefMATHGoogle 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)MATHGoogle 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