MDA-based ontology development: a study case

In this paper, we present an experience to enable the integration of computational systems using the eXtensible Stylesheet Language Transformation (XSLT)-based approach for automatic generation of the Web Ontology Language (OWL) from a UML model developed at the medical domain. We discuss similar approaches to automatic transformation between a metamodel for OWL based on the Meta-Object Facility (MOF) and an associated UML profile. Although MDA-based techniques are promising for ontology development, there has not been practical study cases to demonstrate how this technology can be used in real scenarios. In our efforts to support the model-driven development of OWL ontologies from its Ontology UML Profile (OUP), we illustrate the axiomatic verification of the OUP-developed ontology extension with the use of Racer reasoner and Protégé.