Sciweavers

Share
RULEML
2004
Springer

A Defeasible Logic Reasoner for the Semantic Web

10 years 10 days ago
A Defeasible Logic Reasoner for the Semantic Web
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 in more detail, and reports on the implementation of a system for defeasible reasoning on the Web. The system is called DR-DEVICE and is capable of reasoning about RDF metadata over multiple Web sources using defeasible logic rules. The system 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 OORuleML syntax. The operational semantics of defeasible logic are implemented through compila...
Nick Bassiliades, Grigoris Antoniou, Ioannis P. Vl
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where RULEML
Authors Nick Bassiliades, Grigoris Antoniou, Ioannis P. Vlahavas
Comments (0)
books