Fusionando ontologías mediante razonadores automáticos

imagen de Amsterdam utilizada en la página de los proceedings de Ontose 2009

La contribución que hemos presentado en el Workshop on Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science (celebrado en Amsterdam este año) titulada On the Use of Automated Reasoning Systems in Ontology Integration cierra la aplicación de la definición formal de ontología robusta que presentamos en el congreso EUROCAST 2005. De esta forma, hemos justificado plenamente que se puede especificar, en términos de lógica computacional, una definición práctica de ontología estable, que se puede determinar con métodos automáticos, y sobre la que se pueden considerar las gestiones usuales de mantenimiento de ontologías (extensión –bottom-up y top-downrevisión y fusión).