Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL_0
Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL_0
复制标题
描述逻辑中的近似：加权树自动机如何帮助定义 FL_0 中所需的概念比较度量
DOI：
10.1007/978-3-319-53733-7_1
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Pavlos Marantidis
中科院分区：
文献类型：
--
作者：
Franz Baader;Oliver Fernández Gil;Pavlos Marantidis
最近推出的方法宽松的查询回答，近似定义的概念，近似解决统一问题的描述逻辑有一个共同点，它们是基于使用的概念比较措施，连同一个阈值的建设。在本文中，我们将简要回顾这些方法，然后展示如何加权自动机工作在无限树可以用来构建可计算的概念比较措施，是等价不变的w.r.t.一般的Tboxes。这是在上述近似方法中采用这种措施的第一步。
Recently introduced approaches for relaxed query answering, approximately defining concepts, and approximately solving unification problems in Description Logics have in common that they are based on the use of concept comparison measures together with a threshold construction. In this paper, we will briefly review these approaches, and then show how weighted automata working on infinite trees can be used to construct computable concept comparison measures forthat are equivalence invariant w.r.t. general TBoxes. This is a first step towards employing such measures in the mentioned approximation approaches.
登录
查看更多内容
具有可展开术语的描述逻辑EL的相似性度量
DOI：
10.1109/incos.2013.77
发表时间：
2013
期刊：
2013 5th International Conference on Intelligent Networking and Collaborative Systems
影响因子：
--
作者：
B. Suntisrivaraporn
通讯作者：
B. Suntisrivaraporn
从自动机理论的角度来看 FL0 概念描述的相似性度量
DOI：
--
发表时间：
2015
期刊：
2015 6th International Conference of Information and Communication Technology for Embedded Systems (IC-ICTES)
影响因子：
--
作者：
Teeradaj Racharak;B. Suntisrivaraporn
通讯作者：
B. Suntisrivaraporn
模态逻辑和描述逻辑的统一性和可接受性问题的不可判定性
DOI：
--
发表时间：
2006
期刊：
TOCL
影响因子：
--
作者：
F. Wolter;M. Zakharyaschev
通讯作者：
M. Zakharyaschev
非标准推理
DOI：
--
发表时间：
2001
期刊：
影响因子：
--
作者：
Ralf Küsters
通讯作者：
Ralf Küsters
描述逻辑EL的统一
DOI：
--
发表时间：
2009
期刊：
Description Logics
影响因子：
--
作者：
F. Baader;Barbara Morawska
通讯作者：
Barbara Morawska