支持数量约束的扩展模糊描述逻辑复杂性研究

• 作者: 康达周 徐宝文 李言辉 陆建江
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 模糊 描述逻辑 语义Web 数量约束 知识表示
• 年，卷（期）: 2006,（5）
• 所属期刊栏目: 模式识别与人工智能
• 页码范围: 968-975
• 页数: 8页
• 分类号: TP18
• 字数: 9573字
• 语种: 中文

摘要

扩展模糊描述逻辑EFALCN(extendedfuzzy attributive concept descriptionlanguage with complements and unqualified number restriction)是支持数量约束的描述逻辑ALCN的模糊扩展,但该逻辑的推理问题缺乏相应的算法和复杂性证明.提出EFALCN推理问题基于约束传播的Tableau算法,并证明该算法可在PSPACE(polynomial space)约束下执行.由ALCN(attributive concept descriptionlanguage with complements and unqualified number restriction)的推理问题可多项式时间归约到EFALCN推理问题,且ALCN的推理问题是PSPACE-complete问题.所以,EFALCN推理问题是PSPACE-hard问题.综上所述,EFALCN推理问题是PSPACE-complete问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李言辉	东南大学计算机科学与工程系	9	115	6.0	9.0
5	徐宝文	东南大学计算机科学与工程系	118	3034	31.0	51.0
9	陆建江	东南大学计算机科学与工程系	51	791	17.0	27.0