面向语义Web语义表示的模糊描述逻辑

• 作者: 史忠植 汤庸 王驹 蒋运承
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 语义Web 描述逻辑 FSHOIQ(fuzzy SHOIQ) 语义表示
• 年，卷（期）: 2007,（6）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 1257-1269
• 页数: 13页
• 分类号: TP301
• 字数: 14503字
• 语种: 中文

摘要

分析了语义Web语义表示理论的研究现状及存在的问题,提出了一种新的面向语义Web语义表示的模糊描述逻辑FSHOIQ(fuzzy SHOIQ).给出了FSHOIQ的语法和语义,提出了FSHOIQ的模糊Tableaux的概念,给出了一种基于模糊Tableaux的FSHOIQ的ABox约束下的可满足性推理算法,证明了可满足性推理算法的正确性.提出了FSHOIQ的TBox扩展和去除方法,并证明了FSHOIQ的TBox约束下的包含推理问题可以转化为ABox约束下的可满足性推理问题.FSHOIQ为语义Web表示和推理模糊知识提供了理论基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	史忠植	中国科学院计算技术研究所	232	9166	52.0	89.0
2	王驹	广西师范大学计算机科学与信息工程学院	53	458	11.0	19.0
3	蒋运承	中山大学计算机科学系	44	591	15.0	23.0
5	汤庸	中山大学计算机科学系	95	1243	20.0	30.0