Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey
复制标题
DOI：
10.1007/978-3-319-49493-7_2
复制
发表时间：
2016-09
期刊：
影响因子：
--
通讯作者：
E. Botoeva;B. Konev;C. Lutz;V. Ryzhikov;F. Wolter;M. Zakharyaschev
中科院分区：
文献类型：
--
作者：
E. Botoeva;B. Konev;C. Lutz;V. Ryzhikov;F. Wolter;M. Zakharyaschev
一个本体是否可以安全地被另一个可能更简单的本体替换的问题是许多本体工程和维护任务的基础。例如，它支持本体版本化、本体模块化、遗忘和知识交换。“安全替换”的含义取决于本体的预期应用。例如，如果它被用来查询数据，那么任何相关的本体中介查询的答案应该在任何相关的数据集上都是相同的;相反，如果本体被用于概念推理，那么概念表达式之间的必然包含应该一致。这就产生了不同的概念，如查询不可分离性和概念不可分离性，推广相应的保守扩展的概念。在这一章中，我们调查结果的描述逻辑本体的背景下，各种概念的不可分割性，讨论他们的应用，有用的模型理论的表征，算法确定是否两个本体是不可分割的（有时，计算它们之间的差异，如果它们不是），和计算复杂性的这个问题。
The question whether an ontology can safely be replaced by another, possibly simpler, one is fundamental for many ontology engineering and maintenance tasks. It underpins, for example, ontology versioning, ontology modularization, forgetting, and knowledge exchange. What ‘safe replacement’ means depends on the intended application of the ontology. If, for example, it is used to query data, then the answers to any relevant ontology-mediated query should be the same over any relevant data set; if, in contrast, the ontology is used for conceptual reasoning, then the entailed subsumptions between concept expressions should coincide. This gives rise to different notions of ontologyinseparabilitysuch as query inseparability and concept inseparability, which generalize corresponding notions of conservative extensions. In this chapter, we survey results on various notions of inseparability in the context of description logic ontologies, discussing their applications, useful model-theoretic characterizations, algorithms for determining whether two ontologies are inseparable (and, sometimes, for computing the difference between them if they are not), and the computational complexity of this problem.