Feature model based on description logics | |
Fan, Shaofeng ; Zhang, Naixiao | |
2006 | |
英文摘要 | Intelligent interactive systems have begun to adopt knowledge and software engineering technologies in an attempt to effective development. Feature models have been widely used in knowledge and software engineering for the reuse purpose. However, due to the lack of a formal semantics of feature models, it is rather difficult to perform rigorous consistency reasoning on them. Without guaranteed consistency of feature models, the quality of interactive systems based on them, can not be guaranteed. In this paper, how to formalize feature models with Description Logics is investigated. Following the proposed translation principles, each feature model is formalized into an ALC QI knowledge base. Hence the consistency reasoning on the feature model turns into the consistency reasoning on the corresponding ALC QI knowledge base. Especially, the latter reasoning can be automatically performed via the description logic reasoner RACER. ? Springer-Verlag Berlin Heidelberg 2006.; EI; 0 |
语种 | 英语 |
内容类型 | 其他 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/315538] |
专题 | 信息科学技术学院 |
推荐引用方式 GB/T 7714 | Fan, Shaofeng,Zhang, Naixiao. Feature model based on description logics. 2006-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论