An Ontology-Based Methodology for Integrating i* Variants