Article,

Incrementally maintaining materializations of ontologies stored in logic databases

, , and .
Data Semantics II-LCNS, (2004)

Abstract

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 31 for our purpose. The former type of changes has, however, not been tackled before. In this article we elaborate on our previous papers 34,35, which extend the approach of 31 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 17 RDF(S), or Description Logic Programs 36.

Tags

Users

  • @fraktalek

Comments and Reviews