Metodologías y herramientas para el diseño conceptual con el soporte de razonamiento

Abstract

Esta línea de investigación se desarrolla en forma colaborativa entre docentes- investigadores de la Universidad Nacional del Comahue y de la Universidad Nacional del Sur, en el marco de proyectos de investigación financiados por las universidades antes mencionadas. El objetivo general del trabajo de investigación es definir metodologías para el soporte a la ingeniería ontológica. El énfasis está puesto en integrar las características intuitivas inherentes al modelado conceptual con los sistemas lógicos y gráficos en ambientes de desarrollo. Se pretende trabajar en algoritmos de layout gráfico de ontologías, incorporación de resultados deducibles y su adaptación a nuevas arquitecturas de sistemas. De esta forma, se podrán visualizar diagramas obtenidos a partir de deducciones, cuya complejidad dependerá de la expresividad del lenguaje y del sistema de razonamiento subyacente.