Agents Arguing over Ontology Alignments

Ontologies play an important role in inter-agent communication, by providing the definitions of the vocabularies used by agents to describe the world [4]. An agent can use such a vocabulary to express its beliefs and actions, and so communicate about them. Ontologies contribute to semantic interoperability when agents are embedded in open, dynamic environments, such as the Web and its proposed extension, the Semantic Web [2]. However, in this type of environment there cannot be a single universally shared ontology that is agreed upon by all the parties involved, as this would result in imposing a standard communication vocabulary. Instead, every agent will typically use its own private ontology, which may not be understandable by other agents. Interoperability therefore relies on the ability to reconcile different existing ontologies that may be heterogeneous in format and with partially overlapping domains [7]. This reconciliation usually relies on the existence of correspondences (or mappings) between agent ontologies, and using them in order to interpret or translate messages exchanged by agents. The underlying problem is usually termed an ontology matching problem [3]. Many matching algorithms that are able to produce such alignments have been proposed [6]. The availability of a dedicated agent, here termed as an Ontology Alignment Service, that is able to provide such correspondences between two ontologies is only the beginning of a solution to achieving interoperability between agents, as any given candidate set of alignments is only suitable in certain contexts. For a given context, agents might have different and inconsistent perspectives; i.e. interests and preferences, on the acceptability of a candidate mapping, each of which may be rationally acceptable. This may be due to the subjective nature of ontologies, to the context and the requirement of the alignments and so on. For example, an agent may be interested in accepting only those mappings that have linguistic similarities, since its ontology is too structurally simple to realise any other type of mismatch. Moreover, any decision on the acceptability of these mappings has to be made dynamically (at run time), due to the fact that the agents have no prior knowledge of either the existence or constraints of other agents. In order to address this problem, we present a framework to support agents to negotiate agreement on the terminology they use in order to communicate, by allowing them to express their preferred choices over candidate correspondences. Agreements are determined by means of argument-based negotiation to deal specifically with arguments that support or oppose the proposed correspondences between ontologies. Our argumentation framework is based on the Value-based Argument Frameworks (V AFs) of [1]. It prescribes different strengths to arguments on the basis of the values they promote and the ranking given to these values by the audience for the argument. This allows us to systematically relate strengths of arguments to their motivations, and to accommodate different audiences with different interests and preferences. Thus, the preferences will represent the motivations of the agents to determine whether a mapping is accepted or rejected. The set of potential arguments are clearly identified and grounded on the underlying ontology language, the standard OWL, and the kinds of mapping that can be supported by any such argument