{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,23]],"date-time":"2026-10-23T20:30:01Z","timestamp":1792787401771,"version":"4.5.0"},"reference-count":112,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2023,11,1]],"date-time":"2023-11-01T00:00:00Z","timestamp":1698796800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100017156","name":"Swedish e-Science Research Centre","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100017156","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100004359","name":"Swedish Research Council","doi-asserted-by":"crossref","award":["2018-04147"],"award-info":[{"award-number":["2018-04147"]}],"id":[{"id":"10.13039\/501100004359","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Horizon 2020 project SPIRIT","award":["786993"],"award-info":[{"award-number":["786993"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["J. Data and Information Quality"],"published-print":{"date-parts":[[2023,12,31]]},"abstract":"<jats:p>As semantically enabled applications require high-quality ontologies, developing and maintaining ontologies that are as correct and complete as possible is an important although difficult task in ontology engineering. A key task is ontology debugging and completion. In general, there are two steps: detecting defects and repairing defects. In this article, we discuss the state-of-the-art regarding the repairing step. We do this by formalizing the repairing step as an abductive reasoning problem and situating the state-of-the-art with respect to this framework. We show that there are still many open research problems and show opportunities for further work and advancing the field.<\/jats:p>","DOI":"10.1145\/3597304","type":"journal-article","created":{"date-parts":[[2023,5,15]],"date-time":"2023-05-15T08:25:46Z","timestamp":1684139146000},"page":"1-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Completing and Debugging Ontologies: State-of-the-art and Challenges in Repairing Ontologies"],"prefix":"10.1145","volume":"15","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9084-0470","authenticated-orcid":false,"given":"Patrick","family":"Lambrix","sequence":"first","affiliation":[{"name":"Link\u00f6ping University and University of G\u00e4vle, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,11]]},"reference":[{"key":"e_1_3_4_2_2","first-page":"521","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2016-19th International Conference, Bordeaux, France, July 5\u20138, 2016, Proceedings (Lecture Notes in Computer Science)","volume":"9710","author":"Arif M. Fareed","year":"2016","unstructured":"M. Fareed Arif, Carlos Menc\u00eda, Alexey Ignatiev, Norbert Manthey, Rafael Pe\u00f1aloza, and Jo\u00e3o Marques-Silva. 2016. BEACON: An efficient SAT-based tool for debugging \\({\\mathcal {EL}}^+\\) ontologies. In Theory and Applications of Satisfiability Testing - SAT 2016-19th International Conference, Bordeaux, France, July 5\u20138, 2016, Proceedings (Lecture Notes in Computer Science), Nadia Creignou and Daniel Le Berre (Eds.), Vol. 9710. Springer, 521\u2013530. DOI:10.1007\/978-3-319-40970-2_32"},{"key":"e_1_3_4_3_2","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"Baader Franz","year":"2003","unstructured":"Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, and Peter F. Patel-Schneider (Eds.). 2003. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press."},{"key":"e_1_3_4_4_2","first-page":"230","volume-title":"IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6\u201312, 2007","author":"Baader Franz","year":"2007","unstructured":"Franz Baader, Bernhard Ganter, Baris Sertkaya, and Ulrike Sattler. 2007. Completing description logic knowledge bases using formal concept analysis. In IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6\u201312, 2007, Manuela M. Veloso (Ed.). 230\u2013235. Retrieved from http:\/\/ijcai.org\/Proceedings\/07\/Papers\/035.pdf."},{"key":"e_1_3_4_5_2","doi-asserted-by":"crossref","DOI":"10.1017\/9781139025355","volume-title":"An Introduction to Description Logic","author":"Baader Franz","year":"2017","unstructured":"Franz Baader, Ian Horrocks, Carsten Lutz, and Uli Sattler (Eds.). 2017. An Introduction to Description Logic. Cambridge University Press."},{"key":"e_1_3_4_6_2","first-page":"319","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October\u20132 November 2018.","author":"Baader Franz","year":"2018","unstructured":"Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, and Rafael Pe\u00f1aloza. 2018. Making repairs in description logics more gentle. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October\u20132 November 2018., Michael Thielscher, Francesca Toni, and Frank Wolter (Eds.). 319\u2013328. Retrieved from https:\/\/aaai.org\/ocs\/index.php\/KR\/KR18\/paper\/view\/18056."},{"key":"e_1_3_4_7_2","first-page":"43","volume-title":"The Description Logic Handbook","author":"Baader Franz","year":"2003","unstructured":"Franz Baader and Werner Nutt. 2003. Basic description logics. In The Description Logic Handbook, Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider (Eds.). Cambridge University Press, 43\u201395."},{"key":"e_1_3_4_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-010-9181-2"},{"key":"e_1_3_4_9_2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn058"},{"key":"e_1_3_4_10_2","first-page":"1","volume-title":"Formal Concept Analysis, 7th International Conference, ICFCA 2009, Darmstadt, Germany, May 21\u201324, 2009, Proceedings (Lecture Notes in Computer Science)","volume":"5548","author":"Baader Franz","year":"2009","unstructured":"Franz Baader and Baris Sertkaya. 2009. Usability issues in description logic knowledge base completion. In Formal Concept Analysis, 7th International Conference, ICFCA 2009, Darmstadt, Germany, May 21\u201324, 2009, Proceedings (Lecture Notes in Computer Science), S\u00e9bastien Ferr\u00e9 and Sebastian Rudolph (Eds.), Vol. 5548. Springer, 1\u201321. DOI:10.1007\/978-3-642-01815-2_1"},{"key":"e_1_3_4_11_2","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btn194"},{"key":"e_1_3_4_12_2","doi-asserted-by":"publisher","DOI":"10.1186\/2041-1480-3-S1-S4"},{"key":"e_1_3_4_13_2","doi-asserted-by":"crossref","first-page":"1303","DOI":"10.1007\/978-3-540-76890-6_58","volume-title":"On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25\u201330, 2007, Proceedings, Part II (Lecture Notes in Computer Science)","volume":"4806","author":"Bell David A.","year":"2007","unstructured":"David A. Bell, Guilin Qi, and Weiru Liu. 2007. Approaches to inconsistency handling in description-logic based ontologies. In On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25\u201330, 2007, Proceedings, Part II (Lecture Notes in Computer Science), Robert Meersman, Zahir Tari, and Pilar Herrero (Eds.), Vol. 4806. Springer, 1303\u20131311. DOI:10.1007\/978-3-540-76890-6_58"},{"key":"e_1_3_4_14_2","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1109\/ICDE.2001.914855","volume-title":"Proceedings 17th International Conference on Data Engineering","author":"B\u00f6rzs\u00f6nyi Stephan","year":"2001","unstructured":"Stephan B\u00f6rzs\u00f6nyi, Donald Kossmann, and Konrad Stocker. 2001. The skyline operator. In Proceedings 17th International Conference on Data Engineering. 421\u2013430. DOI:10.1109\/ICDE.2001.914855"},{"key":"e_1_3_4_15_2","volume-title":"Ontology Learning from Text: Methods, Evaluation and Applications","author":"Buitelaar Paul","year":"2005","unstructured":"Paul Buitelaar, Philipp Cimiano, and Bernado Magnini. 2005. Ontology Learning from Text: Methods, Evaluation and Applications. IOS Press."},{"key":"e_1_3_4_16_2","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1648"},{"key":"e_1_3_4_17_2","volume-title":"Proceedings of the 33rd International Workshop on Description Logics (DL 2020) (CEUR Workshop Proceedings)","volume":"2663","author":"Confalonieri Roberto","year":"2020","unstructured":"Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, and Nicolas Troquard. 2020. Towards even more irresistible axiom weakening. In Proceedings of the 33rd International Workshop on Description Logics (DL 2020) (CEUR Workshop Proceedings), Stefan Borgwardt and Thomas Meyer (Eds.), Vol. 2663. Retrieved from https:\/\/ceur-ws.org\/Vol-2663\/paper-8.pdf."},{"key":"e_1_3_4_18_2","first-page":"68","volume-title":"Workshop on Ontology Patterns (CEUR Workshop Proceedings)","volume":"516","author":"Corcho Oscar","year":"2009","unstructured":"Oscar Corcho, Catherine Roussey, Luis Manuel Vilches Bl\u00e1zquez, and Iv\u00e1n P\u00e9rez. 2009. Pattern-based OWL ontology debugging guidelines. In Workshop on Ontology Patterns (CEUR Workshop Proceedings), Eva Blomqvist, Kurt Sandkuhl, Francois Scharffe, and Vojtech Svatek (Eds.), Vol. 516. 68\u201382. Retrieved from http:\/\/ceur-ws.org\/Vol-516\/pap02.pdf."},{"key":"e_1_3_4_19_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2011.08.005"},{"key":"e_1_3_4_20_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2017.09.001"},{"key":"e_1_3_4_21_2","first-page":"200","volume-title":"The Semantic Web - ISWC 2016, 15th International Semantic Web Conference, Kobe, Japan, October 17\u201321, 2016, Proceedings, Part I (Lecture Notes in Computer Science)","volume":"9981","author":"Dragisic Zlatan","year":"2016","unstructured":"Zlatan Dragisic, Valentina Ivanova, Patrick Lambrix, Daniel Faria, Ernesto Jim\u00e9nez-Ruiz, and Catia Pesquita. 2016. User validation in ontology alignment. In The Semantic Web - ISWC 2016, 15th International Semantic Web Conference, Kobe, Japan, October 17\u201321, 2016, Proceedings, Part I (Lecture Notes in Computer Science), Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Kr\u00f6tzsch, Freddy Lecue, Fabian Fl\u00f6ck, and Yolanda Gil (Eds.), Vol. 9981. Springer, 200\u2013217. DOI:10.1007\/978-3-319-46523-4_13"},{"key":"e_1_3_4_22_2","doi-asserted-by":"publisher","DOI":"10.1186\/s13326-017-0166-5"},{"key":"e_1_3_4_23_2","volume-title":"Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (CEUR Workshop Proceedings)","volume":"1461","author":"Dragisic Zlatan","year":"2015","unstructured":"Zlatan Dragisic, Patrick Lambrix, and Eva Blomqvist. 2015. Integrating ontology debugging and matching into the eXtreme design methodology. In Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (CEUR Workshop Proceedings), Eva Blomqvist, Pascal Hitzler, Adila Krisnadhi, Tom Narock, and Monika Solanki (Eds.), Vol. 1461. Retrieved from http:\/\/ceur-ws.org\/Vol-1461\/WOP2015_paper_1.pdf."},{"key":"e_1_3_4_24_2","first-page":"56","volume-title":"Proceedings of the Sixth International Workshop on the Visualization and Interaction for Ontologies and Linked Data co-located with the 20th International Semantic Web Conference (ISWC 2021), Virtual Conference, 2021 (CEUR Workshop Proceedings)","volume":"3023","author":"Dragisic Zlatan","year":"2021","unstructured":"Zlatan Dragisic, Ying Li, and Patrick Lambrix. 2021. RepOSE-CTab - A Prot\u00e9g\u00e9 plugin for completing ontologies. In Proceedings of the Sixth International Workshop on the Visualization and Interaction for Ontologies and Linked Data co-located with the 20th International Semantic Web Conference (ISWC 2021), Virtual Conference, 2021 (CEUR Workshop Proceedings), Patrick Lambrix, Catia Pesquita, and Vitalis Wiens (Eds.), Vol. 3023. CEUR-WS.org, 56\u201362. Retrieved from http:\/\/ceur-ws.org\/Vol-3023\/paper1.pdf."},{"key":"e_1_3_4_25_2","first-page":"919","volume-title":"Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, CIKM 2014, Shanghai, China, November 3\u20137, 2014","author":"Du Jianfeng","year":"2014","unstructured":"Jianfeng Du, Guilin Qi, and Xuefeng Fu. 2014. A practical fine-grained approach to resolving incoherent OWL 2 DL terminologies. In Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, CIKM 2014, Shanghai, China, November 3\u20137, 2014, Jianzhong Li, Xiaoyang Sean Wang, Minos N. Garofalakis, Ian Soboroff, Torsten Suel, and Min Wang (Eds.). 919\u2013928. DOI:10.1145\/2661829.2662046"},{"key":"e_1_3_4_26_2","first-page":"1100","volume-title":"Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4\u20139, 2017, San Francisco, California, USA.","author":"Du Jianfeng","year":"2017","unstructured":"Jianfeng Du, Hai Wan, and Huaguan Ma. 2017. Practical TBox abduction based on justification patterns. In Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4\u20139, 2017, San Francisco, California, USA.Satinder P. Singh and Shaul Markovitch (Eds.). 1100\u20131106. Retrieved from https:\/\/aaai.org\/ocs\/index.php\/AAAI\/AAAI17\/paper\/view\/14402."},{"key":"e_1_3_4_27_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.07.007"},{"key":"e_1_3_4_28_2","first-page":"185","volume-title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19\u201325, 2017","author":"Euzenat J\u00e9r\u00f4me","year":"2017","unstructured":"J\u00e9r\u00f4me Euzenat. 2017. Interaction-based ontology alignment repair with expansion and relaxation. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19\u201325, 2017, Carles Sierra (Ed.). 185\u2013191. DOI:10.24963\/ijcai.2017\/27"},{"key":"e_1_3_4_29_2","volume-title":"Ontology Matching","author":"Euzenat Jerome","year":"2007","unstructured":"Jerome Euzenat and Pavel Shvaiko. 2007. Ontology Matching. Springer."},{"key":"e_1_3_4_30_2","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/978-3-540-76298-0_9","volume-title":"The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11\u201315, 2007 (Lecture Notes in Computer Science)","volume":"4825","author":"Falconer Sean M.","year":"2007","unstructured":"Sean M. Falconer and Margaret-Anne D. Storey. 2007. A cognitive support framework for ontology mapping. In The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11\u201315, 2007 (Lecture Notes in Computer Science), Karl Aberer, Key-Sun Choi, Natasha Fridman Noy, Dean Allemang, Kyung-Il Lee, Lyndon J. B. Nixon, Jennifer Golbeck, Peter Mika, Diana Maynard, Riichiro Mizoguchi, Guus Schreiber, and Philippe Cudr\u00e9-Mauroux (Eds.), Vol. 4825. Springer, 114\u2013127. DOI:10.1007\/978-3-540-76298-0_9"},{"key":"e_1_3_4_31_2","first-page":"80","volume-title":"Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27\u201329, 2013. Proceedings (Lecture Notes in Computer Science)","volume":"7994","author":"Fleischhacker Daniel","year":"2013","unstructured":"Daniel Fleischhacker, Christian Meilicke, Johanna V\u00f6lker, and Mathias Niepert. 2013. Computing incoherence explanations for learned ontologies. In Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27\u201329, 2013. Proceedings (Lecture Notes in Computer Science), Wolfgang Faber and Domenico Lembo (Eds.), Vol. 7994. Springer, 80\u201394. DOI:10.1007\/978-3-642-39666-3_7"},{"key":"e_1_3_4_32_2","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/11574620_19","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"Friedrich Gerhard","year":"2005","unstructured":"Gerhard Friedrich and Kostyantyn Shchekotykhin. 2005. A general diagnosis method for ontologies. In The Semantic Web \u2013 ISWC 2005, Yolanda Gil, Enrico Motta, V. Richard Benjamins, and Mark A. Musen (Eds.). Springer, Berlin, 232\u2013246."},{"key":"e_1_3_4_33_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2016.01.039"},{"key":"e_1_3_4_34_2","first-page":"97","volume-title":"International Workshop on Ontology Dynamics","author":"Haase Peter","year":"2007","unstructured":"Peter Haase and Guilin Qi. 2007. An analysis of approaches to resolving inconsistencies in DL-based ontologies. In International Workshop on Ontology Dynamics, Giorgos Flouris and Mathieu d\u2019Aquin (Eds.). 97\u2013109. Retrieved from http:\/\/kmi.open.ac.uk\/events\/iwod\/papers\/paper-13.pdf."},{"key":"e_1_3_4_35_2","doi-asserted-by":"crossref","first-page":"539","DOI":"10.3115\/992133.992154","volume-title":"Proceedings of the 14th International Conference on Computational Linguistics","author":"Hearst Marti A.","year":"1992","unstructured":"Marti A. Hearst. 1992. Automatic acquisition of hyponyms from large text corpora. In Proceedings of the 14th International Conference on Computational Linguistics. 539\u2013545. DOI:10.3115\/992133.992154"},{"key":"e_1_3_4_36_2","first-page":"323","volume-title":"The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26\u201330, 2008. Proceedings (Lecture Notes in Computer Science)","volume":"5318","author":"Horridge Matthew","year":"2008","unstructured":"Matthew Horridge, Bijan Parsia, and Ulrike Sattler. 2008. Laconic and precise justifications in OWL. In The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26\u201330, 2008. Proceedings (Lecture Notes in Computer Science), Amit P. Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy W. Finin, and Krishnaprasad Thirunarayan (Eds.), Vol. 5318. Springer, 323\u2013338. DOI:10.1007\/978-3-540-88564-1_21"},{"key":"e_1_3_4_37_2","first-page":"124","volume-title":"Scalable Uncertainty Management, Third International Conference, SUM 2009, Washington, DC, USA, September 28\u201330, 2009. Proceedings (Lecture Notes in Computer Science)","volume":"5785","author":"Horridge Matthew","year":"2009","unstructured":"Matthew Horridge, Bijan Parsia, and Ulrike Sattler. 2009. Explaining inconsistencies in OWL ontologies. In Scalable Uncertainty Management, Third International Conference, SUM 2009, Washington, DC, USA, September 28\u201330, 2009. Proceedings (Lecture Notes in Computer Science), Llu\u00eds Godo and Andrea Pugliese (Eds.), Vol. 5785. Springer, 124\u2013137. DOI:10.1007\/978-3-642-04388-8_11"},{"key":"e_1_3_4_38_2","first-page":"1","volume-title":"The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26\u201330, 2013. Proceedings","author":"Ivanova Valentina","year":"2013","unstructured":"Valentina Ivanova and Patrick Lambrix. 2013. A unified approach for aligning taxonomies and debugging taxonomies and their alignments. In The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26\u201330, 2013. Proceedings, Philipp Cimiano, \u00d3scar Corcho, Valentina Presutti, Laura Hollink, and Sebastian Rudolph (Eds.). 1\u201315. DOI:10.1007\/978-3-642-38288-8_1"},{"key":"e_1_3_4_39_2","first-page":"3","volume-title":"The Semantic Web. Latest Advances and New Domains - 12th European Semantic Web Conference, ESWC 2015, Portoroz, Slovenia, May 31\u2013June 4, 2015. Proceedings (Lecture Notes in Computer Science)","volume":"9088","author":"Ivanova Valentina","year":"2015","unstructured":"Valentina Ivanova, Patrick Lambrix, and Johan \u00c5berg. 2015. Requirements for and evaluation of user support for large-scale ontology alignment. In The Semantic Web. Latest Advances and New Domains - 12th European Semantic Web Conference, ESWC 2015, Portoroz, Slovenia, May 31\u2013June 4, 2015. Proceedings (Lecture Notes in Computer Science), Fabien Gandon, Marta Sabou, Harald Sack, Claudia d\u2019Amato, Philippe Cudr\u00e9-Mauroux, and Antoine Zimmermann (Eds.), Vol. 9088. Springer, 3\u201320. DOI:10.1007\/978-3-319-18818-8_1"},{"key":"e_1_3_4_40_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2018.10.001"},{"key":"e_1_3_4_41_2","first-page":"425","volume-title":"The Semantic Web - Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4\u20137, 2011. Proceedings","author":"Ji Qiu","year":"2011","unstructured":"Qiu Ji, Zhiqiang Gao, Zhisheng Huang, and Man Zhu. 2011. An efficient approach to debugging ontologies based on patterns. In The Semantic Web - Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4\u20137, 2011. Proceedings, Jeff Z. Pan, Huajun Chen, Hong-Gee Kim, Juanzi Li, Zhe Wu, Ian Horrocks, Riichiro Mizoguchi, and Zhaohui Wu (Eds.). 425\u2013433. DOI:10.1007\/978-3-642-29923-0_33"},{"key":"e_1_3_4_42_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2014.07.023"},{"key":"e_1_3_4_43_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02121-3_71"},{"key":"e_1_3_4_44_2","first-page":"306","volume-title":"The Semantic Web, Fourth Asian Conference, ASWC 2009, Shanghai, China, December 6\u20139, 2009. Proceedings","author":"Ji Qiu","year":"2009","unstructured":"Qiu Ji, Guilin Qi, and Peter Haase. 2009. A relevance-directed algorithm for finding justifications of DL entailments. In The Semantic Web, Fourth Asian Conference, ASWC 2009, Shanghai, China, December 6\u20139, 2009. Proceedings, Asunci\u00f3n G\u00f3mez-P\u00e9rez, Yong Yu, and Ying Ding (Eds.). 306\u2013320. DOI:10.1007\/978-3-642-10871-6_21"},{"key":"e_1_3_4_45_2","first-page":"273","volume-title":"The Semantic Web - ISWC 2011-10th International Semantic Web Conference, Bonn, Germany, October 23\u201327, 2011, Proceedings, Part I","author":"Jim\u00e9nez-Ruiz Ernesto","year":"2011","unstructured":"Ernesto Jim\u00e9nez-Ruiz and Bernardo Cuenca Grau. 2011. LogMap: Logic-based and scalable ontology matching. In The Semantic Web - ISWC 2011-10th International Semantic Web Conference, Bonn, Germany, October 23\u201327, 2011, Proceedings, Part I, Lora Aroyo, Chris Welty, Harith Alani, Jamie Taylor, Abraham Bernstein, Lalana Kagal, Natasha Fridman Noy, and Eva Blomqvist (Eds.). 273\u2013288. DOI:10.1007\/978-3-642-25073-6_18"},{"key":"e_1_3_4_46_2","first-page":"444","volume-title":"ECAI 2012-20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27\u201331, 2012","author":"Jim\u00e9nez-Ruiz Ernesto","year":"2012","unstructured":"Ernesto Jim\u00e9nez-Ruiz, Bernardo Cuenca Grau, Yujiao Zhou, and Ian Horrocks. 2012. Large-scale interactive ontology matching: Algorithms and implementation. In ECAI 2012-20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27\u201331, 2012, Luc De Raedt, Christian Bessi\u00e8re, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, and Peter J. F. Lucas (Eds.). 444\u2013449. DOI:10.3233\/978-1-61499-098-7-444"},{"key":"e_1_3_4_47_2","first-page":"246","volume-title":"Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23\u201326, 2013 (CEUR Workshop Proceedings)","volume":"1014","author":"Jim\u00e9nez-Ruiz Ernesto","year":"2013","unstructured":"Ernesto Jim\u00e9nez-Ruiz, Christian Meilicke, Bernardo Cuenca Grau, and Ian Horrocks. 2013. Evaluating mapping repair systems with large biomedical ontologies. In Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23\u201326, 2013 (CEUR Workshop Proceedings), Thomas Eiter, Birte Glimm, Yevgeny Kazakov, and Markus Kr\u00f6tzsch (Eds.), Vol. 1014. 246\u2013257. Retrieved from http:\/\/ceur-ws.org\/Vol-1014\/paper_63.pdf."},{"key":"e_1_3_4_48_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888903000651"},{"key":"e_1_3_4_49_2","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/978-3-540-76298-0_20","volume-title":"The Semantic Web - 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11\u201315, 2007. Proceedings","author":"Kalyanpur Aditya","year":"2007","unstructured":"Aditya Kalyanpur, Bijan Parsia, Matthew Horridge, and Evren Sirin. 2007. Finding all justifications of OWL DL entailments. In The Semantic Web - 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11\u201315, 2007. Proceedings, Karl Aberer, Key-Sun Choi, Natasha Noy, Dean Allemang, Kyung-Il Lee, Lyndon Nixon, Jennifer Golbeck, Peter Mika, Diana Maynard, Riichiro Mizoguchi, Guus Schreiber, and Philippe Cudre-Mauroux (Eds.). 267\u2013280. DOI:10.1007\/978-3-540-76298-0_20"},{"key":"e_1_3_4_50_2","first-page":"170","volume-title":"The Semantic Web: Research and Applications 3rd European Semantic Web Conference, ESWC 2006 Budva, Montenegro, June 11\u201314, 2006 Proceedings","author":"Kalyanpur Aditya","year":"2006","unstructured":"Aditya Kalyanpur, Bijan Parsia, Evren Sirin, and Bernardo Cuenca-Grau. 2006. Repairing unsatisfiable concepts in OWL ontologies. In The Semantic Web: Research and Applications 3rd European Semantic Web Conference, ESWC 2006 Budva, Montenegro, June 11\u201314, 2006 Proceedings, York Sure and John Domingue (Eds.). 170\u2013184. DOI:10.1007\/11762256_15"},{"key":"e_1_3_4_51_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.09.005"},{"key":"e_1_3_4_52_2","first-page":"609","volume-title":"Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14\u201317, 2018, Proceedings (Lecture Notes in Computer Science)","volume":"10900","author":"Kazakov Yevgeny","year":"2018","unstructured":"Yevgeny Kazakov and Peter Skocovsk\u00fd. 2018. Enumerating justifications using resolution. In Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14\u201317, 2018, Proceedings (Lecture Notes in Computer Science), Didier Galmiche, Stephan Schulz, and Roberto Sebastiani (Eds.), Vol. 10900. Springer, 609\u2013626. DOI:10.1007\/978-3-319-94205-6_40"},{"key":"e_1_3_4_53_2","first-page":"252","volume-title":"Knowledge Engineering and Knowledge Management - 18th International Conference, EKAW 2012, Galway City, Ireland, October 8\u201312, 2012. Proceedings","author":"Keet C. Maria","year":"2012","unstructured":"C. Maria Keet. 2012. Detecting and revising flaws in OWL object property expressions. In Knowledge Engineering and Knowledge Management - 18th International Conference, EKAW 2012, Galway City, Ireland, October 8\u201312, 2012. Proceedings, Annette ten Teije, Johanna V\u00f6lker, Siegfried Handschuh, Heiner Stuckenschmidt, Mathieu d\u2019Aquin, Andriy Nikolov, Nathalie Aussenac-Gilles, and Nathalie Hernandez (Eds.). 252\u2013266. DOI:10.1007\/978-3-642-33876-2_23"},{"key":"e_1_3_4_54_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77688-8_3"},{"key":"e_1_3_4_55_2","first-page":"17","volume-title":"Semantic Technology, Second Joint International Conference, JIST 2012, Nara, Japan, December 2\u20134, 2012. Proceedings","author":"Lambrix Patrick","year":"2012","unstructured":"Patrick Lambrix, Zlatan Dragisic, and Valentina Ivanova. 2012. Get my pizza right: Repairing missing is\u2014A relations in ALC ontologies. In Semantic Technology, Second Joint International Conference, JIST 2012, Nara, Japan, December 2\u20134, 2012. Proceedings, Hideaki Takeda, Yuzhong Qu, Riichiro Mizoguchi, and Yoshinobu Kitamura (Eds.). 17\u201332. DOI:10.1007\/978-3-642-37996-3_2"},{"key":"e_1_3_4_56_2","doi-asserted-by":"publisher","DOI":"10.1186\/2041-1480-4-10"},{"key":"e_1_3_4_57_2","doi-asserted-by":"publisher","DOI":"10.3233\/SW-160243"},{"key":"e_1_3_4_58_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2013.03.003"},{"key":"e_1_3_4_59_2","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-3-642-10871-6_6","volume-title":"The Semantic Web, Fourth Asian Conference, ASWC 2009, Shanghai, China, December 6\u20139, 2009. Proceedings (Lecture Notes in Computer Science)","volume":"5926","author":"Lambrix Patrick","year":"2009","unstructured":"Patrick Lambrix, Qiang Liu, and He Tan. 2009. Repairing the missing is-a structure of ontologies. In The Semantic Web, Fourth Asian Conference, ASWC 2009, Shanghai, China, December 6\u20139, 2009. Proceedings (Lecture Notes in Computer Science), Asuncion Gomez-Perez, Yong Yu, and Ying Ding (Eds.), Vol. 5926. Springer, 76\u201390. DOI:10.1007\/978-3-642-10871-6_6"},{"key":"e_1_3_4_60_2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/978-3-642-04581-3_8","volume-title":"Semantic Techniques for the Web: The REWERSE perspective","author":"Lambrix Patrick","year":"2009","unstructured":"Patrick Lambrix, Lena Str\u00f6mb\u00e4ck, and He Tan. 2009. Information integration in bioinformatics with ontologies and standards. In Semantic Techniques for the Web: The REWERSE perspective, Francois Bry and Jan Maluszynski (Eds.). Lecture Notes in Computer Science, Vol. 5500. Springer, 343\u2013376. DOI:10.1007\/978-3-642-04581-3_8"},{"key":"e_1_3_4_61_2","doi-asserted-by":"publisher","DOI":"10.1186\/s13326-015-0002-8"},{"key":"e_1_3_4_62_2","first-page":"177","volume-title":"The Semantic Web - ISWC 2010-9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7\u201311, 2010, Revised Selected Papers, Part II (Lecture Notes in Computer Science)","volume":"6497","author":"Lehmann Jens","year":"2010","unstructured":"Jens Lehmann and Lorenz B\u00fchmann. 2010. ORE\u2014A tool for repairing and enriching knowledge bases. In The Semantic Web - ISWC 2010-9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7\u201311, 2010, Revised Selected Papers, Part II (Lecture Notes in Computer Science), Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, and Birte Glimm (Eds.), Vol. 6497. Springer, 177\u2013193. DOI:10.1007\/978-3-642-17749-1_12"},{"key":"e_1_3_4_63_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888919000080"},{"key":"e_1_3_4_64_2","volume-title":"The Semantic Web - 20th International Conference, ESWC 2023, Hersonissos, Crete, Greece, May 28\u2013June 1, 2023, Proceedings (Lecture Notes in Computer Science)","volume":"13870","author":"Li Ying","year":"2023","unstructured":"Ying Li and Patrick Lambrix. 2023. Repairing \\({\\mathcal {EL}}\\) ontologies using weakening and completing. In The Semantic Web - 20th International Conference, ESWC 2023, Hersonissos, Crete, Greece, May 28\u2013June 1, 2023, Proceedings (Lecture Notes in Computer Science), Catia Pesquita, Ernesto Jimenez-Ruiz, Jamie McCusker, Daniel Faria, Mauro Dragoni, Anastasia Dimou, Raphael Troncy, and Sven Hertling (Eds.), Vol. 13870. Springer, 298\u2013315. DOI:10.1007\/978-3-031-33455-9_18"},{"key":"e_1_3_4_65_2","first-page":"50","volume-title":"Data Integration in the Life Sciences, 7th International Conference, DILS 2010, Gothenburg, Sweden, August 25\u201327, 2010. Proceedings (Lecture Notes in Computer Science)","volume":"6254","author":"Liu Qiang","year":"2010","unstructured":"Qiang Liu and Patrick Lambrix. 2010. A system for debugging missing is-a structure in networked ontologies. In Data Integration in the Life Sciences, 7th International Conference, DILS 2010, Gothenburg, Sweden, August 25\u201327, 2010. Proceedings (Lecture Notes in Computer Science), Patrick Lambrix and Graham Kemp (Eds.), Vol. 6254. Springer, 50\u201357. DOI:10.1007\/978-3-642-15120-0_5"},{"key":"e_1_3_4_66_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05320-1_14"},{"key":"e_1_3_4_67_2","first-page":"321","volume-title":"ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20\u201325, 2000","author":"Maedche Alexander","year":"2000","unstructured":"Alexander Maedche and Steffen Staab. 2000. Discovering conceptual relations from text. In ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20\u201325, 2000, Werner Horn (Ed.). 321\u2013325. Retrieved from http:\/\/frontiersinai.com\/ecai\/ecai2000\/pdf\/p0321.pdf."},{"key":"e_1_3_4_68_2","volume-title":"Alignment Incoherence in Ontology Matching","author":"Meilicke Christian","year":"2011","unstructured":"Christian Meilicke. 2011. Alignment Incoherence in Ontology Matching. Ph.D. Dissertation. University of Mannheim."},{"key":"e_1_3_4_69_2","first-page":"1408","volume-title":"Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22\u201326, 2007, Vancouver, British Columbia, Canada","author":"Meilicke Christian","year":"2007","unstructured":"Christian Meilicke, Heiner Stuckenschmidt, and Andrei Tamilin. 2007. Repairing ontology mappings. In Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22\u201326, 2007, Vancouver, British Columbia, Canada, Robert C. Holte and Adele Howe (Eds.). 1408\u20131413. Retrieved from https:\/\/www.aaai.org\/Papers\/AAAI\/2007\/AAAI07-223.pdf."},{"key":"e_1_3_4_70_2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn047"},{"key":"e_1_3_4_71_2","first-page":"269","volume-title":"AAAI\u201906 - Proceedings of the 21st National Conference on Artificial Intelligence","author":"Meyer Thomas","year":"2006","unstructured":"Thomas Meyer, Kevin Lee, Richard Booth, and Jeff Pan. 2006. Finding maximally satisfiable terminologies for the description logic ALC. In AAAI\u201906 - Proceedings of the 21st National Conference on Artificial Intelligence, Anthony Cohn (Ed.). AAAI Press, 269\u2013274. Retrieved from https:\/\/www.aaai.org\/Papers\/AAAI\/2006\/AAAI06-043.pdf."},{"key":"e_1_3_4_72_2","first-page":"275","volume-title":"Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29\u201330, 2011. Proceedings (Lecture Notes in Computer Science)","volume":"6902","author":"Moodley Kodylan","year":"2011","unstructured":"Kodylan Moodley, Thomas Meyer, and Ivan Jos\u00e9 Varzinczak. 2011. Root justifications for ontology repair. In Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29\u201330, 2011. Proceedings (Lecture Notes in Computer Science), Sebastian Rudolph and Claudio Guti\u00e9rrez (Eds.), Vol. 6902. Springer, 275\u2013280. DOI:10.1007\/978-3-642-23580-1_24"},{"key":"e_1_3_4_73_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2011.12.002"},{"key":"e_1_3_4_74_2","doi-asserted-by":"publisher","DOI":"10.1145\/1041410.1041421"},{"key":"e_1_3_4_75_2","first-page":"2959","volume-title":"The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7\u201312, 2020","author":"Ozaki Ana","year":"2020","unstructured":"Ana Ozaki, Cosimo Persia, and Andrea Mazzullo. 2020. Learning query inseparable \\(\\epsilon\\) \\(\\mathscr{L}\\) \\(\\mathscr{H}\\) ontologies. In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7\u201312, 2020. AAAI Press, 2959\u20132966. Retrieved from https:\/\/ojs.aaai.org\/index.php\/AAAI\/article\/view\/5688."},{"key":"e_1_3_4_76_2","first-page":"29","volume-title":"ECAI 2010-19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16\u201320, 2010, Proceedings","author":"Pe\u00f1aloza Rafael","year":"2010","unstructured":"Rafael Pe\u00f1aloza and Baris Sertkaya. 2010. Complexity of axiom pinpointing in the DL-lite family of description logics. In ECAI 2010-19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16\u201320, 2010, Proceedings, Helder Coelho, Rudi Studer, and Michael J. Wooldridge (Eds.). 29\u201334. DOI:10.3233\/978-1-60750-606-5-29"},{"key":"e_1_3_4_77_2","first-page":"280","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9\u201313, 2010","author":"Pe\u00f1aloza Rafael","year":"2010","unstructured":"Rafael Pe\u00f1aloza and Baris Sertkaya. 2010. On the complexity of axiom pinpointing in the EL family of description logics. In Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9\u201313, 2010, Fangzhen Lin, Ulrike Sattler, and Miroslaw Truszczynski (Eds.). 280\u2013289. Retrieved from https:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR2010\/paper\/viewFile\/1345\/1629."},{"key":"e_1_3_4_78_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2017.06.002"},{"key":"e_1_3_4_79_2","first-page":"13","volume-title":"Proceedings of the 8th International Workshop on Ontology Matching (CEUR Workshop Proceedings)","volume":"1111","author":"Pesquita Catia","year":"2013","unstructured":"Catia Pesquita, Daniel Faria, Emanuel Santos, and Francisco M. Couto. 2013. To repair or not to repair: Reconciling correctness and coherence in ontology reference alignments. In Proceedings of the 8th International Workshop on Ontology Matching (CEUR Workshop Proceedings), Pavel Shvaiko, J\u00e9r\u00f4me Euzenat, Kavitha Srinivas, Ming Mao, and Ernesto Jim\u00e9nez-Ruiz (Eds.), Vol. 1111. 13\u201324. Retrieved from http:\/\/ceur-ws.org\/Vol-1111\/om2013_Tpaper2.pdf."},{"key":"e_1_3_4_80_2","doi-asserted-by":"publisher","DOI":"10.4018\/ijswis.2014040102"},{"key":"e_1_3_4_81_2","first-page":"521","volume-title":"The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25\u201329, 2009. Proceedings","author":"Qi Guilin","year":"2009","unstructured":"Guilin Qi, Qiu Ji, and Peter Haase. 2009. A conflict-based operator for mapping revision. In The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25\u201329, 2009. Proceedings, Abraham Bernstein, David R. Karger, Tom Heath, Lee Feigenbaum, Diana Maynard, Enrico Motta, and Krishnaprasad Thirunarayan (Eds.). 521\u2013536. DOI:10.1007\/978-3-642-04930-9_33"},{"key":"e_1_3_4_82_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"e_1_3_4_83_2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn048"},{"key":"e_1_3_4_84_2","first-page":"723","volume-title":"Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12\u201318, 2020","author":"Rienstra Tjitze","year":"2020","unstructured":"Tjitze Rienstra, Claudia Schon, and Steffen Staab. 2020. Concept contraction in the description logic EL. In Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12\u201318, 2020, Diego Calvanese, Esra Erdem, and Michael Thielscher (Eds.). 723\u2013732. DOI:10.24963\/kr.2020\/74"},{"key":"e_1_3_4_85_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2019.05.006"},{"key":"e_1_3_4_86_2","first-page":"164","volume-title":"Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18\u201321, 2018, Proceedings (Lecture Notes in Computer Science)","volume":"11092","author":"Rodler Patrick","year":"2018","unstructured":"Patrick Rodler and Wolfgang Schmid. 2018. On the impact and proper use of heuristics in test-driven ontology debugging. In Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18\u201321, 2018, Proceedings (Lecture Notes in Computer Science), Christoph Benzm\u00fcller, Francesco Ricca, Xavier Parent, and Dumitru Roman (Eds.), Vol. 11092. Springer, 164\u2013184. DOI:10.1007\/978-3-319-99906-7_11"},{"key":"e_1_3_4_87_2","first-page":"45","volume-title":"Proceedings of the Second International Workshop on Debugging Ontologies and Ontology Mappings, Montpellier, France, May 27, 2013 (CEUR Workshop Proceedings)","volume":"999","author":"Roussey Catherine","year":"2013","unstructured":"Catherine Roussey and Ondrej Zamazal. 2013. Antipattern detection: How to debug an ontology without a reasoner. In Proceedings of the Second International Workshop on Debugging Ontologies and Ontology Mappings, Montpellier, France, May 27, 2013 (CEUR Workshop Proceedings), Patrick Lambrix, Guilin Qi, Matthew Horridge, and Bijan Parsia (Eds.), Vol. 999. CEUR-WS.org, 45\u201356. Retrieved from http:\/\/ceur-ws.org\/Vol-999\/paper4.pdf."},{"key":"e_1_3_4_88_2","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0144807"},{"key":"e_1_3_4_89_2","first-page":"340","volume-title":"Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14\u201318, 2018, Proceedings (Lecture Notes in Computer Science)","volume":"10833","author":"Schekotihin Konstantin","year":"2018","unstructured":"Konstantin Schekotihin, Patrick Rodler, and Wolfgang Schmid. 2018. OntoDebug: Interactive ontology debugging plug-in for Prot\u00e9g\u00e9. In Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14\u201318, 2018, Proceedings (Lecture Notes in Computer Science), Flavio Ferrarotti and Stefan Woltran (Eds.), Vol. 10833. Springer, 340\u2013359. DOI:10.1007\/978-3-319-90050-6_19"},{"key":"e_1_3_4_90_2","first-page":"226","volume-title":"The Semantic Web: Research and Applications - Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29\u2013June 1, 2005. Proceedings","author":"Schlobach Stefan","year":"2005","unstructured":"Stefan Schlobach. 2005. Debugging and semantic clarification by pinpointing. In The Semantic Web: Research and Applications - Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29\u2013June 1, 2005. Proceedings, Asuncion Gomez-Perez and Jerome Euzenat (Eds.). 226\u2013240. DOI:10.1007\/11431053_16"},{"key":"e_1_3_4_91_2","first-page":"355","volume-title":"Proceedings of the 18th International Joint Conference on Artificial Intelligence","author":"Schlobach Stefan","year":"2003","unstructured":"Stefan Schlobach and Ronald Cornet. 2003. Non-standard reasoning services for the debugging of description logic terminologies. In Proceedings of the 18th International Joint Conference on Artificial Intelligence, Georg Gottlob and Toby Walsh (Eds.). 355\u2013360. Retrieved from https:\/\/www.ijcai.org\/Proceedings\/03\/Papers\/053.pdf."},{"key":"e_1_3_4_92_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9076-z"},{"key":"e_1_3_4_93_2","volume-title":"Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21\u201323, 2017 (CEUR Workshop Proceedings)","volume":"2050","author":"Schon Claudia","year":"2017","unstructured":"Claudia Schon and Steffen Staab. 2017. Towards SPARQL instance-level update in the presence of OWL-DL TBoxes. In Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21\u201323, 2017 (CEUR Workshop Proceedings), Stefano Borgo, Oliver Kutz, Frank Loebe, Fabian Neuhaus, Kemo Adrian, Mihailo Antovic, Valerio Basile, Martin Boeker, Diego Calvanese, Tommaso Caselli, Giorgio Colombo, Roberto Confalonieri, Laura Daniele, J\u00e9r\u00f4me Euzenat, Antony Galton, Dagmar Gromann, Maria M. Hedblom, Heinrich Herre, Inge Hinterwaldner, Andrea Janes, Ludger Jansen, Kris Krois, Antonio Lieto, Claudio Masolo, Rafael Pe\u00f1aloza, Daniele Porello, Daniele Paolo Radicioni, Emilio M. Sanfilippo, Daniel Schober, Rossella Stufano, and Amanda Vizedom (Eds.). Vol. 2050. CEUR-WS.org. Retrieved from http:\/\/ceur-ws.org\/Vol-2050\/DEW_paper_2.pdf."},{"key":"e_1_3_4_94_2","first-page":"407","volume-title":"Knowledge Engineering and Knowledge Management - 21st International Conference, EKAW 2018, Nancy, France, November 12\u201316, 2018, Proceedings (Lecture Notes in Computer Science)","volume":"11313","author":"Schon Claudia","year":"2018","unstructured":"Claudia Schon, Steffen Staab, Patricia K\u00fcgler, Philipp Kestel, Benjamin Schleich, and Sandro Wartzack. 2018. Metaproperty-guided deletion from the instance-level of a knowledge base. In Knowledge Engineering and Knowledge Management - 21st International Conference, EKAW 2018, Nancy, France, November 12\u201316, 2018, Proceedings (Lecture Notes in Computer Science), Catherine Faron-Zucker, Chiara Ghidini, Amedeo Napoli, and Yannick Toussaint (Eds.), Vol. 11313. Springer, 407\u2013423. DOI:10.1007\/978-3-030-03667-6_26"},{"key":"e_1_3_4_95_2","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/978-3-642-02959-2_6","volume-title":"Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2\u20137, 2009. Proceedings (Lecture Notes in Computer Science)","volume":"5663","author":"Sebastiani Roberto","year":"2009","unstructured":"Roberto Sebastiani and Michele Vescovi. 2009. Axiom pinpointing in lightweight description logics via Horn-SAT encoding and conflict analysis. In Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2\u20137, 2009. Proceedings (Lecture Notes in Computer Science), Renate A. Schmidt (Ed.), Vol. 5663. Springer, 84\u201399. DOI:10.1007\/978-3-642-02959-2_6"},{"key":"e_1_3_4_96_2","first-page":"898","volume-title":"The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31\u2013June 4, 2009, Proceedings (Lecture Notes in Computer Science)","volume":"5554","author":"Sertkaya Baris","year":"2009","unstructured":"Baris Sertkaya. 2009. OntoComP: A Prot\u00e9g\u00e9 plugin for completing OWL ontologies. In The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31\u2013June 4, 2009, Proceedings (Lecture Notes in Computer Science), Lora Aroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom Heath, Eero Hyv\u00f6nen, Riichiro Mizoguchi, Eyal Oren, Marta Sabou, and Elena Paslaru Bontas Simperl (Eds.), Vol. 5554. Springer, 898\u2013902. DOI:10.1007\/978-3-642-02121-3_78"},{"key":"e_1_3_4_97_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2011.12.006"},{"key":"e_1_3_4_98_2","first-page":"813","volume-title":"ECAI\u201914: Proceedings of the Twenty-first European Conference on Artificial Intelligence","author":"Shchekotykhin Kostyantyn M.","year":"2014","unstructured":"Kostyantyn M. Shchekotykhin, Gerhard Friedrich, Patrick Rodler, and Philipp Fleiss. 2014. Sequential diagnosis of high cardinality faults in knowledge-bases by direct diagnosis generation. In ECAI\u201914: Proceedings of the Twenty-first European Conference on Artificial Intelligence. IOS Press, 813\u2013818. DOI:10.3233\/978-1-61499-419-0-813"},{"key":"e_1_3_4_99_2","doi-asserted-by":"publisher","DOI":"10.1007\/11603412_5"},{"key":"e_1_3_4_100_2","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2011.253"},{"key":"e_1_3_4_101_2","first-page":"45","article-title":"Achieving maturity: The state of practice in ontology engineering in 2009","volume":"7","author":"Simperl Elena","year":"2010","unstructured":"Elena Simperl, Malgorzata Mochol, and Tobias B\u00fcrger. 2010. Achieving maturity: The state of practice in ontology engineering in 2009. Int. J. Comput. Sci. Applic. 7, 1 (2010), 45\u201365.","journal-title":"Int. J. Comput. Sci. Applic."},{"key":"e_1_3_4_102_2","first-page":"1","volume-title":"The Semantic Web - ISWC 2014-13th International Semantic Web Conference, Riva del Garda, Italy, October 19\u201323, 2014. Proceedings, Part II","author":"Solimando Alessandro","year":"2014","unstructured":"Alessandro Solimando, Ernesto Jim\u00e9nez-Ruiz, and Giovanna Guerrini. 2014. Detecting and correcting conservativity principle violations in ontology-to-ontology mappings. In The Semantic Web - ISWC 2014-13th International Semantic Web Conference, Riva del Garda, Italy, October 19\u201323, 2014. Proceedings, Part II, Peter Mika, Tania Tudorache, Abraham Bernstein, Chris Welty, Craig A. Knoblock, Denny Vrandecic, Paul T. Groth, Natasha F. Noy, Krzysztof Janowicz, and Carole A. Goble (Eds.). 1\u201316. DOI:10.1007\/978-3-319-11915-1_1"},{"key":"e_1_3_4_103_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2010.01.001"},{"key":"e_1_3_4_104_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92673-3"},{"key":"e_1_3_4_105_2","doi-asserted-by":"publisher","DOI":"10.1093\/bib\/1.4.398"},{"key":"e_1_3_4_106_2","first-page":"1981","volume-title":"Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th Innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2\u20137, 2018","author":"Troquard Nicolas","year":"2018","unstructured":"Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Pe\u00f1aloza, Daniele Porello, and Oliver Kutz. 2018. Repairing ontologies via axiom weakening. In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th Innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2\u20137, 2018, Sheila A. McIlraith and Kilian Q. Weinberger (Eds.). 1981\u20131988. Retrieved from https:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI18\/paper\/view\/17189."},{"key":"e_1_3_4_107_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2014.07.005"},{"key":"e_1_3_4_108_2","first-page":"21","article-title":"Debugging ontology mappings: A static approach","volume":"27","author":"Wang Peng","year":"2008","unstructured":"Peng Wang and Baowen Xu. 2008. Debugging ontology mappings: A static approach. Comput. Inform. 27 (2008), 21\u201336. Retrieved from http:\/\/www.cai.sk\/ojs\/index.php\/cai\/article\/view\/271\/220.","journal-title":"Comput. Inform."},{"key":"e_1_3_4_109_2","first-page":"1120","volume-title":"Proceedings of the 28th National Conference on Artificial Intelligence","author":"Wei-Kleiner Fang","year":"2014","unstructured":"Fang Wei-Kleiner, Zlatan Dragisic, and Patrick Lambrix. 2014. Abduction framework for repairing incomplete EL ontologies: Complexity results and algorithms. In Proceedings of the 28th National Conference on Artificial Intelligence. 1120\u20131127. Retrieved from https:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI14\/paper\/view\/8239\/8547."},{"key":"e_1_3_4_110_2","doi-asserted-by":"publisher","DOI":"10.1038\/sdata.2016.18"},{"key":"e_1_3_4_111_2","first-page":"402","volume-title":"IEEE\/WIC\/ACM International Conference on Web Intelligence","author":"Zavitsanos Elias","year":"2007","unstructured":"Elias Zavitsanos, Georgios Paliouras, George A. Vouros, and Sergios Petridis. 2007. Discovering subsumption hierarchies of ontology concepts from text corpora. In IEEE\/WIC\/ACM International Conference on Web Intelligence. 402\u2013408. DOI:10.1109\/WI.2007.55"},{"key":"e_1_3_4_112_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2021.107043"},{"key":"e_1_3_4_113_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2018.12.002"}],"container-title":["Journal of Data and Information Quality"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597304","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597304","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T13:49:06Z","timestamp":1750168146000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597304"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11]]},"references-count":112,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,12,31]]}},"alternative-id":["10.1145\/3597304"],"URL":"https:\/\/doi.org\/10.1145\/3597304","relation":{},"ISSN":["1936-1955","1936-1963"],"issn-type":[{"value":"1936-1955","type":"print"},{"value":"1936-1963","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,11]]},"assertion":[{"value":"2022-04-21","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-04-11","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-11-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}