Reasoning with rough description logics: An approximate concepts approach
Reasoning with rough description logics: An approximate concepts approach
复制标题
使用粗略描述逻辑进行推理：近似概念方法
DOI：
10.1016/j.ins.2008.10.021
复制
发表时间：
2008-10
影响因子：
8.1
通讯作者：
Wang, Ju
中科院分区：
文献类型：
--
作者：
Xiao, Bao;Tang, Suqin;Jiang, Yuncheng;Wang, Ju
分析了描述逻辑中不确定或不精确的知识表示和推理的研究现状和存在的问题。将近似概念引入到基于粗糙集理论的描述逻辑中，提出了一种新的基于近似概念的粗糙描述逻辑RDLAC(Rough Description Logic Based On Approach Concept)。给出了RDLACare的语法、语义和属性。证明了近似概念可满足性(肯定可满足性和可能可满足性)推理问题和近似概念粗包含推理问题W.r.t.RDLAC中的Rough TBox可以归结为(几乎)标准ALC中的概念可满足性推理问题(提供布尔概念构造器加上存在约束构造器和通用限制构造器的描述逻辑)。本文的工作为近似本体论提供了逻辑基础，为更具表现力的粗糙描述逻辑的推理算法提供了理论基础，包括近似概念、数量限制、命题、逆角色和角色层次。
The current research progresses and the existing problems of uncertain or imprecise knowledge representation and reasoning in description logics are analyzed in this paper. Approximate concepts are introduced to description logics based on rough set theory, and a kind of new rough description logic RDLAC(rough description logic based on approximate concepts) is proposed based on approximate concepts. The syntax, semantics and properties of the RDLACare given. It is proved that the approximate concept satisfiability (definitely satisfiability and possibly satisfiability) reasoning problem and approximate concepts rough subsumption reasoning problem w.r.t. rough TBox in RDLACmay be reduced to the concept satisfiability reasoning problem in (almost) standard ALC (the description logic that provides the Boolean concept constructors plus the existential and universal restriction constructors). The works of this paper provide logic foundations for approximate ontologies and theoretical foundations for reasoning algorithms of more expressive rough description logics including approximate concepts, number restrictions, nominals, inverse roles and role hierarchies.
登录
查看更多内容
影响因子：
14.4
作者：
Berardi, D;Calvanese, D;De Giacomo, G
通讯作者：
De Giacomo, G
DOI：
10.1360/jos170968
发表时间：
2006
期刊：
Journal of Software
影响因子：
--
作者：
Liu Yanhui;Xu Baowen;Lu Jian-jiang;Kang Da-zhou
通讯作者：
Liu Yanhui;Xu Baowen;Lu Jian-jiang;Kang Da-zhou
影响因子：
4.2
作者：
Dieter Fensel
通讯作者：
Dieter Fensel
DOI：
10.1360/crad20070805
发表时间：
2007-08
期刊：
Journal of Computer Research and Development
影响因子：
--
作者：
Jia Yuncheng;Tang Yong;Wang Ju;S. Yuming
通讯作者：
Jia Yuncheng;Tang Yong;Wang Ju;S. Yuming
DOI：
10.1007/978-3-319-99368-3
发表时间：
2018-10
期刊：
--
影响因子：
--
作者：
R. Efendi;Voni Apriana Dewi;Rahmadeni;Sri Basriati;Dadang Syarif
通讯作者：
R. Efendi;Voni Apriana Dewi;Rahmadeni;Sri Basriati;Dadang Syarif