{"type":"ScholarlyArticle","title":"Two Approaches to Ontology Aggregation Based on Axiom Weakening","authors":[{"name":"Daniele Porello","slug":"daniele-porello","given":"Daniele","family":"Porello","affiliation":"Free University of Bozen-Bolzano , Faculty of Computer Science , I-39100 Bozen-Bolzano , Italy"},{"name":"Nicolas Troquard","slug":"nicolas-troquard","given":"Nicolas","family":"Troquard","affiliation":"Free University of Bozen-Bolzano , Faculty of Computer Science , I-39100 Bozen-Bolzano , Italy"},{"name":"Rafael Peñaloza","slug":"rafael-penaloza","given":"Rafael","family":"Peñaloza","affiliation":"Free University of Bozen-Bolzano , Faculty of Computer Science , I-39100 Bozen-Bolzano , Italy"},{"name":"Roberto Confalonieri","slug":"roberto-confalonieri","given":"Roberto","family":"Confalonieri","affiliation":"Free University of Bozen-Bolzano , Faculty of Computer Science , I-39100 Bozen-Bolzano , Italy"},{"name":"Pietro Galliani","slug":"pietro-galliani","given":"Pietro","family":"Galliani","affiliation":"Free University of Bozen-Bolzano , Faculty of Computer Science , I-39100 Bozen-Bolzano , Italy"},{"name":"Oliver Kutz","slug":"oliver-kutz","given":"Oliver","family":"Kutz","affiliation":"Free University of Bozen-Bolzano , Faculty of Computer Science , I-39100 Bozen-Bolzano , Italy"}],"abstract":"Axiom weakening is a novel technique that allows for fine-grained repair of inconsistent ontologies. In a multi-agent setting, integrating ontologies corresponding to multiple agents may lead to inconsistencies. Such inconsistencies can be resolved after the integrated ontology has been built, or their generation can be prevented during ontology generation. \r\nWe implement and compare these two approaches. \r\nFirst, we study how to repair an inconsistent ontology resulting from a voting-based aggregation of views of heterogeneous agents. Second, we prevent the generation of inconsistencies by letting the agents engage in a turn-based rational protocol about the axioms to be added\r\nto the integrated ontology. We instantiate the two approaches using real-world ontologies and compare them by measuring the levels of satisfaction of the agents w.r.t. the ontology obtained by the two procedures.","doi":"10.24963/ijcai.2018/268","url":"https://ijcai.org/proceedings/2018/268","pdf":"https://ijcai.org/proceedings/2018/0268.pdf","markdown":"https://ijcai.org/proceedings/2018/268.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/268","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":268,"pages":{"first":1942,"last":1948},"keywords":["Knowledge Representation and Reasoning: Knowledge Representation and  Game Theory ; Social Choice","Knowledge Representation and Reasoning: Description Logics and Ontologies","Agent-based and Multi-agent Systems: Computational Social Choice"],"videos":[],"references":[{"position":1,"raw":"[Baader et al., 2003] Franz Baader, Diego Calvanese, Deb- orah L. McGuinness, Daniele Nardi, and Peter F. Patel- Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York, NY, USA, 2003.","title":"The Description Logic Handbook: Theory, Implementation, and Applications","authors":"Franz Baader, Diego Calvanese, L Deborah","year":"2003","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Barberà et al., 2004] Salvador Barberà, Walter Bossert, and Prasanta K Pattanaik. Ranking sets of objects. In Hand- book of utility theory, pages 893-977. Springer, 2004.","title":"Ranking sets of objects","authors":"Barberà","year":"2004","venue":"Handbook of utility theory","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Brandt et al., 2016] Felix Brandt, Vincent Conitzer, Ulle Endriss, Jérôme Lang, and Ariel D. Procaccia, editors. Handbook of Computational Social Choice. Cambridge University Press, 2016.","title":"Handbook of Computational Social Choice","authors":null,"year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Confalonieri et al., 2018] Roberto Confalonieri, Manfred Eppe, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza, and Enric Plaza. Upward Refinement Operators for Con- ceptual Blending in EL ++ . Annals of Mathematics and Artificial Intelligence, 82(1):69-99, 2018.","title":"Upward Refinement Operators for Conceptual Blending in EL ++","authors":"Roberto Confalonieri, Manfred Eppe, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza, Enric Plaza","year":"2018","venue":"Annals of Mathematics and Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Elkind et al., 2017] Edith Elkind, Piotr Faliszewski, Jean- Franc ¸ois Laslier, Piotr Skowron, Arkadii Slinko, and Nim- rod Talmon. What do multiwinner voting rules do? an ex- periment over the two-dimensional euclidean domain. In Proceedings of the Thirty-First AAAI Conference on Arti- ficial Intelligence, pages 494-501, 2017.","title":"What do multiwinner voting rules do? an experiment over the two-dimensional euclidean domain","authors":"Elkind","year":"2017","venue":"Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Euzenat, 2015] Jérôme Euzenat. Revision in networks of ontologies. Artificial Intelligence, 228:195-216, 2015.","title":"Revision in networks of ontologies","authors":"Jérôme Euzenat, Euzenat","year":"2015","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Euzenat, 2017] Jérôme Euzenat. Interaction-based ontology alignment repair with expansion and relaxation. In Pro- ceedings of the Twenty-Sixth International Joint Confer- ence on Artificial Intelligence, IJCAI-17, pages 185-191. 2017.","title":"Interaction-based ontology alignment repair with expansion and relaxation","authors":"Jérôme Euzenat, Euzenat","year":"2017","venue":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI-17","doi":null,"url":null,"internal_url":"/proceedings/2017/27"},{"position":8,"raw":"[Horridge et al., 2008] Matthew Horridge, Bijan Parsia, and Ulrike Sattler. Laconic and precise justifications in owl. In Amit Sheth, Steffen Staab, Mike Dean, Mas- simo Paolucci, Diana Maynard, Timothy Finin, and Krish- naprasad Thirunarayan, editors, The Semantic Web -ISWC 2008, pages 323-338, Berlin, Heidelberg, 2008. Springer Berlin Heidelberg.","title":"Laconic and precise justifications in owl","authors":"Matthew Horridge, Bijan Parsia, Ulrike Sattler","year":"2008","venue":"The Semantic Web -ISWC 2008","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Horridge et al., 2012] Matthew Horridge, Bijan Parsia, and Ulrike Sattler. Justification masking in ontologies. In KR. AAAI Press, 2012.","title":"Justification masking in ontologies","authors":"Matthew Horridge, Bijan Parsia, Ulrike Sattler","year":"2012","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Jiménez-Ruiz et al., 2016] Ernesto Jiménez-Ruiz, Terry R. Payne, Alessandro Solimando, and Valentina Tamma. Limiting logical violations in ontology alignment through negotiation. In Proceedings of the Fifteenth Interna- tional Conference on Principles of Knowledge Representa- tion and Reasoning, KR'16, pages 217-226. AAAI Press, 2016.","title":"Limiting logical violations in ontology alignment through negotiation","authors":"Jiménez-Ruiz","year":"2016","venue":"Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning, KR'16","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Johnson et al., 1988] David S Johnson, Mihalis Yan- nakakis, and Christos H Papadimitriou. On generating all maximal independent sets. Information Processing Let- ters, 27(3):119-123, 1988.","title":"On generating all maximal independent sets","authors":"Mihalis David S Johnson, Christos H Yannakakis, Papadimitriou","year":"1988","venue":"Information Processing Letters","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Lehmann and Hitzler, 2010] Jens Lehmann and Pascal Hit- zler. Concept learning in description logics using re- finement operators. Machine Learning, 78(1-2):203-250, 2010.","title":"Jens Lehmann and Pascal Hitzler. Concept learning in description logics using refinement operators","authors":"Hitzler Lehmann","year":"2010","venue":"Machine Learning","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Matentzoglu and Parsia, 2017] Nicolas Matentzoglu and Bijan Parsia. BioPortal snapshot 30.03.2017, 2017. last accessed, 2017/08/04.","title":"Nicolas Matentzoglu and Bijan Parsia","authors":"Parsia Matentzoglu","year":"2017","venue":"BioPortal snapshot","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Peñaloza and Sertkaya, 2017] Rafael Peñaloza and Barıs ¸ Sertkaya. Understanding the complexity of axiom pin- pointing in lightweight description logics. Artificial In- telligence, 250:80-104, 2017.","title":"Understanding the complexity of axiom pinpointing in lightweight description logics","authors":"Sertkaya Peñaloza, Rafael Peñaloza, ¸ Barıs, Sertkaya","year":"2017","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Porello and Endriss, 2014] Daniele Porello and Ulle En- driss. Ontology merging as social choice: Judgment ag- gregation under the open world assumption. Journal of Logic and Computation, 24(6):1229-1249, 2014.","title":"Ontology merging as social choice: Judgment aggregation under the open world assumption","authors":"Daniele Porello, Ulle Endriss","year":"2014","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Solimando et al., 2017] Alessandro Solimando, Ernesto Jiménez-Ruiz, and Giovanna Guerrini. Minimizing con- servativity violations in ontology alignments: algorithms and evaluation. Knowledge and Information Systems, 51(3):775-819, Jun 2017.","title":"Minimizing conservativity violations in ontology alignments: algorithms and evaluation","authors":"Alessandro Solimando, Ernesto Jiménez-Ruiz, Giovanna Guerrini","year":"2017","venue":"Knowledge and Information Systems","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Trojahn et al., 2010] Cássia Trojahn, Paulo Quaresma, Re- nata Vieira, and Antoine Isaac. Comparing argumenta- tion frameworks for composite ontology matching. In Pe- ter McBurney, Iyad Rahwan, Simon Parsons, and Nicolas Maudet, editors, Argumentation in Multi-Agent Systems, pages 305-320, Berlin, Heidelberg, 2010. Springer Berlin Heidelberg.","title":"Comparing argumentation frameworks for composite ontology matching","authors":"Cássia Trojahn, Paulo Quaresma, Renata Vieira, Antoine Isaac","year":"2010","venue":"Argumentation in Multi-Agent Systems","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Troquard et al., 2018] Nicolas Troquard, Roberto Con- falonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, and Oliver Kutz. Repairing ontologies via ax- iom weakening. In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, pages 1981-1988, 2018.","title":"Repairing ontologies via axiom weakening","authors":"Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz","year":"2018","venue":"Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[van der Laag and Nienhuys-Cheng, 1998] Patrick R.J. van der Laag and Shan-Hwei Nienhuys-Cheng. Com- pleteness and properness of refinement operators in inductive logic programming. The Journal of Logic Programming, 34(3):201 -225, 1998.","title":"Completeness and properness of refinement operators in inductive logic programming","authors":"R J Patrick, Shan-Hwei Van Der Laag, Nienhuys-Cheng","year":"1998","venue":"The Journal of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Zwicker, 2016] William S. Zwicker. Introduction to the the- ory of voting. In Brandt et al. [2016], pages 23-56.","title":"Introduction to the theory of voting","authors":"William S Zwicker","year":"2016","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}