Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system

Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou

Research output: Contribution to journalArticle

19 Citations (Scopus)

Abstract

The Semantic Web aims at improving the current Web, by augmenting its content with semantics and encouraging the cooperation among human users and machines. Since the basic Semantic Web infrastructure is reaching sufficient maturity, research efforts are shifting towards logic, proof and trust and rule-based systems inevitably concentrate most of the attention. Nevertheless, in order for human users to trust system answers, they have to be presented with adequate explanations that justify the derived results. And, even more importantly, these explanations have to be presented in a user-comprehensible format. Consequently, the focus in this work is on humans and the research area called proof visualization that features three main approaches: tree-based, graphical and logical/textual. Since each of the approaches presents advantages and disadvantages, this article proposes a fourth, hybrid visualization approach that combines the pros of all three approaches and attempts to leverage the respective cons. The article also presents a software tool that implements the proposed hybrid approach. The tool is called VProofH and visualizes defeasible logic proofs, offering multiple representations that adapt to user needs. Extensive scalability and user evaluation tests prove the software tool's usability.

Original languageEnglish
Pages (from-to)406-419
Number of pages14
JournalKnowledge-Based Systems
Volume24
Issue number3
Early online date9 Dec 2010
DOIs
Publication statusPublished - 1 Apr 2011
Externally publishedYes

Fingerprint

Semantic Web
Visualization
Knowledge based systems
Scalability
Semantics
Semantic web
Logic

Cite this

Kontopoulos, Efstratios ; Bassiliades, Nick ; Antoniou, Grigoris. / Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system. In: Knowledge-Based Systems. 2011 ; Vol. 24, No. 3. pp. 406-419.
@article{1f0682694d1d47729c486f4624d6cea5,
title = "Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system",
abstract = "The Semantic Web aims at improving the current Web, by augmenting its content with semantics and encouraging the cooperation among human users and machines. Since the basic Semantic Web infrastructure is reaching sufficient maturity, research efforts are shifting towards logic, proof and trust and rule-based systems inevitably concentrate most of the attention. Nevertheless, in order for human users to trust system answers, they have to be presented with adequate explanations that justify the derived results. And, even more importantly, these explanations have to be presented in a user-comprehensible format. Consequently, the focus in this work is on humans and the research area called proof visualization that features three main approaches: tree-based, graphical and logical/textual. Since each of the approaches presents advantages and disadvantages, this article proposes a fourth, hybrid visualization approach that combines the pros of all three approaches and attempts to leverage the respective cons. The article also presents a software tool that implements the proposed hybrid approach. The tool is called VProofH and visualizes defeasible logic proofs, offering multiple representations that adapt to user needs. Extensive scalability and user evaluation tests prove the software tool's usability.",
keywords = "Defeasible logic, Explanations, Proof visualization, Rule base, Semantic Web",
author = "Efstratios Kontopoulos and Nick Bassiliades and Grigoris Antoniou",
year = "2011",
month = "4",
day = "1",
doi = "10.1016/j.knosys.2010.12.001",
language = "English",
volume = "24",
pages = "406--419",
journal = "Knowledge-Based Systems",
issn = "0950-7051",
publisher = "Elsevier",
number = "3",

}

Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system. / Kontopoulos, Efstratios; Bassiliades, Nick; Antoniou, Grigoris.

In: Knowledge-Based Systems, Vol. 24, No. 3, 01.04.2011, p. 406-419.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system

AU - Kontopoulos, Efstratios

AU - Bassiliades, Nick

AU - Antoniou, Grigoris

PY - 2011/4/1

Y1 - 2011/4/1

N2 - The Semantic Web aims at improving the current Web, by augmenting its content with semantics and encouraging the cooperation among human users and machines. Since the basic Semantic Web infrastructure is reaching sufficient maturity, research efforts are shifting towards logic, proof and trust and rule-based systems inevitably concentrate most of the attention. Nevertheless, in order for human users to trust system answers, they have to be presented with adequate explanations that justify the derived results. And, even more importantly, these explanations have to be presented in a user-comprehensible format. Consequently, the focus in this work is on humans and the research area called proof visualization that features three main approaches: tree-based, graphical and logical/textual. Since each of the approaches presents advantages and disadvantages, this article proposes a fourth, hybrid visualization approach that combines the pros of all three approaches and attempts to leverage the respective cons. The article also presents a software tool that implements the proposed hybrid approach. The tool is called VProofH and visualizes defeasible logic proofs, offering multiple representations that adapt to user needs. Extensive scalability and user evaluation tests prove the software tool's usability.

AB - The Semantic Web aims at improving the current Web, by augmenting its content with semantics and encouraging the cooperation among human users and machines. Since the basic Semantic Web infrastructure is reaching sufficient maturity, research efforts are shifting towards logic, proof and trust and rule-based systems inevitably concentrate most of the attention. Nevertheless, in order for human users to trust system answers, they have to be presented with adequate explanations that justify the derived results. And, even more importantly, these explanations have to be presented in a user-comprehensible format. Consequently, the focus in this work is on humans and the research area called proof visualization that features three main approaches: tree-based, graphical and logical/textual. Since each of the approaches presents advantages and disadvantages, this article proposes a fourth, hybrid visualization approach that combines the pros of all three approaches and attempts to leverage the respective cons. The article also presents a software tool that implements the proposed hybrid approach. The tool is called VProofH and visualizes defeasible logic proofs, offering multiple representations that adapt to user needs. Extensive scalability and user evaluation tests prove the software tool's usability.

KW - Defeasible logic

KW - Explanations

KW - Proof visualization

KW - Rule base

KW - Semantic Web

UR - http://www.scopus.com/inward/record.url?scp=79551690336&partnerID=8YFLogxK

U2 - 10.1016/j.knosys.2010.12.001

DO - 10.1016/j.knosys.2010.12.001

M3 - Article

VL - 24

SP - 406

EP - 419

JO - Knowledge-Based Systems

JF - Knowledge-Based Systems

SN - 0950-7051

IS - 3

ER -