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

被引：35

作者：

蒋运承 ^{[1
]}

史忠植 ^{[2
]}

汤庸 ^{[1
]}

王驹 ^{[3
]}

机构：

[1] 中国科学院计算技术研究所

[2] 不详

来源：

软件学报 | 2007年 / 06期

关键词：

语义Web; 描述逻辑; FSHOIQ(fuzzy SHOIQ); 语义表示;

D O I：

暂无

中图分类号：

TP301.6 [算法理论];

学科分类号：

摘要：

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

引用

页码：1257 / 1269

页数：13