Verifying Ontology Requirements with SWIP - SUAREZ DE FIGUEROA BAONZA, M. CARMEN (Poster In Proceedings Of The 18th International Conference On Knowledge Engineering And Knowledge Management (Ekaw 2012), 2012)