论文标题
进入本体学近似的旅程：从非霍恩到霍恩
A Journey into Ontology Approximation: From Non-Horn to Horn
论文作者
论文摘要
我们研究了在非霍恩描述逻辑（dl）中提出的本体的完整近似值，例如$ \ mathcal {alc} $在horn dl中，例如〜$ \ mathcal {el} $。我们提供的具体近似方案必然是无限的，并观察到，在$ \ \ \ \ \ \ \ \ \ {elu} $ - to-$ \ mathcal {el} $ case case case有限的近似值中往往存在，并且在原始本体学为acyclic时可以保证存在。相比之下，对于$ \ Mathcal {elu} _ \ bot $ - to - $ \ mathcal {el} _ \ bot $和$ \ Mathcal {alc} $ - to-natcal {alc} $ to- $ \ nathcal {elccal {elccal {el} _ \ bot $近似。我们还定义了针对本体学介导的查询定制的近似值的概念，将其连接到基于集合的近似值，并确定保证存在有限近似值的情况。
We study complete approximations of an ontology formulated in a non-Horn description logic (DL) such as $\mathcal{ALC}$ in a Horn DL such as~$\mathcal{EL}$. We provide concrete approximation schemes that are necessarily infinite and observe that in the $\mathcal{ELU}$-to-$\mathcal{EL}$ case finite approximations tend to exist in practice and are guaranteed to exist when the original ontology is acyclic. In contrast, neither of this is the case for $\mathcal{ELU}_\bot$-to-$\mathcal{EL}_\bot$ and for $\mathcal{ALC}$-to-$\mathcal{EL}_\bot$ approximations. We also define a notion of approximation tailored towards ontology-mediated querying, connect it to subsumption-based approximations, and identify a case where finite approximations are guaranteed to exist.
