Incremental Maintenance of Materialized Ontologies

This paper discusses the incremental maintenance of materialized ontologies in a rule-enabled Semantic Web. Materialization allows to speed up query processing by explicating the implicit entailments which are sanctioned by the semantics of an ontology. The complexity of reasoning with the ontology is thereby shifted from query time to update time. We assume that materialization techniques will frequently be important to achieve a scalable Semantic Web, since read access to ontologies is predominant. Central to materialization are maintenance techniques that allow to incrementally update a materialization when changes occur.

[1]  Michael Kifer,et al.  Deductive and Object-Oriented Databases , 1991 .

[2]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[3]  Stefan Decker,et al.  TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web , 2002, SEMWEB.

[4]  Matthias Jarke,et al.  ConceptBase — A deductive object base for meta data management , 1995, Journal of Intelligent Information Systems.

[5]  Ian Horrocks,et al.  DAML+OIL is not Enough , 2001, SWWS.

[6]  Alon Y. Halevy,et al.  Queries Independent of Updates , 1993, VLDB.

[7]  P. Pandurang Nayak,et al.  Fast Context Switching in Real-Time Propositional Reasoning , 1997, AAAI/IAAI.

[8]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[9]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[10]  Krzysztof R. Apt,et al.  Maintenance of stratified databases viewed as a belief revision system , 1987, PODS.

[11]  Matthias Jarke,et al.  Incremental Maintenance of Externally Materialized Views , 1996, VLDB.

[12]  John V. Harrison,et al.  Maintenance of Materialized Views in a Deductive Database: An Update Propagation Approach , 1992, Workshop on Deductive Databases, JICSLP.

[13]  Kenneth A. Ross,et al.  Adapting materialized views after redefinitions , 1995, SIGMOD '95.

[14]  Volker Küchenhoff.  On the Efficient Computation of the Difference Between Concecutive Database States , 1991, DOOD.

[15]  V. S. Subrahmanian,et al.  Maintaining views incrementally , 1993, SIGMOD Conference.

[16]  J. Dekleer.  An assumption-based TMS , 1986 .

[17]  Ian Horrocks,et al.  Combining logic programs with description logics , 2003, The Web Conference.

[18]  Michael Kifer,et al.  FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine , 2000, Computational Logic.

[19]  Stefan Decker,et al.  A Query Service for RDF , 1998, QL.