Abstract
Software product Line (SPL) is an emerging methodology for developing software products. A successful software product is highly dependent on the validity of a SPL. Therefore, validation is a significant process within SPL. In this paper, inconsistency detection is investigated as operation for validating SPL. Intelligent rules are formulated detecting inconsistency based on deducing the results from predefined cases. First, variability is modeled using First Order Logic (FOL) predicates as a prerequisite for inconsistency detection. Later, inconsistency is categorized in three groups. For each group a general form is formulated that can coffer all possible cases. Finally, an intelligent rule (based on FOL) is illustrated for implementing each possibility. As results, all cases of inconsistency in the domain-engineering process are defined.