Ontologic-aware synthesis of feature models