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