Visual Stratification of Defeasible Logic Rule Bases

Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou

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

2 Citations (Scopus)

Abstract

Logic and proofs constitute key factors in increasing the user trust towards the Semantic Web. Defeasible reasoning is a useful tool towards the development of the Logic layer of the Semantic Web architecture. However, having a solid mathematical notation, it may be confusing to end users, who often need graphical trace and explanation mechanisms for the derived conclusions. In a previous work of ours, we outlined a methodology for representing defeasible logic rules, utilizing directed graphs that feature distinct node and connection types. However, visualizing a defeasible logic rule base also involves the placement of the multiple graph elements in an intuitive way, a non-trivial task that aims at improving user comprehensibility. This paper presents a stratification algorithm for visualizing defeasible logic rule bases that query and reason about RDF data as well as a tool that applies this algorithm.

Original languageEnglish
Title of host publicationProceedings of 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007
PublisherIEEE
Pages238-245
Number of pages8
Volume2
ISBN (Print)076953015X, 9780769530154
DOIs
Publication statusPublished - 29 Oct 2007
Externally publishedYes
Event19th IEEE International Conference on Tools with Artificial Intelligence - Patras, Greece
Duration: 29 Oct 200731 Oct 2007
Conference number: 19

Publication series

NameProceedings - International Conference on Tools with Artificial Intelligence, ICTAI
PublisherIEEE
Volume2
ISSN (Print)1082-3409
ISSN (Electronic)2375-0197

Conference

Conference19th IEEE International Conference on Tools with Artificial Intelligence
Abbreviated titleICTAI 2007
CountryGreece
CityPatras
Period29/10/0731/10/07

Fingerprint Dive into the research topics of 'Visual Stratification of Defeasible Logic Rule Bases'. Together they form a unique fingerprint.

Cite this