A Defeasible Logic Programming Approach to the Integration of Rules and Ontologies
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, the authors use Defeasible Logic Programming (DeLP) to reason with possibly inconsistent ontologies. In this paper, the authors show how to integrate rules and ontologies in the Semantic Web. The authors present an approach that can be used to suitably extend the SWRL standard by incorporating classical and default negated literals in SemanticWeb rules in the presence of incomplete and possibly inconsistent information.