Decidability and complexity of threshold description logics induced by concept similarity measures
Decidability and complexity of threshold description logics induced by concept similarity measures
复制标题
由概念相似性度量引起的阈值描述逻辑的可判定性和复杂性
DOI：
10.1145/3019612.3019715
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Oliver Fernández Gil.
中科院分区：
文献类型：
--
作者：
Franz Baader;Oliver Fernández Gil.
在最近的一篇研究论文中，我们提出了轻量级描述逻辑(DL) εL的扩展，其中概念可以用近似的方式定义。为此，引入了分级隶属度函数的概念，它代替布尔隶属度值0或1产生区间[0,1]的隶属度。例如，阈值概念可以要求个体属于度至少为0.8的概念。阈值DL τε的推理；这种方法得到的L(m)当然取决于所采用的分级隶属函数。本文定义了一个特殊的这样的函数，称为deg，并在τε；L（deg）中确定了推理的精确复杂度。此外，它还展示了满足某些性质的概念相似度量（csm）如何用于定义分级隶属函数，但它没有研究诱导阈值dl τε；L（m ~）中推理的复杂性。在本文中，我们开始填补这一空白。特别地，我们证明了~的可计算性意味着τε的可决定性；L(m ~)，我们引入了一类csm，它们在诱导阈值dl中的推理与在τε；L（deg）中的推理具有相同的复杂性。
In a recent research paper, we have proposed an extension of the lightweight Description Logic (DL) εL in which concepts can be defined in an approximate way. To this purpose, the notion of a graded membership functionm, which instead of a Boolean membership value 0 or 1 yields a membership degree from the interval [0, 1], was introduced. Threshold concepts can then, for example, require that an individual belongs to a conceptCwith degree at least 0.8. Reasoning in the threshold DL τε;L(m) obtained this way of course depends on the employed graded membership functionm. The paper defines a specific such function, called deg, and determines the exact complexity of reasoning in τε;L(deg). In addition, it shows how concept similarity measures (CSMs) ∼ satisfying certain properties can be used to define graded membership functionsm∼, but it does not investigate the complexity of reasoning in the induced threshold DLs τε;L(m∼). In the present paper, we start filling this gap. In particular, we show that computability of ∼ implies decidability of τε;L(m∼), and we introduce a class of CSMs for which reasoning in the induced threshold DLs has the same complexity as in τε;L(deg).
登录
查看更多内容
具有可展开术语的描述逻辑EL的相似性度量
DOI：
10.1109/incos.2013.77
发表时间：
2013
期刊：
2013 5th International Conference on Intelligent Networking and Collaborative Systems
影响因子：
--
作者：
B. Suntisrivaraporn
通讯作者：
B. Suntisrivaraporn
基于相似性的宽松实例查询
DOI：
10.1016/j.jal.2015.01.002
发表时间：
2015
期刊：
J. Appl. Log.
影响因子：
--
作者：
Andreas Ecke;R. Peñaloza;Anni
通讯作者：
Anni
使用非循环 TBox 扩展描述逻辑 τEL(deg)
DOI：
10.25368/2022.226
发表时间：
2016
期刊：
Artif. Intell.
影响因子：
--
作者：
F. Baader;O. Gil
通讯作者：
O. Gil
计算具有存在限制的描述逻辑中最不常见的子使用者
影响因子：
5.5
作者：
F. Baader;Ralf Küsters;R. Molitor
通讯作者：
R. Molitor
使用非循环 TBox 扩展描述逻辑
DOI：
10.3233/978-1-61499-672-9-1096
发表时间：
2016
期刊：
Artif. Intell.
影响因子：
--
作者：
F. Baader;O. Gil
通讯作者：
O. Gil