Logic-based support for ontology development in open environments
- Autores: Ernesto Jiménez Ruiz
- Directores de la Tesis: Rafael Berlanga (dir. tes.), Bernardo Cuenca Grau (dir. tes.)
- Lectura: En la Universitat Jaume I ( España ) en 2010
- Idioma: inglés
- ISBN: 9788469363430
- Tribunal Calificador de la Tesis: Oscar Pastor López (presid.), Ismael Sanz Blasco (secret.), Sven Casteleyn (voc.), Eduardo Mena Nieto (voc.), María José Aramburu Cabo (voc.)
- Materias:
- Enlaces
- Tesis en acceso abierto en: TDX
- Resumen
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.
