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 proceedingConference contributionpeer-review

2 Citations (Scopus)


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 languageEnglish
Title of host publicationRule-Based Reasoning, Programming, and Applications
Subtitle of host publication5th International Symposium, RuleML 2011, Proceedings
EditorsNick Bassiliades, Guido Governatori, Adrian Paschke
Place of PublicationBerlin
PublisherSpringer-Verlag Berlin Heidelberg
Number of pages15
Volume6826 LNCS
ISBN (Electronic)9783642225468
ISBN (Print)9783642225451
Publication statusPublished - 12 Jul 2011
Externally publishedYes
Event5th International Symposium on Rules: Research Based and Industry Focused - Barcelona, Spain
Duration: 19 Jul 201121 Jul 2011
Conference number: 5

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher Springer-Verlag Berlin Heidelberg
Volume6826 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference5th International Symposium on Rules
Abbreviated titleRuleML 2011
Internet address


Dive into the research topics of 'Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers'. Together they form a unique fingerprint.

Cite this