Visualization of Proofs in Defeasible Logic

Ioannis Avguleas; Katerina Gkirtzou; Sofia Triantafilou; Antonis Bikakis; Grigoris Antoniou; Efstratios Kontopoulos; Nick Bassiliades

doi:10.1007/978-3-540-88808-6_21

Visualization of Proofs in Defeasible Logic

Ioannis Avguleas, Katerina Gkirtzou, Sofia Triantafilou, Antonis Bikakis, Grigoris Antoniou, Efstratios Kontopoulos, Nick Bassiliades

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

2 Citations (Scopus)

Abstract

The development of the Semantic Web proceeds in steps, building each layer on top of the other. Currently, the focus of research efforts is concentrated on logic and proofs, both of which are essential, since they will allow systems to infer new knowledge by applying principles on the existing data and explain their actions. Research is shifting towards the study of non-monotonic systems that are capable of handling conflicts among rules and reasoning with partial information. As for the proof layer of the Semantic Web, it can play a vital role in increasing the reliability of Semantic Web systems, since it will be possible to provide explanations and/or justifications of the derived answers. This paper reports on the implementation of a system for visualizing proof explanations on the Semantic Web. The proposed system applies defeasible logic, a member of the non-monotonic logics family, as the underlying inference system. The proof representation schema is based on a graph-based methodology for visualizing defeasible logic rule bases.

Original language	English
Title of host publication	Rule Representation, Interchange and Reasoning on the Web
Subtitle of host publication	International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
Editors	Nick Bassiliades, Guido Governatori, Adrian Paschke
Place of Publication	Berlin
Publisher	Springer Verlag
Pages	197-210
Number of pages	14
Volume	LNCS 5321
Edition	1st
ISBN (Electronic)	9783540888086
ISBN (Print)	3540888071, 9783540888079
DOIs	https://doi.org/10.1007/978-3-540-88808-6_21
Publication status	Published - 8 Oct 2008
Externally published	Yes
Event	International Symposium on Rule Representation, Interchange and Reasoning on the Web - Orlando, United States Duration: 30 Oct 2008 → 31 Oct 2008

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Verlag
Volume	5321 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Symposium on Rule Representation, Interchange and Reasoning on the Web
Abbreviated title	RuleML 2008
Country/Territory	United States
City	Orlando
Period	30/10/08 → 31/10/08

Access to Document

10.1007/978-3-540-88808-6_21Licence: Unspecified

Cite this

Avguleas, I., Gkirtzou, K., Triantafilou, S., Bikakis, A., Antoniou, G., Kontopoulos, E., & Bassiliades, N. (2008). Visualization of Proofs in Defeasible Logic. In N. Bassiliades, G. Governatori, & A. Paschke (Eds.), Rule Representation, Interchange and Reasoning on the Web: International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings (1st ed., Vol. LNCS 5321, pp. 197-210). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5321 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-88808-6_21

Avguleas, Ioannis ; Gkirtzou, Katerina ; Triantafilou, Sofia et al. / Visualization of Proofs in Defeasible Logic. Rule Representation, Interchange and Reasoning on the Web: International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings. editor / Nick Bassiliades ; Guido Governatori ; Adrian Paschke. Vol. LNCS 5321 1st. ed. Berlin : Springer Verlag, 2008. pp. 197-210 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b61f5af579c9411a846c2ada1643033c,

title = "Visualization of Proofs in Defeasible Logic",

abstract = "The development of the Semantic Web proceeds in steps, building each layer on top of the other. Currently, the focus of research efforts is concentrated on logic and proofs, both of which are essential, since they will allow systems to infer new knowledge by applying principles on the existing data and explain their actions. Research is shifting towards the study of non-monotonic systems that are capable of handling conflicts among rules and reasoning with partial information. As for the proof layer of the Semantic Web, it can play a vital role in increasing the reliability of Semantic Web systems, since it will be possible to provide explanations and/or justifications of the derived answers. This paper reports on the implementation of a system for visualizing proof explanations on the Semantic Web. The proposed system applies defeasible logic, a member of the non-monotonic logics family, as the underlying inference system. The proof representation schema is based on a graph-based methodology for visualizing defeasible logic rule bases.",

keywords = "Semantic Web, Computer circuits, Computer programming languages, Formal logic, Graphic methods",

author = "Ioannis Avguleas and Katerina Gkirtzou and Sofia Triantafilou and Antonis Bikakis and Grigoris Antoniou and Efstratios Kontopoulos and Nick Bassiliades",

year = "2008",

month = oct,

day = "8",

doi = "10.1007/978-3-540-88808-6_21",

language = "English",

isbn = "3540888071",

volume = "LNCS 5321",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "197--210",

