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 este trabajo de investigación se explora la aplicación de la argumentación rebatible al procesamiento de ontologías inconsistentes en la Web Semántica. En este artículo se presenta brevemente la problemática asociada, se recapitulan los resultados obtenidos y se discute el trabajo en progreso.