面向语义Web语义表示的模糊描述逻辑 |
| |
引用本文: | 蒋运承,史忠植,汤庸,王驹.面向语义Web语义表示的模糊描述逻辑[J].软件学报,2007,18(6):1257-1269. |
| |
作者姓名: | 蒋运承 史忠植 汤庸 王驹 |
| |
作者单位: | 中山大学,计算机科学系,广东,广州,510275;广西师范大学,计算机科学与信息工程学院,广西,桂林,541004;中国科学院,计算技术研究所,北京,100080;中山大学,计算机科学系,广东,广州,510275;广西师范大学,计算机科学与信息工程学院,广西,桂林,541004 |
| |
基金项目: | 国家自然科学基金;国家重点基础研究发展计划(973计划);广东省自然科学基金;教育部跨世纪优秀人才培养计划;广西自治区青年科学基金 |
| |
摘 要: | 分析了语义Web语义表示理论的研究现状及存在的问题,提出了一种新的面向语义Web语义表示的模糊描述逻辑FSHOIQ(fuzzy SHOIQ).给出了FSHOIQ的语法和语义,提出了FSHOIQ的模糊Tableaux的概念,给出了一种基于模糊Tableaux的FSHOIQ的ABox约束下的可满足性推理算法,证明了可满足性推理算法的正确性.提出了FSHOIQ的TBox扩展和去除方法,并证明了FSHOIQ的TBox约束下的包含推理问题可以转化为ABox约束下的可满足性推理问题.FSHOIQ为语义Web表示和推理模糊知识提供了理论基础.
|
关 键 词: | 语义Web 描述逻辑 FSHOIQ(fuzzy SHOIQ) 语义表示 |
收稿时间: | 2006-07-10 |
修稿时间: | 2006-07-102006-11-14 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|