面向EL+本体高效公理定位
计算机科学中的逻辑
2015-03-31 v1
摘要
描述逻辑(DLs)的EL族近年来成为关注焦点。一方面，这些DL可处理但表达力相当弱；另一方面，它们可用于设计不同类别的本体，最著名的是医学领域本体。不幸的是，构建本体易出错。因此，概念间可推得的包含关系可能是非预期的。近年来，公理定位(axiom pinpointing)问题被研究，旨在提供解释非预期包含关系的极小公理集。对于EL和EL+的具体情况，最有效方法包括将问题编码为命题逻辑，具体为Horn公式，随后用专用算法分析。本文基于此前期工作，但利用了命题领域中极小公理集与极小不可满足子公式之间的重要关系。进而，该关系允许将命题领域大量近期工作应用于EL及其变体的公理定位具体案例。从实践角度看，本文描述的算法通常比EL族DLs公理定位的当前最优方法高效数个数量级。
引用
@article{arxiv.1503.08454,
title = {Towards Efficient Axiom Pinpointing of EL+ Ontologies},
author = {M. Fareed Arif and Joao Marques-Silva},
journal= {arXiv preprint arXiv:1503.08454},
year = {2015}
}