面向语义Web的直觉模糊粗描述逻辑

分析了面向语义Web的直觉模糊粗描述逻辑的研究现状和存在的问题，基于(I,T)-直觉模糊粗集理论将直觉模糊描述逻辑和粗描述逻辑进行了集成，即提出了一种新的直觉模糊粗描述逻辑．针对与本体语言OWL2等价的描述逻辑SROIQ(D)，对SROIQ(D)进行了扩充，具体提出了直觉模糊粗描述逻辑IFRSROIQ(D)，给出了IFRSROIQ(D)的语法、语义和性质，证明了IFRSROIQ(D)的推理问题（包括知识库可满足性、概念可满足性、概念包含、逻辑推导、ABox一致性推理等）都可以归约到基于完备格的描述逻辑L*-SROIQ(D)上对应的推理．