基于描述逻辑的特征模型

• 作者: 张乃孝 范少锋 赵新宇
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 描述逻辑 特征模型 一致性 RACER
• 年，卷（期）: 2007,（1）
• 页码范围: 21-25
• 页数: 5页
• 分类号: TP3
• 字数: 6105字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2007.01.005

摘要

由于特征模型缺乏严格语义基础,难以对模型进行一致性推理,无法保证模型的一致性,进而影响最终软件产品的质量.本文讨论了如何使用描述逻辑对特征模型进行形式化,给出了将特征模型转化为描述逻辑ALCQI知识库的算法,通过验证转化后的知识库的一致性得到所对应特征模型的一致性.并利用描述逻辑的推理机RACER对转换得到的知识库进行推理,自动完成特征模型的一致性检查,为特征模型的一致性检验提供一种方法,实践证明这种方法具有可靠性和高效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张乃孝	北京大学信息科学系	11	118	7.0	10.0
2	赵新宇	北京大学信息科学系	4	66	4.0	4.0
3	范少锋	北京大学信息科学系	11	38	3.0	6.0