A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases
[chapter]
2005
Lecture Notes in Computer Science
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
doi:10.1007/978-3-540-30567-5_1
fatcat:ocy7flfibndapbkge6u6wy67xi