Infinitely Valued Gödel Semantics for Expressive Description Logics
Infinitely Valued Gödel Semantics for Expressive Description Logics
复制标题
用于表达描述逻辑的无限价值的哥德尔语义
DOI：
10.25368/2022.217
复制
发表时间：
2015
影响因子：
3.6
通讯作者：
R. Peñaloza
中科院分区：
文献类型：
--
作者：
Stefan Borgwardt;R. Peñaloza
模糊描述逻辑联合收割机将经典描述逻辑与模糊逻辑的语义相结合，以表示和推理模糊知识。大多数使用区间[0; 1]的真值的FDL在存在否定构造函数和一般概念包含的情况下是不可判定的。一个例外是其语义基于无限值哥德尔t-范数（G）的FDL。我们扩展了以前的FDL G-ALC的可判定性结果，以处理复杂的角色包含，名义，逆角色，和合格的数量限制。我们的新方法是基于一个组合的已知crispification技术为基础的FDLs和一个自动机为基础的程序，在G-ALC的推理。
Fuzzy Description Logics (FDLs) combine classical Description Logics with the semantics of Fuzzy Logics in order to represent and reason with vague knowledge. Most FDLs using truth values from the interval [0; 1] have been shown to be undecidable in the presence of a negation constructor and general concept inclusions. One exception are those FDLs whose semantics is based on the infinitely valued Gödel t-norm (G). We extend previous decidability results for the FDL G-ALC to deal with complex role inclusions, nominals, inverse roles, and qualified number restrictions. Our novel approach is based on a combination of the known crispification technique for finitely valued FDLs and an automata-based procedure for reasoning in G-ALC.
影响因子：
14.4
作者：
Borgwardt, Stefan;Distel, Felix;Penaloza, Rafael
通讯作者：
Penaloza, Rafael