Reasoning and Proofing Services for Semantic Web Agents

Kalliopi Kravari, Konstantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

6 Citations (Scopus)


The Semantic Web aims to offer an interoperable environment that will allow users to safely delegate complex actions to intelligent agents. Much work has been done for agents' interoperability; especially in the areas of ontology-based metadata and rule-based reasoning. Nevertheless, the SW proof layer has been neglected so far, although it is vital for agents and humans 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 multi-agent 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 publicationIJCAI'11
Subtitle of host publicationProceedings of the Twenty-Second international joint conference on Artificial Intelligence
EditorsToby Walsh
PublisherAAAI press
Number of pages6
ISBN (Electronic)9781577355168
ISBN (Print)9781577355120, 9781577355151
Publication statusPublished - 1 Jul 2011
Externally publishedYes
Event22nd International Joint Conference on Artificial Intelligence - Barcelona, Catalonia, Spain
Duration: 16 Jul 201122 Jul 2011
Conference number: 22

Publication series

NameIJCAI International Joint Conference on Artificial Intelligence
ISSN (Print)1045-0823


Conference22nd International Joint Conference on Artificial Intelligence
Abbreviated titleIJCAI 2011
CityBarcelona, Catalonia


Dive into the research topics of 'Reasoning and Proofing Services for Semantic Web Agents'. Together they form a unique fingerprint.

Cite this