%0 Journal Article
%T 面向语义Web语义表示的模糊描述逻辑
%A 史忠植
%A 汤庸
%A 王驹
%A 蒋运承
%J -
%D 2007
%X 分析了语义Web语义表示理论的研究现状及存在的问题,提出了一种新的面向语义Web语义表示的模糊描述逻辑FSHOIQ(fuzzy SHOIQ).给出了FSHOIQ的语法和语义,提出了FSHOIQ的模糊Tableaux的概念,给出了一种基于模糊Tableaux的FSHOIQ的ABox约束下的可满足性推理算法,证明了可满足性推理算法的正确性.提出了FSHOIQ的TBox扩展和去除方法,并证明了FSHOIQ的TBox约束下的包含推理问题可以转化为ABox约束下的可满足性推理问题.FSHOIQ为语义Web表示和推理模糊知识提供了理论基础
%K 语义Web 描述逻辑 FSHOIQ(fuzzy SHOIQ) 语义表示
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20070601&flag=1