Visual Stratification of Defeasible Logic Rule Bases

Efstratios Kontopoulos; Nick Bassiliades; Grigoris Antoniou

doi:10.1109/ICTAI.2007.39

Visual Stratification of Defeasible Logic Rule Bases

Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 language	English
Title of host publication	Proceedings of 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007
Publisher	IEEE
Pages	238-245
Number of pages	8
Volume	2
ISBN (Print)	076953015X, 9780769530154
DOIs	https://doi.org/10.1109/ICTAI.2007.39
Publication status	Published - 29 Oct 2007
Externally published	Yes
Event	19th IEEE International Conference on Tools with Artificial Intelligence - Patras, Greece Duration: 29 Oct 2007 → 31 Oct 2007 Conference number: 19

Publication series

Name	Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI
Publisher	IEEE
Volume	2
ISSN (Print)	1082-3409
ISSN (Electronic)	2375-0197

Conference

Conference	19th IEEE International Conference on Tools with Artificial Intelligence
Abbreviated title	ICTAI 2007
Country/Territory	Greece
City	Patras
Period	29/10/07 → 31/10/07

Access to Document

10.1109/ICTAI.2007.39Licence: Unspecified

Cite this

Kontopoulos, E., Bassiliades, N., & Antoniou, G. (2007). Visual Stratification of Defeasible Logic Rule Bases. In Proceedings of 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007 (Vol. 2, pp. 238-245). [4410386] (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; Vol. 2). IEEE. https://doi.org/10.1109/ICTAI.2007.39

@inproceedings{2345ee66611d488583a4c1277ef52ecf,

title = "Visual Stratification of Defeasible Logic Rule Bases",

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.",

keywords = "Logic, Data visualization, Semantic web, Resource description framework, Ontologies, Solids, OWL, Software algorithms, Artificial intelligence, Informatics",

author = "Efstratios Kontopoulos and Nick Bassiliades and Grigoris Antoniou",

year = "2007",

month = oct,

day = "29",

doi = "10.1109/ICTAI.2007.39",

language = "English",

isbn = "076953015X",

volume = "2",

series = "Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI",

publisher = "IEEE",

pages = "238--245",

booktitle = "Proceedings of 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007",

address = "United States",

note = "19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007 ; Conference date: 29-10-2007 Through 31-10-2007",

}

Kontopoulos, E, Bassiliades, N & Antoniou, G 2007, Visual Stratification of Defeasible Logic Rule Bases. in Proceedings of 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007. vol. 2, 4410386, Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI, vol. 2, IEEE, pp. 238-245, 19th IEEE International Conference on Tools with Artificial Intelligence, Patras, Greece, 29/10/07. https://doi.org/10.1109/ICTAI.2007.39

Visual Stratification of Defeasible Logic Rule Bases. / Kontopoulos, Efstratios; Bassiliades, Nick; Antoniou, Grigoris.

Proceedings of 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007. Vol. 2 IEEE, 2007. p. 238-245 4410386 (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; Vol. 2).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Visual Stratification of Defeasible Logic Rule Bases

AU - Kontopoulos, Efstratios

AU - Bassiliades, Nick

AU - Antoniou, Grigoris

N1 - Conference code: 19

PY - 2007/10/29

Y1 - 2007/10/29

N2 - 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.

AB - 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.

KW - Logic

KW - Data visualization

KW - Semantic web

KW - Resource description framework

KW - Ontologies

KW - Solids

KW - OWL

KW - Software algorithms

KW - Artificial intelligence

KW - Informatics

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

U2 - 10.1109/ICTAI.2007.39

DO - 10.1109/ICTAI.2007.39

M3 - Conference contribution

AN - SCOPUS:48649092188

SN - 076953015X

SN - 9780769530154

VL - 2

T3 - Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

SP - 238

EP - 245

BT - Proceedings of 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007

PB - IEEE

T2 - 19th IEEE International Conference on Tools with Artificial Intelligence

Y2 - 29 October 2007 through 31 October 2007

ER -

Visual Stratification of Defeasible Logic Rule Bases

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this