First experiments in cultural alignment repair (extended version)

euzenat2014cInternational audienceAlignments between ontologies may be established through agents holding such ontologies attempting at communicating and taking appropriate action when communication fails. This approach, that we call cultural repair, has the advantage of not assuming that everything should be set correctly before trying to communicate and of being able to overcome failures. We test here the adaptation of this approach to alignment repair, i.e., the improvement of incorrect alignments. For that purpose, we perform a series of experiments in which agents react to mistakes in alignments. The agents only know about their ontologies and alignments with others and they act in a fully decentralised way. We show that cultural repair is able to converge towards successful communication through improving the objective correctness of alignments. The obtained results are on par with a baseline of a priori alignment repair algorithms

Forgetting agent awareness: a partial semantics approach

International audiencePartial Dynamic Epistemic Logic allows agents to have different knowledge representations about the world through agent awareness. Agents use their own vocabularies to reason and talk about the world and raise their awareness when confronted with new vocabulary. Through raising awareness the vocabularies of agents are extended, suggesting there is a dual, inverse operator for forgetting awareness that decreases vocabularies. In this paper, we discuss such an operator. Unlike raising awareness, this operator may induce an abstraction on models that removes evidence while preserving conclusions. This is useful to better understand how agents with different knowledge representations communicate with each other, as they may forget the justifications that led them to their conclusions

Replicator-interactor in experimental cultural knowledge evolution

International audienc

Epistemic alignment repair

International audienc

Network of Ontologies – A Systematic Mapping Study and Challenges Comparison

Background: Network of ontologies is the pairwise match of a set of ontologies, which became recently relevant due to its applicability in different domains, such as cultural evolution. However, the challenges faced in this area are not completely known and understood, neither are their relations to ontology matching counterpart problems . Aims: The goal of this paper is to identify challenges and applications of a network of ontologies and compare them to the 8 existing challenges of ontology matching [8]. Research questions are: (i) Which are the challenges for a Network of Ontologies? (ii) What are the applications of a Network of Ontologies? Method: We defined and executed a systematic mapping review protocol. A specialist on systematic mapping review and ontology research evaluated protocol and results. Results: Out of the 67 relevant studies, 10 addressed the research questions. All of them presented challenges, but only four presented applications. Conclusions: We identified four new challenges and related them with the eight challenges presented in [8]

Agent ontology alignment repair through dynamic epistemic logic

vandenberg2020aInternational audienceOntology alignments enable agents to communicate while preserving heterogeneity in their information. Alignments may not be provided as input and should be able to evolve when communication fails or when new information contradicting the alignment is acquired. In the Alignment Repair Game (ARG) this evolution is achieved via adaptation operators. ARG was evaluated experimentally and the experiments showed that agents converge towards successful communication and improve their alignments. However, whether the adaptation operators are formally correct, complete or redundant is still an open question. In this paper, we introduce a formal framework based on Dynamic Epistemic Logic that allows us to answer this question. This framework allows us (1) to express the ontologies and alignments used, (2) to model the ARG adaptation operators through announcements and conservative upgrades and (3) to formally establish the correctness, partial redundancy and incompleteness of the adaptation operators in ARG