Extensión de Hermit para bases de conocimiento con metamodelado y aplicación al dominio de contabilidad

Abstract

Las ontologías son artefactos ampliamente utilizados para representar un dominio con sus conceptos más relevantes, las relaciones que existen entre dichos conceptos, y afirmaciones o axiomas acerca de los conceptos, relaciones y de las instancias o elementos del dominio. En particular, OWL es un lenguaje estándar de W3C para la representación de ontologías, basado en lógica descriptiva. Hermit es una implementación Java del algoritmo de razonamiento Tableau, que dada una ontología en OWL, devuelve si es consistente y también infiere nuevo conocimiento a partir del conocimiento declarado en la ontología. Sin embargo, ni OWL ni los razonadores existentes para OWL, como Hermit, están pensados para representar y asegurar la consistencia de ontologías con metamodelado. La idea de metamodelado consiste en que un concepto A (que puede tener instancias) es a su vez una instancia de otro concepto B, es decir que A es tratado como instancia y como concepto en la ontología. Este proyecto tiene como principal objetivo extender al razonador Hermit para que procese ontologías con metamodelado, en base a un enfoque que extiende a la lógica descriptiva SHIQ y al algoritmo Tableau con nuevas reglas para metamodelado. Además, en este proyecto se muestra la utilidad de esta extensión para una aplicación de contabilidad. Los objetivos planteados se cumplen a partir del desarrollo de nuevos componentes dentro de Hermit, y de una aplicación Java Swing que a través de una interfaz de usuario, hace uso de una ontología con metamodelado, y de la versión extendida de Hermit. Adicionalmente, fue necesario extender la OWL API para Java, e implementar algunas optimizaciones para mejorar el desempeño del razonador extendido.