面向语义Web的直觉模糊粗描述逻辑 |
| |
引用本文: | 蒋运承. 面向语义Web的直觉模糊粗描述逻辑[J]. 华南师范大学学报(自然科学版), 2013, 45(6). |
| |
作者姓名: | 蒋运承 |
| |
作者单位: | 1.华南师范大学计算机学院 |
| |
基金项目: | 国家自然科学基金项目;教育部新世纪优秀人才支持计划项目;广东省自然科学基金项目;广东省自然科学基金项目 |
| |
摘 要: | 分析了面向语义Web的直觉模糊粗描述逻辑的研究现状和存在的问题,基于(I, T)-直觉模糊粗集理论将直觉模糊描述逻辑和粗描述逻辑进行了集成,即提出了一种新的直觉模糊粗描述逻辑.针对与本体语言OWL 2等价的描述逻辑SROIQ(D),对SROIQ(D)进行了扩充,具体提出了直觉模糊粗描述逻辑IFRSROIQ(D),给出了IFRSROIQ(D)的语法、语义和性质,证明了IFRSROIQ(D)的推理问题(包括知识库可满足性、概念可满足性、概念包含、逻辑推导、ABox一致性推理等)都可以归约到基于完备格的描述逻辑L*-SROIQ(D)上对应的推理.
|
关 键 词: | 语义Web |
收稿时间: | 2013-09-26 |
Very Expressive Intuitionistic Fuzzy Rough Description Logics for the Semantic Web |
| |
Abstract: | |
| |
Keywords: | semantic Web |
|
| 点击此处可从《华南师范大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《华南师范大学学报(自然科学版)》下载全文 |