SBVR to OWL 2 Mappings - An Automatable and Structural-Rooted Aproach

Abstract

La amplia aplicabilidad del mapeo de reglas de negocio en sentencias ontológicas ha sido recientemente reconocida. Algunas de las aplicaciones más importantes son: (1) la utilización de razonadores ontológicos para probar la consistencia de la información del dominio del negocio, (2) la generación de una ontología destinada a ser utilizada en la etapa de análisis del proceso de desarrollo de software, y (3) la posibilidad de encapsular la especificación declarativa del conocimiento del negocio en un sistema de información mediante la implementación de una ontología. El lenguaje denominado Semantics of Business Vocabulary and Business Rules (SBVR) brinda soporte a tal enfoque al proveer al experto del negocio una forma lingüistica de describir semánticamente los conceptos y especificar las reglas de negocio, en forma independiente al diseño del sistema de información. Aunque trabajos previos han presentado algunas propuestas, resta definir un enfoque exhaustivo y automatizable de tales mapeos. Este trabajo presenta un conjunto amplio y detallado de transformaciones que permiten la generación automatizable de una ontología implementada en OWL 2, partiendo de la especificación SBVR del dominio del negocio. Tales transformaciones están basadas en la especificación estructural de ambos estándars, y son descriptas mediante un caso de estudio. Se ha realizado un ejemplo real de validación, abordando la factibilidad de los mapeos mediante la evalución de la calidad de la ontología resultante.

Wide applicability of mapping business rules expressions to ontology statements have already been recognized. Some of the most important applications are: (1) using of ontology reasoners to prove the consistency of business domain information, (2) generation of an ontology intended to be used in the analysis stage of a software development process, and (3) the possibility of encapsulate the declarative specication of business knowledge into information software systems by means of an implemented ontology. The Semantics of Business Vocabulary and Business Rules (SBVR) supports that approach by providing business people with a linguistic way to semantically describe business concepts and specify business rules in an independent way of any information system design. Previous work have presented some proposals but an exhaustive and automatable approach for them still is lacking. This work presents a broad and detailed set of transformations that allows the automatable generation of an OWL 2 ontology from the SBVR specications of a business domain. Such transformations are rooted on the structural specication of both standards and are depicted through a case study. A real case validation example was performed, approaching the feasibility of the mappings by the quality assessment of the developed ontology.