| Title: |
DR-DEVICE: A Defeasible Logic RDF Rule Language |
| Author(s): |
N. Bassiliades, G. Antoniou, I. Vlahavas.
|
| Availability: |
Click here to download the PDF (Acrobat Reader) file (5 pages).
|
| Keywords: |
Rules, Semantic Web Reasoning, RDF, Defeasible Logic, Rule Markup Languages.
|
| Appeared in: |
3rd International Semantic Web Conference (ISWC2004), Demonstrations Program, Hiroshima, Japan, 7-11 Nov. 2004, 2004.
|
| 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. In this demonstration we pre-sent a prototype 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 OO-RuleML syntax. The operational semantics of defeasible logic are implemented through compilation into the generic rule language of R-DEVICE. This demonstration includes a complete use case of a semantic web broker that reasons about apartment renting. |
| See also : |
DR-DEVICE
|
This paper has been cited by the following:
| 1 |
Mwangi Josephine Wambui, “Software Agents for Projects Identification – The Case of CDF Projects”, MSc thesis, School of Computing and Informatics, University Of Nairobi, Kenya, June 2009. |
|
