Visual modeling of defeasible logic rules with DR-VisMo

Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou, Anna Seridou

Research output: Contribution to journalArticle

6 Citations (Scopus)

Abstract

The standardization of the Semantic Web has reached as far as ontologies and ontology languages. However, in order for the full potential of the Semantic Web to be achieved, the ability of reasoning over the available information is also essential. Rules can assist in this affair and various logics have been proposed for the Semantic Web domain. One of them is defeasible reasoning that deals with incomplete and conflicting information. However, despite its solid mathematical notation, it may be confusing to end users. To confront this downside, we proposed a representation schema for defeasible logic rule bases, which is based on directed graphs that feature distinct node and connection types. This paper presents DR-VisMo, a defeasible logic rule base editor and visualization system that implements this representation approach. The system also features a stratification algorithm for visualizing rule bases that deals with decisions, regarding the arrangement of the various elements in the graph. DR-VisMo is implemented as part of VDR-DEVICE, an environment for modeling and deploying defeasible logic rule bases on top of RDF ontologies.

Original languageEnglish
Pages (from-to)903-924
Number of pages22
JournalInternational Journal on Artificial Intelligence Tools
Volume17
Issue number5
DOIs
Publication statusPublished - 1 Oct 2008
Externally publishedYes

Fingerprint

Semantic Web
Ontology
Directed graphs
Standardization
Visualization

Cite this

Kontopoulos, Efstratios ; Bassiliades, Nick ; Antoniou, Grigoris ; Seridou, Anna. / Visual modeling of defeasible logic rules with DR-VisMo. In: International Journal on Artificial Intelligence Tools. 2008 ; Vol. 17, No. 5. pp. 903-924.
@article{a71e573ab9a3446e89656761936c320f,
title = "Visual modeling of defeasible logic rules with DR-VisMo",
abstract = "The standardization of the Semantic Web has reached as far as ontologies and ontology languages. However, in order for the full potential of the Semantic Web to be achieved, the ability of reasoning over the available information is also essential. Rules can assist in this affair and various logics have been proposed for the Semantic Web domain. One of them is defeasible reasoning that deals with incomplete and conflicting information. However, despite its solid mathematical notation, it may be confusing to end users. To confront this downside, we proposed a representation schema for defeasible logic rule bases, which is based on directed graphs that feature distinct node and connection types. This paper presents DR-VisMo, a defeasible logic rule base editor and visualization system that implements this representation approach. The system also features a stratification algorithm for visualizing rule bases that deals with decisions, regarding the arrangement of the various elements in the graph. DR-VisMo is implemented as part of VDR-DEVICE, an environment for modeling and deploying defeasible logic rule bases on top of RDF ontologies.",
keywords = "Defeasible reasoning, Directed graphs, Semantic Web, Visualization",
author = "Efstratios Kontopoulos and Nick Bassiliades and Grigoris Antoniou and Anna Seridou",
year = "2008",
month = "10",
day = "1",
doi = "10.1142/S0218213008004217",
language = "English",
volume = "17",
pages = "903--924",
journal = "International Journal on Artificial Intelligence Tools",
issn = "0218-2130",
publisher = "World Scientific Publishing Co. Pte Ltd",
number = "5",

}

Visual modeling of defeasible logic rules with DR-VisMo. / Kontopoulos, Efstratios; Bassiliades, Nick; Antoniou, Grigoris; Seridou, Anna.

In: International Journal on Artificial Intelligence Tools, Vol. 17, No. 5, 01.10.2008, p. 903-924.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Visual modeling of defeasible logic rules with DR-VisMo

AU - Kontopoulos, Efstratios

AU - Bassiliades, Nick

AU - Antoniou, Grigoris

AU - Seridou, Anna

PY - 2008/10/1

Y1 - 2008/10/1

N2 - The standardization of the Semantic Web has reached as far as ontologies and ontology languages. However, in order for the full potential of the Semantic Web to be achieved, the ability of reasoning over the available information is also essential. Rules can assist in this affair and various logics have been proposed for the Semantic Web domain. One of them is defeasible reasoning that deals with incomplete and conflicting information. However, despite its solid mathematical notation, it may be confusing to end users. To confront this downside, we proposed a representation schema for defeasible logic rule bases, which is based on directed graphs that feature distinct node and connection types. This paper presents DR-VisMo, a defeasible logic rule base editor and visualization system that implements this representation approach. The system also features a stratification algorithm for visualizing rule bases that deals with decisions, regarding the arrangement of the various elements in the graph. DR-VisMo is implemented as part of VDR-DEVICE, an environment for modeling and deploying defeasible logic rule bases on top of RDF ontologies.

AB - The standardization of the Semantic Web has reached as far as ontologies and ontology languages. However, in order for the full potential of the Semantic Web to be achieved, the ability of reasoning over the available information is also essential. Rules can assist in this affair and various logics have been proposed for the Semantic Web domain. One of them is defeasible reasoning that deals with incomplete and conflicting information. However, despite its solid mathematical notation, it may be confusing to end users. To confront this downside, we proposed a representation schema for defeasible logic rule bases, which is based on directed graphs that feature distinct node and connection types. This paper presents DR-VisMo, a defeasible logic rule base editor and visualization system that implements this representation approach. The system also features a stratification algorithm for visualizing rule bases that deals with decisions, regarding the arrangement of the various elements in the graph. DR-VisMo is implemented as part of VDR-DEVICE, an environment for modeling and deploying defeasible logic rule bases on top of RDF ontologies.

KW - Defeasible reasoning

KW - Directed graphs

KW - Semantic Web

KW - Visualization

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

U2 - 10.1142/S0218213008004217

DO - 10.1142/S0218213008004217

M3 - Article

VL - 17

SP - 903

EP - 924

JO - International Journal on Artificial Intelligence Tools

JF - International Journal on Artificial Intelligence Tools

SN - 0218-2130

IS - 5

ER -