面向语义Web的直觉模糊粗描述逻辑(英文)  

Very Expressive Intuitionistic Fuzzy Rough Description Logics for the Semantic Web

作　　者：蒋运承[1] 

机构地区：[1]华南师范大学计算机学院,广东广州510631

出　　处：《华南师范大学学报（自然科学版）》2013年第6期42-55,共14页Journal of South China Normal University(Natural Science Edition)

基　　金：国家自然科学基金项目(61272066);教育部新世纪优秀人才支持计划项目(NCET-12-0644);广东省自然科学基金项目(S2012030006242,10151063101000031)

摘　　要：分析了面向语义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.

关 键 词：描述逻辑 模糊描述逻辑 粗描述逻辑 (I T)-直觉模糊粗集 语义WEB 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]