Skip to main content
SpringerLink
Log in

Reasoning as Axioms Change

Incremental View Maintenance Reconsidered

  • Conference paper
Web Reasoning and Rule Systems (RR 2011)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 6902))

Included in the following conference series:

Abstract

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.

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. 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. 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. 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. Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American 284(5), 28–37 (2001)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  6. Broekstra, J.: Storage, Querying and Inferencing for Semantic Web Languages. Ph.D. thesis, Vrije Universiteit (2005)

    Google Scholar 

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

    Chapter  Google Scholar 

  9. De Kleer, J.: Choices without backtracking. In: Proceedings of AAAI 1984 (1984)

    Google Scholar 

  10. Dietrich, S.W.: Maintenance of Recursive Views. In: Encyclopedia of Database Systems, pp. 1674–1679. Springer, Heidelberg (2009)

    Google Scholar 

  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. 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. Doyle, J.: The ins and outs of reason maintenance. In: Proc. IJCAI 1983 (1983)

    Google Scholar 

  14. Doyle, J.: Reason maintenance and belief revision – Foundations vs. Coherence theories. Cambridge University Press, Cambridge (1992)

    Google Scholar 

  15. Guessoum, A., Lloyd, J.: Updating knowledge bases. New Generation Computing 8(1), 71–89 (1990)

    Article  MATH  Google Scholar 

  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. Gupta, A., Mumick, I.S., Subrahmanian, V.S.: Maintaining views incrementally. SIGMOD Rec. 22, 157–166 (1993)

    Article  Google Scholar 

  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. Hayes, P.: RDF semantics. Tech. rep., W3C (2004)

    Google Scholar 

  20. Hayes, P.J.: The frame problem and related problems in artificial intelligence. Tech. rep., Stanford, CA, USA (1971)

    Google Scholar 

  21. Klyne, G., Carroll, J.J.: Resource description framework (RDF): Concepts and abstract syntax. Tech. rep., W3C (2004)

    Google Scholar 

  22. Koons, R.: Defeasible reasoning. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Spring 2005)

    Google Scholar 

  23. Liu, L., Özsu, M.T. (eds.): Encyclopedia of Database Systems. Springer, Heidelberg (2009)

    MATH  Google Scholar 

  24. Martins, J.P., Shapiro, S.C.: A model for belief revision. Artificial Intelligence 35 (1988)

    Google Scholar 

  25. McAllester, D.: On the complexity analysis of static analyses. J. ACM 49(4), 512–537 (2002)

    Article  MATH  Google Scholar 

  26. McAllester, D.A.: Truth maintenance. In: AAAI 1990 (1990)

    Google Scholar 

  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. Nebel, B.: Reasoning and revision in hybrid representation systems. Springer-Verlag New York, Inc., New York (1990)

    MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  30. Schaffert, S., Bry, F., Baumeister, J., Kiesel, M.: Semantic wikis. IEEE Software 25 (2008)

    Google Scholar 

  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. Staudt, M., Jarke, M.: Incremental Maintenance of Externally Materialized Views. In: Proc. 22th Int. Conf. VLDB, San Francisco, CA, USA (1996)

    Google Scholar 

  33. Ullman, J.D.: Principles of database and knowledge-base systems. Computer Science Press, Rockville (1989)

    Google Scholar 

  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. Volz, R.: Web Ontology Reasoning in Logic Databases. Ph.D. thesis, Universitaet Fridericiana zu Karlsruhe, TH (2004)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  37. W3C: OWL 2 web ontology language. Tech. rep., W3C (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Informatics, University of Munich, Germany

    Jakub Kotowski, François Bry & Simon Brodt

Authors
  1. Jakub Kotowski
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. François Bry
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Simon Brodt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Karlsruhe Institute of Technology, Institute AIFB, Karlsruhe, 76128, Germany

    Sebastian Rudolph

  2. Computer Science Department, Universidad de Chile, Blanco Enclada, 2120, Santiago, Chile

    Claudio Gutierrez

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kotowski, J., Bry, F., Brodt, S. (2011). Reasoning as Axioms Change. In: Rudolph, S., Gutierrez, C. (eds) Web Reasoning and Rule Systems. RR 2011. Lecture Notes in Computer Science, vol 6902. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23580-1_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-23580-1_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-23579-5

  • Online ISBN: 978-3-642-23580-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation