Extending the Description Logic τEL(deg) with Acyclic TBoxes
Extending the Description Logic τEL(deg) with Acyclic TBoxes
复制标题
使用非循环 TBox 扩展描述逻辑 τEL(deg)
DOI：
10.25368/2022.226
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
O. Gil
中科院分区：
文献类型：
--
作者：
F. Baader;O. Gil
在以前的论文中，我们已经介绍了一个扩展的轻量级描述逻辑EL，使我们能够以近似的方式定义概念。为此，我们定义了一个分级隶属函数deg，它为每个个体和概念产生一个区间[0; 1]中的数字，表示个体属于概念的程度。阈值概念C~t对于~ 2 ∈ {<，≤，>，≥}则收集属于C的度为~ t的所有个体。然后，我们研究了推理的复杂性的描述逻辑τEL（度），这是从EL通过添加这样的阈值概念。在本文中，我们扩展这些结果，这是推理没有TBoxes，推理w.r.t.的情况下得到的。非循环TBox。令人惊讶的是，这并不像预期的那么容易。一方面，我们必须非常小心地定义非循环的TBox，这样它们仍然只是引入了复杂概念的缩写，因此可以展开。另一方面，事实证明，与EL的情况相反，将非循环TBox添加到τEL（deg）至少在多项式层次的一个级别上增加了推理的复杂性。
In a previous paper, we have introduced an extension of the lightweight Description Logic EL that allows us to define concepts in an approximate way. For this purpose, we have defined a graded membership function deg, which for each individual and concept yields a number in the interval [0; 1] expressing the degree to which the individual belongs to the concept. Threshold concepts C~t for ~ 2 ∈ {<, ≤, >, ≥} then collect all the individuals that belong to C with degree ~ t. We have then investigated the complexity of reasoning in the Description Logic τEL(deg), which is obtained from EL by adding such threshold concepts. In the present paper, we extend these results, which were obtained for reasoning without TBoxes, to the case of reasoning w.r.t. acyclic TBoxes. Surprisingly, this is not as easy as might have been expected. On the one hand, one must be quite careful to define acyclic TBoxes such that they still just introduce abbreviations for complex concepts, and thus can be unfolded. On the other hand, it turns out that, in contrast to the case of EL, adding acyclic TBoxes to τEL(deg) increases the complexity of reasoning by at least on level of the polynomial hierarchy.
影响因子：
14.4
作者：
Borgwardt, Stefan;Distel, Felix;Penaloza, Rafael
通讯作者：
Penaloza, Rafael