A Multi-agent Environment for Serving Proof Explanations in the Semantic Web

Grigoris Antoniou; Antonis Bikakis; Polyvios Damianakis; Mixalhs Foukarakis; Giorgos Iacovidis; Marianna Karmazi; Haridimos Kondylakis; Antreas Makridakis; Giorgos Nikiforos; Grigoris Papadourakis; Manolis Papoutsakis; Aggeliki Psyharaki; Giorgos Stratakis; Panagiotis Tourlakis; Petros Tsialiamanis; Giorgos Vasileiadis; Gerd Wagner; Dimitris Velegrakis

doi:10.1007/978-3-540-87881-0_4

A Multi-agent Environment for Serving Proof Explanations in the Semantic Web

Grigoris Antoniou, Antonis Bikakis, Polyvios Damianakis, Mixalhs Foukarakis, Giorgos Iacovidis, Marianna Karmazi, Haridimos Kondylakis, Antreas Makridakis, Giorgos Nikiforos, Grigoris Papadourakis, Manolis Papoutsakis, Aggeliki Psyharaki, Giorgos Stratakis, Panagiotis Tourlakis, Petros Tsialiamanis, Giorgos Vasileiadis, Gerd Wagner, Dimitris Velegrakis

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

Abstract

In this work we present the design and implementation of a multi-agent environment for serving proof explanations in the Semantic Web. The system allows users or agents to issue queries, on a given RDF& rules knowledge base and automatically produces proof explanations for answers produced by a popular programming system (JENA), by interpreting the output from the proof's trace and converting it into a meaningful representation. It also supports an XML representation (a R2ML language extension) for agent communication, which is a common scenario in the Semantic Web. The system in essence implements a proof layer for rules on the Semantic Web empowering trust between agents and users.

Original language	English
Title of host publication	Artificial Intelligence
Subtitle of host publication	Theories, Models and Applications - 5th Hellenic Conference on AI, SETN 2008, Proceedings
Editors	John Darzentas, George A. Vouros, Spyros Vosinakis, Argyris Arnellos
Place of Publication	Berlin
Publisher	Springer-Verlag Berlin Heidelberg
Pages	26-37
Number of pages	12
Volume	5138 LNCS/LNAI
ISBN (Electronic)	9783540878810
ISBN (Print)	3540878807, 9783540878803
DOIs	https://doi.org/10.1007/978-3-540-87881-0_4
Publication status	Published - 19 Sep 2008
Externally published	Yes
Event	5th Hellenic Conference on Artificial Intelligence - Syros, Greece Duration: 2 Oct 2008 → 4 Oct 2008 Conference number: 5

Publication series

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

Conference

Conference	5th Hellenic Conference on Artificial Intelligence
Abbreviated title	SETN 2008
Country/Territory	Greece
City	Syros
Period	2/10/08 → 4/10/08

Access to Document

10.1007/978-3-540-87881-0_4Licence: Unspecified

Cite this

Antoniou, G., Bikakis, A., Damianakis, P., Foukarakis, M., Iacovidis, G., Karmazi, M., Kondylakis, H., Makridakis, A., Nikiforos, G., Papadourakis, G., Papoutsakis, M., Psyharaki, A., Stratakis, G., Tourlakis, P., Tsialiamanis, P., Vasileiadis, G., Wagner, G., & Velegrakis, D. (2008). A Multi-agent Environment for Serving Proof Explanations in the Semantic Web. In J. Darzentas, G. A. Vouros, S. Vosinakis, & A. Arnellos (Eds.), Artificial Intelligence: Theories, Models and Applications - 5th Hellenic Conference on AI, SETN 2008, Proceedings (Vol. 5138 LNCS/LNAI, pp. 26-37). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5138 LNCS/LNAI). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-540-87881-0_4

Antoniou, Grigoris ; Bikakis, Antonis ; Damianakis, Polyvios et al. / A Multi-agent Environment for Serving Proof Explanations in the Semantic Web. Artificial Intelligence: Theories, Models and Applications - 5th Hellenic Conference on AI, SETN 2008, Proceedings. editor / John Darzentas ; George A. Vouros ; Spyros Vosinakis ; Argyris Arnellos. Vol. 5138 LNCS/LNAI Berlin : Springer-Verlag Berlin Heidelberg, 2008. pp. 26-37 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{556a2afd256e49f19177da34ecb133cc,

title = "A Multi-agent Environment for Serving Proof Explanations in the Semantic Web",

abstract = "In this work we present the design and implementation of a multi-agent environment for serving proof explanations in the Semantic Web. The system allows users or agents to issue queries, on a given RDF& rules knowledge base and automatically produces proof explanations for answers produced by a popular programming system (JENA), by interpreting the output from the proof's trace and converting it into a meaningful representation. It also supports an XML representation (a R2ML language extension) for agent communication, which is a common scenario in the Semantic Web. The system in essence implements a proof layer for rules on the Semantic Web empowering trust between agents and users.",

keywords = "Multi-agent systems, Proof explanation, Semantic Web",

author = "Grigoris Antoniou and Antonis Bikakis and Polyvios Damianakis and Mixalhs Foukarakis and Giorgos Iacovidis and Marianna Karmazi and Haridimos Kondylakis and Antreas Makridakis and Giorgos Nikiforos and Grigoris Papadourakis and Manolis Papoutsakis and Aggeliki Psyharaki and Giorgos Stratakis and Panagiotis Tourlakis and Petros Tsialiamanis and Giorgos Vasileiadis and Gerd Wagner and Dimitris Velegrakis",

year = "2008",

month = sep,

day = "19",

doi = "10.1007/978-3-540-87881-0_4",

language = "English",

isbn = "3540878807",

volume = "5138 LNCS/LNAI",

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

publisher = "Springer-Verlag Berlin Heidelberg",

pages = "26--37",

editor = "John Darzentas and Vouros, {George A.} and Spyros Vosinakis and Argyris Arnellos",

booktitle = "Artificial Intelligence",

address = "Germany",

note = "5th Hellenic Conference on Artificial Intelligence, SETN 2008 ; Conference date: 02-10-2008 Through 04-10-2008",

}

