WebODE: An Integrated Workbench for Ontology Representation, Reasoning, and Exchange. - Óscar Corcho; Mariano Fernández-López; Asunción Gómez-Pérez; Óscar Vicente (EKAW, 2002)