| 面向语义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 |
|
| 点击此处可从《华南师范大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《华南师范大学学报(自然科学版)》下载免费的PDF全文 |
