作　　者： ;

机构地区： 华南师范大学计算机学院

出　　处： 《华南师范大学学报（自然科学版）》 2013年第6期42-55,共14页

摘　　要： 分析了面向语义Web的直觉模糊粗描述逻辑的研究现状和存在的问题,基于(",#)-直觉模糊粗集理论将直觉模糊描述逻辑和粗描述逻辑进行了集成,即提出了一种新的直觉模糊粗描述逻辑.针对与本体语言OWL 2等价的描述逻辑SROIQ(D),对SROIQ(D)进行了扩充,提出了直觉模糊粗描述逻辑IFRSROIQ(D),给出了IFRSROIQ(D)的语法、语义和性质,证明了IFRSROIQ(D)的推理问题(包括知识库可满足性、概念可满足性、概念包含、逻辑推导、ABox一致性推理等)可以归约到基于完备格的描述逻辑L*-SROIQ(D)上对应的推理. The state-of-the-art and some existing problems of intuitionistic fuzzy rough Description Logics （DLs） for the Se- mantic Web are analyzed. An integration between the theories of intuitionistic fuzzy DLs and rough DLs, i. e. , intuitionistic fuzzy rough DLs, has been provided based on （I, T）-intuitionistic fuzzy rough set theory. Concretely, the intuitionistic fuzzy rough DL IFRSROIQ（D） is presented, which is the extension of the expressive DL SROIQ（D） behind OWL 2. It is proved that the reasoning tasks （knowledge base satisfiability, concept satisfiability, subsumption, logical consequence, ABox consistency, BTCB, and BSB reasoning） in the intuitionistic fuzzy rough DL IFRSROIQ（D） may be reduced to the corresponding reasoning in the fuzzy DL over complete lattices L＊-SROIQ（D）, respectively.

关 键 词： 描述逻辑 模糊描述逻辑 粗描述逻辑 直觉模糊粗集 语义

领　　域： [自动化与计算机技术] [自动化与计算机技术]