Integration of rules and ontologies with defeasible logic programming

The Semantic Web is a vision of the current Web where resources have exact meaning assigned in terms of ontologies, thus enabling agents to reason about them. As inconsistencies cannot be treated by standard reasoning approaches, we use Defeasible Logic Programming (DeLP) to reason with possibly inconsistent ontologies. In this article we show how to integrate rules and ontologies in the Semantic Web. We show how to use a possibly inconsistent set of rules represented by a DeLP program to reason on top of a set of (possibly inconsistent) ontologies. Presentado en el X Workshop Agentes y Sistemas Inteligentes Red de Universidades con Carreras en Informática (RedUNCI)