Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers

Kalliopi Kravari; Konstantinos Papatheodorou; Grigoris Antoniou; Nick Bassiliades

doi:10.1007/978-3-642-22546-8_4

Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers

Kalliopi Kravari, Konstantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades

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

2 Citations (Scopus)

Abstract

The ultimate vision of the Semantic Web (SW) is to offer an interoperable and information-rich web environment that will allow users to safely delegate complex actions to intelligent agents. Much work has been done for agents' interoperability; a plethora of proposals and standards for ontology-based metadata and rule-based reasoning are already widely used. Nevertheless, the SW proof layer has been neglected so far, although it is vital for SW agents and human users to understand how a result came about, in order to increase the trust in the interchanged information. This paper focuses on the implementation of third party SW reasoning and proofing services wrapped as agents in a multiagent framework. This way, agents can exchange and justify their arguments without the need to conform to a common rule paradigm. Via external reasoning and proofing services, the receiving agent can grasp the semantics of the received rule set and check the validity of the inferred results.

Original language	English
Title of host publication	Rule-Based Reasoning, Programming, and Applications
Subtitle of host publication	5th International Symposium, RuleML 2011, Proceedings
Editors	Nick Bassiliades, Guido Governatori, Adrian Paschke
Place of Publication	Berlin
Publisher	Springer-Verlag Berlin Heidelberg
Pages	29-43
Number of pages	15
Volume	6826 LNCS
ISBN (Electronic)	9783642225468
ISBN (Print)	9783642225451
DOIs	https://doi.org/10.1007/978-3-642-22546-8_4
Publication status	Published - 12 Jul 2011
Externally published	Yes
Event	5th International Symposium on Rules: Research Based and Industry Focused - Barcelona, Spain Duration: 19 Jul 2011 → 21 Jul 2011 Conference number: 5 http://www.defeasible.org/ruleml2011ijcai/

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	6826 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th International Symposium on Rules
Abbreviated title	RuleML 2011
Country/Territory	Spain
City	Barcelona
Period	19/07/11 → 21/07/11
Internet address	http://www.defeasible.org/ruleml2011ijcai/

Access to Document

10.1007/978-3-642-22546-8_4Licence: Unspecified

Cite this

Kravari, K., Papatheodorou, K., Antoniou, G., & Bassiliades, N. (2011). Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers. In N. Bassiliades, G. Governatori, & A. Paschke (Eds.), Rule-Based Reasoning, Programming, and Applications: 5th International Symposium, RuleML 2011, Proceedings (Vol. 6826 LNCS, pp. 29-43). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6826 LNCS). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-642-22546-8_4

Kravari, Kalliopi ; Papatheodorou, Konstantinos ; Antoniou, Grigoris et al. / Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers. Rule-Based Reasoning, Programming, and Applications: 5th International Symposium, RuleML 2011, Proceedings. editor / Nick Bassiliades ; Guido Governatori ; Adrian Paschke. Vol. 6826 LNCS Berlin : Springer-Verlag Berlin Heidelberg, 2011. pp. 29-43 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{af9976016be248ca9c44b289e623be05,

title = "Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers",

abstract = "The ultimate vision of the Semantic Web (SW) is to offer an interoperable and information-rich web environment that will allow users to safely delegate complex actions to intelligent agents. Much work has been done for agents' interoperability; a plethora of proposals and standards for ontology-based metadata and rule-based reasoning are already widely used. Nevertheless, the SW proof layer has been neglected so far, although it is vital for SW agents and human users to understand how a result came about, in order to increase the trust in the interchanged information. This paper focuses on the implementation of third party SW reasoning and proofing services wrapped as agents in a multiagent framework. This way, agents can exchange and justify their arguments without the need to conform to a common rule paradigm. Via external reasoning and proofing services, the receiving agent can grasp the semantics of the received rule set and check the validity of the inferred results.",

keywords = "Defeasible reasoning, DR-Prolog, EMERALD, Intelligent multi-agent systems, Logic layer, Proof layer, Rules, Semantic web",

author = "Kalliopi Kravari and Konstantinos Papatheodorou and Grigoris Antoniou and Nick Bassiliades",

year = "2011",

month = jul,

day = "12",

doi = "10.1007/978-3-642-22546-8_4",

language = "English",

isbn = "9783642225451",

volume = "6826 LNCS",

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

publisher = "Springer-Verlag Berlin Heidelberg",

pages = "29--43",

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

booktitle = "Rule-Based Reasoning, Programming, and Applications",

address = "Germany",

note = "5th International Symposium on Rules : Research Based and Industry Focused, RuleML 2011 ; Conference date: 19-07-2011 Through 21-07-2011",

url = "http://www.defeasible.org/ruleml2011ijcai/",

}

