Classifying and resolving software product line redundancies using an ontological first-order logic rule based method | Publicación