Reasoning and Proofing Services for Semantic Web Agents

Kravari, Kalliopi; Papatheodorou, Constantinos; Antoniou, Grigoris; Bassiliades, Nick

doi:10.5591/978-1-57735-516-8/IJCAI11-443

Reasoning and Proofing Services for Semantic Web Agents

Kalliopi Kravari, Constantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades

Download BibTeX Cite

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 2662-2666.

https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-443

Abstract

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.

Kalliopi Kravari, Constantinos Papatheodorou, Grigoris Antoniou, and Nick Bassiliades. 2011. Reasoning and Proofing Services for Semantic Web Agents. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 2662–2666. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-443

@inproceedings{ijcai2011p443,
  title     = {Reasoning and Proofing Services for Semantic Web Agents},
  author    = {Kravari, Kalliopi and Papatheodorou, Constantinos and Antoniou, Grigoris and Bassiliades, Nick},
  booktitle = {Proceedings of the Twenty-Second International Joint Conference on
               Artificial Intelligence, {IJCAI-11}},
  publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
  editor    = {Toby Walsh},
  pages     = {2662--2666},
  year      = {2011},
  month     = {7},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-443},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-443},
}

TY  - CPAPER
TI  - Reasoning and Proofing Services for Semantic Web Agents
AU  - Kravari, Kalliopi
AU  - Papatheodorou, Constantinos
AU  - Antoniou, Grigoris
AU  - Bassiliades, Nick
T2  - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11
PB  - AAAI Press/International Joint Conferences on Artificial Intelligence
PY  - 2011
SP  - 2662
EP  - 2666
DO  - 10.5591/978-1-57735-516-8/IJCAI11-443
UR  - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-443
ER  -