Antoniou, G, Bikakis, A, Damianakis, P, Foukarakis, M, Iacovidis, G, Karmazi, M, Kondylakis, H, Makridakis, A, Nikiforos, G, Papadourakis, G, Papoutsakis, M, Psyharaki, A, Stratakis, G, Tourlakis, P, Tsialiamanis, P, Vasileiadis, G, Wagner, G & Velegrakis, D 2008, A Multi-agent Environment for Serving Proof Explanations in the Semantic Web. in J Darzentas, GA Vouros, S Vosinakis & A Arnellos (eds), Artificial Intelligence: Theories, Models and Applications - 5th Hellenic Conference on AI, SETN 2008, Proceedings. vol. 5138 LNCS/LNAI, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5138 LNCS/LNAI, Springer-Verlag Berlin Heidelberg, Berlin, pp. 26-37, 5th Hellenic Conference on Artificial Intelligence, Syros, Greece, 2/10/08. https://doi.org/10.1007/978-3-540-87881-0_4

A Multi-agent Environment for Serving Proof Explanations in the Semantic Web. / Antoniou, Grigoris; Bikakis, Antonis; Damianakis, Polyvios et al.

Artificial Intelligence: Theories, Models and Applications - 5th Hellenic Conference on AI, SETN 2008, Proceedings. ed. / John Darzentas; George A. Vouros; Spyros Vosinakis; Argyris Arnellos. Vol. 5138 LNCS/LNAI Berlin : Springer-Verlag Berlin Heidelberg, 2008. p. 26-37 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5138 LNCS/LNAI).

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

TY - GEN

T1 - A Multi-agent Environment for Serving Proof Explanations in the Semantic Web

AU - Antoniou, Grigoris

AU - Bikakis, Antonis

AU - Damianakis, Polyvios

AU - Foukarakis, Mixalhs

AU - Iacovidis, Giorgos

AU - Karmazi, Marianna

AU - Kondylakis, Haridimos

AU - Makridakis, Antreas

AU - Nikiforos, Giorgos

AU - Papadourakis, Grigoris

AU - Papoutsakis, Manolis

AU - Psyharaki, Aggeliki

AU - Stratakis, Giorgos

AU - Tourlakis, Panagiotis

AU - Tsialiamanis, Petros

AU - Vasileiadis, Giorgos

AU - Wagner, Gerd

AU - Velegrakis, Dimitris

N1 - Conference code: 5

PY - 2008/9/19

Y1 - 2008/9/19

N2 - In this work we present the design and implementation of a multi-agent environment for serving proof explanations in the Semantic Web. The system allows users or agents to issue queries, on a given RDF& rules knowledge base and automatically produces proof explanations for answers produced by a popular programming system (JENA), by interpreting the output from the proof's trace and converting it into a meaningful representation. It also supports an XML representation (a R2ML language extension) for agent communication, which is a common scenario in the Semantic Web. The system in essence implements a proof layer for rules on the Semantic Web empowering trust between agents and users.

AB - In this work we present the design and implementation of a multi-agent environment for serving proof explanations in the Semantic Web. The system allows users or agents to issue queries, on a given RDF& rules knowledge base and automatically produces proof explanations for answers produced by a popular programming system (JENA), by interpreting the output from the proof's trace and converting it into a meaningful representation. It also supports an XML representation (a R2ML language extension) for agent communication, which is a common scenario in the Semantic Web. The system in essence implements a proof layer for rules on the Semantic Web empowering trust between agents and users.

KW - Multi-agent systems

KW - Proof explanation

KW - Semantic Web

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

UR - https://www.springer.com/gp/book/9783540878803

U2 - 10.1007/978-3-540-87881-0_4

DO - 10.1007/978-3-540-87881-0_4

M3 - Conference contribution

AN - SCOPUS:55349103052

SN - 3540878807

SN - 9783540878803

VL - 5138 LNCS/LNAI

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

SP - 26

EP - 37

BT - Artificial Intelligence

A2 - Darzentas, John

A2 - Vouros, George A.

A2 - Vosinakis, Spyros

A2 - Arnellos, Argyris

PB - Springer-Verlag Berlin Heidelberg

CY - Berlin

T2 - 5th Hellenic Conference on Artificial Intelligence

Y2 - 2 October 2008 through 4 October 2008

ER -

Antoniou G, Bikakis A, Damianakis P, Foukarakis M, Iacovidis G, Karmazi M et al. A Multi-agent Environment for Serving Proof Explanations in the Semantic Web. In Darzentas J, Vouros GA, Vosinakis S, Arnellos A, editors, Artificial Intelligence: Theories, Models and Applications - 5th Hellenic Conference on AI, SETN 2008, Proceedings. Vol. 5138 LNCS/LNAI. Berlin: Springer-Verlag Berlin Heidelberg. 2008. p. 26-37. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-87881-0_4

A Multi-agent Environment for Serving Proof Explanations in the Semantic Web

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this