Lenguajes para intercambio de reglas en la web semántica

Abstract

El objetivo general de la investigación es la representación y el uso del conocimiento en sistemas computacionales, para lo cual es necesario desarrollar métodos eficientes para la representación, y mecanismos de razonamiento confiables que permitan su procesamiento. Para ser eficiente, la representación del conocimiento debe ser a la vez compacta y comprensible. Para ser confiable, el mecanismo de razonamiento debe no sólo ser exacto sino también intuitivo y computacionalmente tratable a la vez. El estudio de los formalismos que tienen estos objetivos aparentemente contradictorios involucra aspectos tantos teóricos como tecnológicos. Actualmente surge un renovado inter´es en estos temas debido a la necesidad emergente de compartir, actualizar y combinar el conocimiento de sistemas computacionales pre existentes.