Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases

  • Raphael Volz
  • Steffen Staab
  • Boris Motik
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3360)


This article presents a technique to incrementally maintain materializations of ontological entailments. Materialization consists in precomputing and storing a set of implicit entailments, such that frequent and/or crucial queries to the ontology can be solved more efficiently. The central problem that arises with materialization is its maintenance when axioms change, viz. the process of propagating changes in explicit axioms to the stored implicit entailments.

When considering rule-enabled ontology languages that are operationalized in logic databases, we can distinguish two types of changes. Changes to the ontology will typically manifest themselves in changes to the rules of the logic program, whereas changes to facts will typically lead to changes in the extensions of logical predicates. The incremental maintenance of the latter type of changes has been studied extensively in the deductive database context and we apply the technique proposed in [30] for our purpose. The former type of changes has, however, not been tackled before.

In this article we elaborate on our previous papers [32, 33], which extend the approach of [30] to deal with changes in the logic program. Our approach is not limited to a particular ontology language but can be generally applied to arbitrary ontology languages that can be translated to Datalog programs, i.e. such as O-Telos, F-Logic [16] RDF(S), or Description Logic Programs [34].


Logic Program Maintenance Program Ontology Language Deductive Database Logic Database 
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.
    Apt, K., Pugin, J.-M.: Maintenance of stratified databases viewed as belief revision system. In: Proc. of the 6th Symposium on Principles of Database Systems (PODS), San Diego, CA, USA, March 1987, pp. 136–145 (1987)Google Scholar
  2. 2.
    Bechhofer, S., Horrocks, I., Goble, C., Stevens, R.: OilEd: A reasonable ontology editor for the Semantic Web. In: Baader, F., Brewka, G., Eiter, T. (eds.) KI 2001. LNCS (LNAI), vol. 2174, pp. 396–408. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  3. 3.
    Bechhofer, S., Volz, R., Lord, P.: Cooking the Semantic Web with the OWL API. In: [10], pp. 659–675 (2003)Google Scholar
  4. 4.
    Berners-Lee, T.: CWM - closed world machine. Internet (2000),
  5. 5.
    Brickley, D., Guha, R.V.: RDF vocabulary description language 1.0: RDF Schema. W3C Working Draft, (October 10, 2003), October 2003. Internet:
  6. 6.
    de Kleer, J.: An assumption-based truth maintenance system. Artificial Intelligence 28, 127–162 (1986)CrossRefGoogle Scholar
  7. 7.
    Decker, S., Brickley, D., Saarela, J., Angele, J.: A query and inference service for RDF. In: QL 1998 - Query Languages Workshop (December 1998)Google Scholar
  8. 8.
    Decker, S., Erdmann, M., Fensel, D., Studer, R.: Ontobroker: Ontology based Access to Distributed and Semi-structured Information. In: Database Semantics: Semantic Issues in Multimedia Systems, pp. 351–369. Kluwer Academic, Dordrecht (1999)Google Scholar
  9. 9.
    Doyle, J.: A truth maintenance system. In: Webber, B., Nilsson, N.J. (eds.) Readings in Artifcial Intelligence, pp. 496–516. Morgan Kaufmann, Los Altos (1981)Google Scholar
  10. 10.
    Gupta, A., Mumick, I.S., Ross, K.A.: Adapting materialized views after redefinitions. In: Carey, M.J., Schneider, D.A. (eds.) Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, San Jose, California, May 22-25, pp. 211–222. ACM Press, New York (1995)CrossRefGoogle Scholar
  11. 11.
    Gupta, A., Mumick, I.S., Subrahmanian, V.S.: Maintaining views incrementally. In: Proceedings of the 1993 ACM SIGMOD international conference on Management of data, pp. 157–166. ACM Press, New York (1993)CrossRefGoogle Scholar
  12. 12.
    Harrison, J., Dietrich, S.: Maintenance of materialized views in a deductive database: An update propagation approach. In: Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming (JICSLP), Washington, D.C, November 1992, pp. 56–65 (1992)Google Scholar
  13. 13.
    Hayes, P.: RDF Semantics. W3C Working Draft (October 10, 2003), October 2003. Internet:
  14. 14.
    Heflin, J., Hendler, J., Luke, S.: SHOE: A knowledge representation language for internet applications. Technical Report CS-TR-4078, Institute for Advanced Computer Studies, University of Maryland (1999)Google Scholar
  15. 15.
    Jarke, M., Gallersdoerfer, R., Jeusfeld, M.A., Staudt, M.: ConceptBase - A Deductive Object Base for Meta Data Management. JIIS 4(2), 167–192 (1995)Google Scholar
  16. 16.
    Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM 42, 741–843 (1995)zbMATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    Kuchenhoff, V.: On the efficient computation of the difference betwen consecutive database states. In: Delobel, C., Masunaga, Y., Kifer, M. (eds.) DOOD 1991. LNCS, vol. 566, pp. 478–502. Springer, Heidelberg (1991)Google Scholar
  18. 18.
    Liu, L., Pu, C., Tang, W.: Continual queries for internet scale event-driven information delivery. IEEE TKDE 11(4) (1999)Google Scholar
  19. 19.
    Maedche, A., Motik, B., Stojanovic, L., Studer, R., Volz, R.: Managing multiple ontologies and ontology evolution in ontologging. In: Proc. of IIP-2002, Montreal, Canada (August 2002)Google Scholar
  20. 20.
    Maedche, A., Motik, B., Stojanovic, L., Studer, R., Volz, R.: An infrastructure for searching, reusing and evolving distributed ontologies. In: Proc. of WWW-2003, Budapest, Hungary (May 2003)Google Scholar
  21. 21.
    McGuinness, D.L., van Harmelen, F.: OWLWeb Ontology Language Overview. Technical report, World Wide Web Consortium (W3C) (August. 2003), Internet:
  22. 22.
    Motik, B., Maedche, A., Volz, R.: A conceptual modeling approach for semantics-driven enterprise applications. In: Proc. 1st Int’l Conf. on Ontologies, Databases and Application of Semantics (ODBASE-2002) (October 2002)Google Scholar
  23. 23.
    Nayak, P.P., Williams, B.C.: Fast context switching in real-time propositional reasoning. In: Senator, T., Buchanan, B. (eds.) Proceedings of the Fourteenth National Conference on Artificial Intelligence and the Ninth Innovative Applications of Artificial Intelligence Conference, Menlo Park, California, pp. 50–56. AAAI Press, Menlo Park (1998)Google Scholar
  24. 24.
    Ramakrishnan, R., Srivastava, D., Sudarshan, S., Seshadri, P.: The CORAL Deductive System. VLDB Journal: Very Large Data Bases 3(2), 161–210 (1994)CrossRefGoogle Scholar
  25. 25.
    De Roo, J.: Euler proof mechanism. Internet (2002),
  26. 26.
    Sagonas, K., Swift, T., Warren, D.S.: XSB as an efficient deductive database engine. In: Snodgrass, R.T., Winslett, M. (eds.) Proc. of the 1994 ACM SIGMOD Int. Conf. on Management of Data (SIGMOD 1994), pp. 442–453 (1994)Google Scholar
  27. 27.
    Sintek, M., Decker, S.: TRIPLE - an RDF query, inference and transformation language. In: Deductive Databases and Knowledge Management, DDLP (2001)Google Scholar
  28. 28.
    Spyns, P., Oberle, D., Volz, R., Zheng, J., Jarrar, M., Sure, Y., Studer, R., Meersman, R.: OntoWeb - A Semantic Web community portal. In: Proc. ofProc. Fourth International Conference on Practical Aspects of Knowledge Management (PAKM), Vienna, Austria, pp. 189–200 (2002)Google Scholar
  29. 29.
    Staudt, M., Jarke, M.: Incremental maintenance of externally materialized views. Technical Report AIB-95-13, RWTH Aachen (1995)Google Scholar
  30. 30.
    Staudt, M., Jarke, M.: Incremental maintenance of externally materialized views. In: Vijayaraman, T.M., Buchmann, A.P., Mohan, C., Sarda, N.L. (eds.) Proceedings of 22th International Conference on Very Large Data Bases VLDB 1996, Mumbai, Bombay, India, September 3-6, pp. 75–86. Morgan Kaufmann, San Francisco (1996)Google Scholar
  31. 31.
    Studer, R., Sure, Y., Volz, R.: Managing user focused access to distributed knowledge. Journal of Universal Computer Science (J.UCS) 8(6), 662–672 (2002)Google Scholar
  32. 32.
    Volz, R., Staab, S., Motik, B.: Incremental maintenance of dynamic datalog programs. In: [?] (2003)Google Scholar
  33. 33.
    Volz, R., Staab, S., Motik, B.: Incremental Maintenance of Materialized Ontologies. In: Meersman, R., Tari, Z., Schmidt, D.C. (eds.) CoopIS 2003, DOA 2003, and ODBASE 2003. LNCS, vol. 2888, pp. 707–724. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  34. 34.
    Raphael V.: Web Ontology Reasoning in Logic Databases. PhD thesis, Universitaet Fridericiana zu Karlsruhe (TH) (February 2004),

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Raphael Volz
    • 1
    • 2
  • Steffen Staab
    • 1
  • Boris Motik
    • 2
  1. 1.Institute AIFBUniversity of KarlsruheGermany
  2. 2.FZIUniversity of KarlsruheGermany

Personalised recommendations