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

K. Kravari, K. Papatheodorou, G. Antoniou, N. Bassiliades, “Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers”, 5th International Symposium on Rules: Research Based and Industry Focused (RuleML-2011@IJCAI), Springer Berlin / Heidelberg, Volume 6826/2011, pp. 29-43, Barcelona, Spai

5th International Symposium on Rules: Research Based and Industry Focused (RuleML-2011@IJCAI), Springer Berlin / Heidelberg, Volume 6826/2011, pp. 29-43, Barcelona, Spain, 2011.

intelligent multi-agent systems, EMERALD, DR-Prolog, defeasible reasoning, semantic web.

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 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.