Visualizing Defeasible Logic Rules for the Semantic Web

Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

9 Citations (Scopus)


Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and conflicting information. Such reasoning is useful in many Semantic Web applications, like policies, business rules, brokering, bargaining and agent negotiations. Nevertheless, defeasible logic is based on solid mathematical formulations and is, thus, not fully comprehensible by end users, who often need graphical trace and explanation mechanisms for the derived conclusions. Directed graphs can assist in confronting this drawback. They are a powerful and flexible tool of information visualization, offering a convenient and comprehensible way of representing relationships between entities. Their applicability, however, is balanced by the fact that it is difficult to associate data of a variety of types with the nodes and the arcs in the graph. In this paper we try to utilize digraphs in the graphical representation of defeasible rules, by exploiting the expressiveness and comprehensibility they offer, but also trying to leverage their major disadvantage, by defining two distinct node types, for rules and atomic formulas, and four distinct connection types for each rule type in defeasible logic and for superiority relationships. The paper also briefly presents a tool that implements this representation methodology.

Original languageEnglish
Title of host publicationThe Semantic Web - ASWC 2006
Subtitle of host publicationFirst Asian Semantic Web Conference, Proceedings
EditorsRiichiro Mizoguchi, Zhongzhi Shi, Fausto Giunchiglia
Place of PublicationBerlin
PublisherSpringer-Verlag Berlin Heidelberg
Number of pages15
Volume4185 LNCS
ISBN (Electronic)9783540383314
ISBN (Print)3540383298, 9783540383291
Publication statusPublished - 10 Oct 2008
Externally publishedYes
Event1st Asian Semantic Web Conference - Beijing, China
Duration: 3 Sep 20067 Sep 2006
Conference number: 1

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer-Verlag Berlin Heidelberg
Volume4185 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference1st Asian Semantic Web Conference
Abbreviated titleASWC 2006


Dive into the research topics of 'Visualizing Defeasible Logic Rules for the Semantic Web'. Together they form a unique fingerprint.

Cite this