%0 Journal Article
%T 支持数量约束的扩展模糊描述逻辑复杂性研究
%A 李言辉？
%A 徐宝文？
%A 陆建江？
%A 康达周？
%J 软件学报
%P 968-975
%D 2006
%X 扩展模糊描述逻辑efalcn(extendedfuzzyattributiveconceptdescriptionlanguagewithcomplementsandunqualifiednumberrestriction)是支持数量约束的描述逻辑alcn的模糊扩展,但该逻辑的推理问题缺乏相应的算法和复杂性证明.提出efalcn推理问题基于约束传播的tableau算法,并证明该算法可在pspace(polynomialspace)约束下执行.由alcn(attributiveconceptdescriptionlanguagewithcomplementsandunqualifiednumberrestriction)的推理问题可多项式时间归约到efalcn推理问题,且alcn的推理问题是pspace-complete问题.所以,efalcn推理问题是pspace-hard问题.综上所述,efalcn推理问题是pspace-complete问题.
%K 模糊
%K 描述逻辑
%K 语义web
%K 数量约束
%K 知识表示
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20060503&flag=1