基于描述逻辑的特征模型

摘要：

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

关键词：描述逻辑、特征模型、一致性、RACER

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60473056

在线出版日期：2007-03-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：21-25