Nick Bassiliades, Efstratios Kontopoulos, Grigoris Antoniou, Ioannis Vlahavas:
A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web.

Complete Text [
.pdf, 212KB]
In: Proceedings of 10th Panhellenic Conference On Informatics (PCI2005), Volos, Greece (11th - 13th November 2005), Organization: The Greek Computer Society (EPY), LNCS 3746, 404-414, November 2005
© Springer

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.



	author = {Nick Bassiliades and Efstratios Kontopoulos and Grigoris Antoniou and Ioannis Vlahavas},
	title = {A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web},
	booktitle = {Proceedings of 10th Panhellenic Conference On Informatics, Volos, Greece (11th--13th November 2005)},
	year = {2005},
	volume = {3746},
	organization = {The Greek Computer Society (EPY)},
	series = {LNCS},
	pages = {404--414},
	url = {}