Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes
Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes
复制标题
使用 ABox 的 ALC 本体的遗忘和均匀插值
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
R. Schmidt
中科院分区：
文献类型：
--
作者：
P. Koopmann;R. Schmidt
我们提出了一种方法来计算均匀插值的ALC本体与ABoxes。一致插值是本体的受限视图，其仅使用指定的符号集，但与原始本体共享该签名中的所有蕴涵。通过这种方式，它允许基于签名从本体中选择或删除信息，这在隐私，本体分析和本体重用方面具有应用。我们表明，一般来说，带有ABox的ALC本体的统一插值可能需要ABox中的选言语句或名词。然而，该方法的评价表明，在大多数实际情况下，均匀插值可以表示为一个经典的ALC本体。
We present a method to compute uniform interpolants of ALC-ontologies with ABoxes. Uniform interpolants are restricted views of ontologies that only use a specified set of symbols, but share all entailments in that signature with the original ontology. This way, it allows to select or remove information from an ontology based on a signature, which has applications in privacy, ontology analysis and ontology reuse. We show that in general, uniform interpolants of ALC-ontologies with ABoxes may require disjunctive statements or nominals in the ABox. An evaluation of the method suggests however, that in most practical cases uniform interpolants can be represented as a classical ALC-ontology.
实现 ALC TBox 的实用均匀插值和遗忘
DOI：
--
发表时间：
--
期刊：
--
影响因子：
--
作者：
Boris Konev (Co-Author)
通讯作者：
Boris Konev (Co-Author)