Resumen de Logic-based support for ontology development in open environments
Ernesto Jiménez Ruiz 
Los beneficios del uso de la lógica para dar soporte a la creación y evolución de las ontologías han sido teóricamente probados, sin embargo, una mayor evidencia de su usabilidad en la práctica sigue siendo una de las piedras angulares de este campo.
En esta tesis hemos diseñado una serie de principios generales basados en formalismos lógicos. Estos principios han sido implementados reutilizando y adaptando la tecnología actual. Además, hemos desarrollado un conjunto de sistemas prototipo para dar soporte a los desarrolladores en las diferentes fases de la evolución de una ontología: reutilización, integración y colaboración/concurrencia. Estos prototipos han sido evaluados en varios casos de uso, mostrando los beneficios de usar los métodos y técnicas propuestos.
La tecnología desarrollada tiene como propósito el ser integrada como parte de las actividades del ciclo de vida de una ontología. Por tanto, el trabajo llevado a cabo en esta tesis es totalmente complementario a las metodologías y flujos de trabajo actuales para el desarrollo de ontologías.
