|
软件学报 2007
面向语义web语义表示的模糊描述逻辑, PP. 1257-1269 Keywords: 语义web,描述逻辑,fshoiq(fuzzy,shoiq),语义表示 Abstract: 分析了语义web语义表示理论的研究现状及存在的问题,提出了一种新的面向语义web语义表示的模糊描述逻辑fshoiq(fuzzyshoiq).给出了fshoiq的语法和语义,提出了fshoiq的模糊tableaux的概念,给出了一种基于模糊tableaux的fshoiq的abox约束下的可满足性推理算法,证明了可满足性推理算法的正确性.提出了fshoiq的tbox扩展和去除方法,并证明了fshoiq的tbox约束下的包含推理问题可以转化为abox约束下的可满足性推理问题.fshoiq为语义web表示和推理模糊知识提供了理论基础.
|