%0 Journal Article
%T 支持术语公理约束的扩展模糊描述逻辑推理
%A 康达周
%A 徐宝文
%A 李言辉
%A 陆建江
%J -
%D 2007
%X 扩展模糊描述逻辑是对描述逻辑的一种模糊扩展,支持对复杂模糊知识的表示和推理,但该逻辑缺乏支持术语公理约束的推理算法.提出扩展模糊描述逻辑EFALCR+(extended fuzzy attributive concept description language with complements and transitive roles)的受限TBox(terminological box)描述术语公理,给出受限TBox约束下的EFALCR+推理算法,并对该算法进行优化,证明优化后的算法是正确完备的,时间复杂性不超过指数,最后证明受限TBox约束下的EFALCR+推理问题是指数时间完全问题.优化算法的最坏时间复杂性已达到该问题推理算法的复杂度下界,是实现术语公理约束下模糊知识库推理的有效算法
%K 描述逻辑 模糊 Tbox(terminological box) 推理 语义Web 知识表示
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20070702&flag=1