Abstract: 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.

Key words: Description logic, Feature model, Consistency, RACER