Feature Model Based on Description Logics
Fan Shao · 2007
It is rather difficult to perform consistency reasoning on feature models since they lack the formal semantics. Without guaranteed consistency of the feature models, the quality of the software products, based on the feature models, can not be guaranteed. In this paper, how to formalize feature models with Description Logics is investigated. Following the translation principles, each feature model can be formalized into an ALCQI knowledge base. Hence the consistency reasoning on the feature model turns into the consistency reasoning on the corresponding ALCQI knowledge base. Especially, the latter reasoning can be automatically performed via the description logic reasoner RACER. It has been proven that this approach can not only improve the reasoning efficiency but also enhance the reliability.