Argumentacion Rebatible y Ontologias En La Web Semantica

La Web Semntica es una visin futura de la web donde la informacin tiene significado exacto definido en trminos de ontologas codificadas en Lgicas para la Descripcin (DL), permitiendo as que las computadoras entiendan y razonen en base a ella. La Programacin en Lgica Rebatible es un formalismo basado en la argumentacin rebatible y la Programacin en Lgica que permite razonar en presencia de inconsistencia e incompletitud. La importancia de la definicin de ontologas junto con la presencia de ontologas incompletas y potencialmente contradictorias motiv el desarrollo de un marco de razonamiento llamado de las delta-ontologas, el cual es presentado en esta obra. Como un subconjunto importante de las Lgicas para la Descripcin puede ser interpretado en la Programacin en Lgica, nuestra propuesta consiste asignar semntica a ontologas expresadas en Lgicas para la Descripcin por medio de Programas Lgicos Rebatibles para lidiar con definiciones de ontologas inconsistentes en la Web Semntica. Analizamos las propiedades formales que se desprenden de este acercamiento novedoso al tratamiento de ontologas inconsistentes en la Web Semntica y presentamos casos de estudio.