Abstract
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsis-tent information. Such reasoning is, among others, useful for ontology integration, where conflicting information arises naturally; and for the modeling of business rules and policies, where rules with ex-ceptions are often used. This paper describes these scenarios in more detail, and reports on the imple-mentation of a system for defeasible reasoning on the Web. The system (a) is syntactically compati-ble with RuleML; (b) features strict and defeasible rules, priorities and two kinds of negation; (c) is based on a translation to logic programming with declarative semantics; (d) is flexible and adaptable to different intuitions within defeasible reasoning; and (e) can reason with rules, RDF, RDF Schema and (parts of) OWL ontologies.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-106

BibTeX:

@inproceedings{REWERSE-RP-2005-106,
	author = {Antonis Bikakis and Grigoris Antoniou},
	title = {DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web},
	booktitle = {Proceedings of Twentieth National Conference on Artificial Intelligence, Pittsburgh, Pennsylvania, USA (9th--13th July 2005)},
	year = {2005},
	organization = {American Association for Artificial Intelligence (AAAI)},
	pages = {1594--1595},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-106}
}