fps ontologies AND Constraint Satisfaction Problem
Common descendants