Abstract
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic Web, such as policies and business rules, agent brokering and negotiation, ontology and knowledge merging, etc. However, the syntax of defeasible logic may appear too complex for many users. In this paper we present a graphical authoring tool for defeasible logic rules that acts as a shell for the DR-DEVICE defeasible reasoning system over RDF metadata. The tool helps users to develop a rule base using the OO-RuleML syntax of DR-DEVICE rules, by constraining the allowed vocabulary through analysis of the input RDF namespaces, so that the user does not have to type-in class and property names. Rule visualization follows the tree model of RuleML. The DR-DEVICE reasoning system is implemented on top of the CLIPS production rule system and builds upon an earlier deductive rule system over RDF metadata that also supports derived attribute and aggregate attribute rules.
Original language | English |
---|---|
Title of host publication | Advances in Informatics |
Subtitle of host publication | 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005. Proceedings |
Editors | Panayiotis Bozanis, Elias N. Houstis |
Place of Publication | Berlin |
Publisher | Springer Verlag |
Pages | 404-414 |
Number of pages | 11 |
Edition | 1st |
ISBN (Electronic) | 9783540320913 |
ISBN (Print) | 3540296735, 9783540296737 |
DOIs | |
Publication status | Published - 26 Oct 2005 |
Externally published | Yes |
Event | 10th Panhellenic Conference on Informatics - Volos, Greece Duration: 11 Nov 2005 → 13 Nov 2005 Conference number: 10 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Publisher | Springer Verlag |
Volume | 3746 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 10th Panhellenic Conference on Informatics |
---|---|
Abbreviated title | PCI 2005 |
Country/Territory | Greece |
City | Volos |
Period | 11/11/05 → 13/11/05 |