本体近似之旅：从非Horn到Horn

我们研究以非Horn描述逻辑（DL）（如$\mathcal{ALC}$）表述的本体在Horn DL（如$\mathcal{EL}$）中的完全近似。我们给出必然是无穷的具体近似方案，并观察到在$\mathcal{ELU}$到$\mathcal{EL}$的情形中有限近似往往在实践中存在，且当原本体为非循环时保证存在。相反，对于$\mathcal{ELU}_\bot$到$\mathcal{EL}_\bot$以及$\mathcal{ALC}$到$\mathcal{EL}_\bot$近似，这两者均不成立。我们还定义了一种面向本体中介查询的近似概念，将其与基于包含关系的近似相联系，并识别出保证存在有限近似的一种情形。