Ontologías, Reglas, Inconsistencias y Argumentación Rebatible en la Web Semántica

SERGIO GÓMEZ; CARLOS IVÁN CHESÑEVAR; GUILLERMO SIMARI,

Calafate, Argentina

Workshop; Workshop de Investigadores en Cs. de la Computación (WICC); 2010

RedUNCI

La Web Semantica es una vision de la Web en la cual la informacion tiene un signi- cado exacto que permite a los agentes razonar respecto al mismo para cumplir objetivos delegados por sus usuarios propietarios. El signicado de los datos se especica mediante ontologas, que denen en forma intensiva un conjunto de conceptos y roles e individuos en tales conceptos relacionados entre s. Tanto la incoherencia como la inconsistencia son dos anomalas que se pueden hallar en las deniciones ontologicas; estas se pueden dar por falencias en la ingeniera del conocimiento o directamente por lidiar con informacion incompleta y dominios inherentemente contradictorios. Por otro lado, falencias intrnsecas en los lenguajes de denicion de ontologas hacen necesaria la adicion de una capa de reglas en la Web Semantica. La argumentacion rebatible es un tipo de razonamiento no-monotono que produce conclusiones tentativas en presencia de informacion incompleta y potencialmente contradictoria. En esta lnea de investigacion, exploramos la aplicacion de la argumentacion rebatible al procesamiento de ontologas inconsistentes junto a conjuntos de reglas potencialmente inconsistentes en la Web Semantica. En este artculo, presentamos brevemente la problematica asociada, recapitulamos los resultados obtenidos y discutimos el trabajo en progreso.