| 支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G) |
| |
| 引用本文： | 王海龙,马宗民,严丽,程经纬. 支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G)[J]. 计算机学报, 2009, 32(8). DOI: 10.3724/SP.J.1016.2009.01511 |
| |
| 作者姓名： | 王海龙 马宗民 严丽 程经纬 |
| |
| 作者单位： | 1. 东北大学信息科学与工程学院计算机应用技术研究所,沈阳,110004
2. 东北大学软件学院软件工程研究所,沈阳,110004 |
| |
| 基金项目： | 国家自然科学基金，教育部新世纪优秀人才支持计划，教育部高等学校博士学科点专项科研基金(20050145024)资助.王海龙;1983年生;博士研究生;主要研究方向为描述逻辑与语义Web |
| |
| 摘 要： | 分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题,提出了一种新的模糊描述逻辑F-SHOIQ(G).F-SHOIQ(G)不仅能够表示模糊知识,而且能够表示含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息.首先,给出了模糊数据类型域的概念和模糊数据类型表示的一般形式,在此基础上,定义了F-SHOIQ(G)的语法、语义及相应的知识库,进而给出了基于模糊Tableaux的F-SHOIQ(G)概念的可满足性推理算法.其次,将经典描述逻辑中的推理结构(该结构将Tableaux扩展规则推理和数据类型推理相分离)用于F-SHOIQ(G)的推理问题,设计了相应的模糊数据类型推理机.最后,详细证明了F-SHOIQ(G)概念的可满足性推理问题是可判定的.在数据类型表示方面,F-SHOIQ(G)具备比FSHOIQ更强的表达能力和推理能力,为语义Web表示和推理模糊数据信息提供了理论基础.
|
| 关 键 词： | 模糊描述逻辑 模糊数据类型表示 Tableaux算法 自定义模糊数据类型谓词 |
Fuzzy Description Logic F-SHOIQ(G) Supporting Representation of Fuzzy Data Types |
| |
| WANG Hai-Long,MA Zong-Min,YAN Li,CHENG Jing-Wei. Fuzzy Description Logic F-SHOIQ(G) Supporting Representation of Fuzzy Data Types[J]. Chinese Journal of Computers, 2009, 32(8). DOI: 10.3724/SP.J.1016.2009.01511 |
| |
| Authors: | WANG Hai-Long MA Zong-Min YAN Li CHENG Jing-Wei |
| |
| Affiliation: | Institute of Computer Application Technology;College of Information Science and Engineering;Northeastern University;Shenyang 110004;Institute of Software Engineering;School of Software;Shenyang 110004 |
| |
| Abstract: | |
| |
| Keywords: | F-SHOIQ(G) |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
