Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases
Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases
复制标题
增量维护逻辑数据库中存储的本体的物化
DOI：
10.1007/978-3-540-30567-5_1
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
B. Motik
中科院分区：
文献类型：
--
作者：
R. Volz;Steffen Staab;B. Motik
本文提出了一种增量维护本体蕴含物化的技术。物化在于预先计算和存储一组隐式蕴涵，以便可以更有效地解决对本体的频繁和/或关键查询。物化产生的核心问题是当公理发生变化时它的维护，即。将显式公理的变化传播到存储的隐式蕴涵的过程。
当考虑在逻辑数据库中操作的支持规则的本体语言时，我们可以区分两种类型的变化。本体的改变通常会表现为逻辑程序规则的改变，而事实的改变通常会导致逻辑谓词外延的改变。后一种类型的更改的增量维护已在演绎数据库环境中进行了广泛研究，并且我们将[30]中提出的技术应用于我们的目的。然而，前一种类型的变化之前尚未得到解决。
在本文中，我们详细阐述了之前的论文 [32, 33]，这些论文扩展了 [30] 的方法来处理逻辑程序中的变化。我们的方法不限于特定的本体语言，而是通常适用于可以翻译为数据记录程序的任意本体语言，即 O-Telos、F-Logic [16] RDF(S) 或描述逻辑程序 [34]。
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].