editor = "Nick Bassiliades and Guido Governatori and Adrian Paschke",

booktitle = "Rule Representation, Interchange and Reasoning on the Web",

address = "Germany",

edition = "1st",

note = "International Symposium on Rule Representation, Interchange and Reasoning on the Web, RuleML 2008 ; Conference date: 30-10-2008 Through 31-10-2008",

}

Avguleas, I, Gkirtzou, K, Triantafilou, S, Bikakis, A, Antoniou, G, Kontopoulos, E & Bassiliades, N 2008, Visualization of Proofs in Defeasible Logic. in N Bassiliades, G Governatori & A Paschke (eds), Rule Representation, Interchange and Reasoning on the Web: International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings. 1st edn, vol. LNCS 5321, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5321 LNCS, Springer Verlag, Berlin, pp. 197-210, International Symposium on Rule Representation, Interchange and Reasoning on the Web, Orlando, Florida, United States, 30/10/08. https://doi.org/10.1007/978-3-540-88808-6_21

Visualization of Proofs in Defeasible Logic. / Avguleas, Ioannis; Gkirtzou, Katerina; Triantafilou, Sofia et al.

Rule Representation, Interchange and Reasoning on the Web: International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings. ed. / Nick Bassiliades; Guido Governatori; Adrian Paschke. Vol. LNCS 5321 1st. ed. Berlin : Springer Verlag, 2008. p. 197-210 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5321 LNCS).

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

TY - GEN

T1 - Visualization of Proofs in Defeasible Logic

AU - Avguleas, Ioannis

AU - Gkirtzou, Katerina

AU - Triantafilou, Sofia

AU - Bikakis, Antonis

AU - Antoniou, Grigoris

AU - Kontopoulos, Efstratios

AU - Bassiliades, Nick

PY - 2008/10/8

Y1 - 2008/10/8

N2 - The development of the Semantic Web proceeds in steps, building each layer on top of the other. Currently, the focus of research efforts is concentrated on logic and proofs, both of which are essential, since they will allow systems to infer new knowledge by applying principles on the existing data and explain their actions. Research is shifting towards the study of non-monotonic systems that are capable of handling conflicts among rules and reasoning with partial information. As for the proof layer of the Semantic Web, it can play a vital role in increasing the reliability of Semantic Web systems, since it will be possible to provide explanations and/or justifications of the derived answers. This paper reports on the implementation of a system for visualizing proof explanations on the Semantic Web. The proposed system applies defeasible logic, a member of the non-monotonic logics family, as the underlying inference system. The proof representation schema is based on a graph-based methodology for visualizing defeasible logic rule bases.

AB - The development of the Semantic Web proceeds in steps, building each layer on top of the other. Currently, the focus of research efforts is concentrated on logic and proofs, both of which are essential, since they will allow systems to infer new knowledge by applying principles on the existing data and explain their actions. Research is shifting towards the study of non-monotonic systems that are capable of handling conflicts among rules and reasoning with partial information. As for the proof layer of the Semantic Web, it can play a vital role in increasing the reliability of Semantic Web systems, since it will be possible to provide explanations and/or justifications of the derived answers. This paper reports on the implementation of a system for visualizing proof explanations on the Semantic Web. The proposed system applies defeasible logic, a member of the non-monotonic logics family, as the underlying inference system. The proof representation schema is based on a graph-based methodology for visualizing defeasible logic rule bases.

KW - Semantic Web

KW - Computer circuits

KW - Computer programming languages

KW - Formal logic

KW - Graphic methods

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

UR - https://link.springer.com/book/10.1007/978-3-540-88808-6

U2 - 10.1007/978-3-540-88808-6_21

DO - 10.1007/978-3-540-88808-6_21

M3 - Conference contribution

AN - SCOPUS:57349184657

SN - 3540888071

SN - 9783540888079

VL - LNCS 5321

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 197

EP - 210

BT - Rule Representation, Interchange and Reasoning on the Web

A2 - Bassiliades, Nick

A2 - Governatori, Guido

A2 - Paschke, Adrian

PB - Springer Verlag

CY - Berlin

T2 - International Symposium on Rule Representation, Interchange and Reasoning on the Web

Y2 - 30 October 2008 through 31 October 2008

ER -

Avguleas I, Gkirtzou K, Triantafilou S, Bikakis A, Antoniou G, Kontopoulos E et al. Visualization of Proofs in Defeasible Logic. In Bassiliades N, Governatori G, Paschke A, editors, Rule Representation, Interchange and Reasoning on the Web: International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings. 1st ed. Vol. LNCS 5321. Berlin: Springer Verlag. 2008. p. 197-210. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-88808-6_21

Visualization of Proofs in Defeasible Logic

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this