Kravari, K, Papatheodorou, K, Antoniou, G & Bassiliades, N 2011, Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers. in N Bassiliades, G Governatori & A Paschke (eds), Rule-Based Reasoning, Programming, and Applications: 5th International Symposium, RuleML 2011, Proceedings. vol. 6826 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6826 LNCS, Springer-Verlag Berlin Heidelberg, Berlin, pp. 29-43, 5th International Symposium on Rules, Barcelona, Spain, 19/07/11. https://doi.org/10.1007/978-3-642-22546-8_4

Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers. / Kravari, Kalliopi; Papatheodorou, Konstantinos; Antoniou, Grigoris et al.

Rule-Based Reasoning, Programming, and Applications: 5th International Symposium, RuleML 2011, Proceedings. ed. / Nick Bassiliades; Guido Governatori; Adrian Paschke. Vol. 6826 LNCS Berlin : Springer-Verlag Berlin Heidelberg, 2011. p. 29-43 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6826 LNCS).

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

TY - GEN

T1 - Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers

AU - Kravari, Kalliopi

AU - Papatheodorou, Konstantinos

AU - Antoniou, Grigoris

AU - Bassiliades, Nick

N1 - Conference code: 5

PY - 2011/7/12

Y1 - 2011/7/12

N2 - The ultimate vision of the Semantic Web (SW) is to offer an interoperable and information-rich web environment that will allow users to safely delegate complex actions to intelligent agents. Much work has been done for agents' interoperability; a plethora of proposals and standards for ontology-based metadata and rule-based reasoning are already widely used. Nevertheless, the SW proof layer has been neglected so far, although it is vital for SW agents and human users to understand how a result came about, in order to increase the trust in the interchanged information. This paper focuses on the implementation of third party SW reasoning and proofing services wrapped as agents in a multiagent framework. This way, agents can exchange and justify their arguments without the need to conform to a common rule paradigm. Via external reasoning and proofing services, the receiving agent can grasp the semantics of the received rule set and check the validity of the inferred results.

AB - The ultimate vision of the Semantic Web (SW) is to offer an interoperable and information-rich web environment that will allow users to safely delegate complex actions to intelligent agents. Much work has been done for agents' interoperability; a plethora of proposals and standards for ontology-based metadata and rule-based reasoning are already widely used. Nevertheless, the SW proof layer has been neglected so far, although it is vital for SW agents and human users to understand how a result came about, in order to increase the trust in the interchanged information. This paper focuses on the implementation of third party SW reasoning and proofing services wrapped as agents in a multiagent framework. This way, agents can exchange and justify their arguments without the need to conform to a common rule paradigm. Via external reasoning and proofing services, the receiving agent can grasp the semantics of the received rule set and check the validity of the inferred results.

KW - Defeasible reasoning

KW - DR-Prolog

KW - EMERALD

KW - Intelligent multi-agent systems

KW - Logic layer

KW - Proof layer

KW - Rules

KW - Semantic web

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

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

U2 - 10.1007/978-3-642-22546-8_4

DO - 10.1007/978-3-642-22546-8_4

M3 - Conference contribution

AN - SCOPUS:84894462248

SN - 9783642225451

VL - 6826 LNCS

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

SP - 29

EP - 43

BT - Rule-Based Reasoning, Programming, and Applications

A2 - Bassiliades, Nick

A2 - Governatori, Guido

A2 - Paschke, Adrian

PB - Springer-Verlag Berlin Heidelberg

CY - Berlin

T2 - 5th International Symposium on Rules

Y2 - 19 July 2011 through 21 July 2011

ER -

Kravari K, Papatheodorou K, Antoniou G, Bassiliades N. Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers. In Bassiliades N, Governatori G, Paschke A, editors, Rule-Based Reasoning, Programming, and Applications: 5th International Symposium, RuleML 2011, Proceedings. Vol. 6826 LNCS. Berlin: Springer-Verlag Berlin Heidelberg. 2011. p. 29-43. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-22546-8_4

Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this