%0 Journal Article
%T 面向语义Web的直觉模糊粗描述逻辑
%A 蒋运承
%J 华南师范大学学报(自然科学版)
%P 0-0
%D 2013
%X 分析了面向语义Web的直觉模糊粗描述逻辑的研究现状和存在的问题，基于(I,T)-直觉模糊粗集理论将直觉模糊描述逻辑和粗描述逻辑进行了集成，即提出了一种新的直觉模糊粗描述逻辑．针对与本体语言OWL2等价的描述逻辑SROIQ(D)，对SROIQ(D)进行了扩充，具体提出了直觉模糊粗描述逻辑IFRSROIQ(D)，给出了IFRSROIQ(D)的语法、语义和性质，证明了IFRSROIQ(D)的推理问题（包括知识库可满足性、概念可满足性、概念包含、逻辑推导、ABox一致性推理等）都可以归约到基于完备格的描述逻辑L*-SROIQ(D)上对应的推理．
%K 描述逻辑
%K 模糊描述逻辑
%K 粗描述逻辑
%K (I
%K T)-直觉模糊粗集
%K 语义Web
%U http://journal.scnu.edu.cn:8080/jwk_xbzrb/CN/abstract/abstract3228.shtml