%0 Journal Article
%T 面向语义Web语义表示的模糊描述逻辑
%A 蒋运承
%A 史忠植
%A 汤庸
%A 王驹
%J 软件学报
%D 2007
%I 
%X 分析了语义Web语义表示理论的研究现状及存在的问题,提出了一种新的面向语义Web语义表示的模糊描述逻辑FSHOIQ(fuzzy SHOIQ).给出了FSHOIQ的语法和语义,提出了FSHOIQ的模糊Tableaux的概念,给出了一种基于模糊Tableaux的FSHOIQ的ABox约束下的可满足性推理算法,证明了可满足性推理算法的正确性.提出了FSHOIQ的TBox扩展和去除方法,并证明了FSHOIQ的TBox约束下的包含推理问题可以转化为ABox约束下的可满足性推理问题.FSHOIQ为语义Web表示和推理模糊知识提供了理论基础.
%K 语义Web
%K 描述逻辑
%K 语义表示
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=E8C0D195AE8383D4&yid=A732AF04DDA03BB3&vid=13553B2D12F347E8&iid=B31275AF3241DB2D&sid=FD947B5A26542F64&eid=3ED1EAB217774597&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=20