Procesamiento de ontologías inconsistentes en la Web semántica usando argumentación rebatible: reporte de progreso

La Web Semántica es una visión futura de la Web en la cual la información tiene un significado exacto definido en términos de ontologías. Una ontología define un vocabulario en términos de una jerarquía de conceptos e individuos que pertenecen a tales conceptos. Una ontología es anómala cuando es incoherente o inconsistente; estas situaciones se caracterizan por la presencia de definiciones de conceptos vacíos y por contradicciones lógicas, respectivamente. La argumentación rebatible es un tipo de razonamiento no-monótono que produce conclusiones tentativas en presencia de información incompleta y potencialmente contradictoria. En esta línea de investigación, exploramos la aplicación de la argumentación rebatible al procesamiento de ontologías inconsistentes en la Web Semántica. En este artículo, presentamos brevemente la problemática asociada, recapitulamos los resultados obtenidos y discutimos el trabajo en progreso. ; Eje: Agentes y Sistemas inteligentes ; Red de Universidades con Carreras en Informática (RedUNCI)