Método bi-fase para la conceptualización de ontologías basado en meta-modelos

Una ontologia proporciona una terminologia unificada, completa y coherente de un determinado dominio, Dado que distitnas ontologias tienen distintas necesidades de modelizacion y dado que los entornos software utilizan esquemas de modelizacion fijos y predeterminado, las aportaciones de esta Tesis son: 1,- Elaboracion de un metodo bi-fase de conceptualizacion flexible de ontologias. En la primera fase se especifica, se conceptualiza, se formaliza y se implementa el esquema de conceptualizacion que se va a seguir durante el desarrollo de la ontologia de dominio y, en la segunda fase, se conceptualiza e implementa la ontologia de dominio siguiendo el esquema descrito en la fase anterior. Para conceptualizar el esquema de conceptualizacion, en este trabajo se propone un metodo para elaborar meta-modelos conceptuales. Ademas, se ha elaborado un lenguaje formal para formalizar los meta-modelos llamado LBIR (Language for Building Intermediate Representations) con la misma expresividad. Utilizando el metodo propuesto en este trabajo, los modelos conceptuales obtenidos son explicitos o lo suficientemente precisos como para poder genera, con el software adecuado, la ontologia en un lenguaje computable. 2,- Construccion de un entorno tecnologico que da soporte al metodo propuesto: Ontology Design ENVIRONMENT (ODE). Este entorno automatiza la transformacion de un esquema de base de datos relacional sin perdida de expresividad; da soporte en la elaboracion del modelo conceptual de la ontologia de dominio, ayuda en la verficiacion de dicho modelo, y traduce la conceptualizacion de una ontologia de dominio al lenguaje Ontolingua.