Abstract
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent 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 exceptions are often used. This paper describes these scenarios and reports on the implementation of a system for defeasible reasoning on the Web. The system, DR-DEVICE, is capable of reasoning about RDF metadata over multiple Web sources using defeasible logic rules. It is implemented on top of CLIPS production rule system and builds upon R-DEVICE, an earlier deductive rule system over RDF metadata that also supports derived attribute and aggregate attribute rules. Rules can be expressed either in a native CLIPS-like language, or in an extension of the OO-RuleML syntax. The operational semantics of defeasible logic are implemented through compilation into the generic rule language of R-DEVICE. The paper also presents a full semantic Web broker example for apartment renting.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-004

BibTeX:

@article{REWERSE-RP-2006-004,
	author = {Nick Bassiliades and Grigoris Antoniou and Ioannis Vlahavas},
	title = {A Defeasible Logic Reasoner for the Semantic Web},
	journal = {International Journal of Semantic Web and Information Systems (IJSWIS)},
	year = {2006},
	volume = {2},
	number = {1},
	pages = {1--41},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-004}
}