{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:14:14Z","timestamp":1750220054311,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,3,27]],"date-time":"2023-03-27T00:00:00Z","timestamp":1679875200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["430150274"],"award-info":[{"award-number":["430150274"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,3,27]]},"DOI":"10.1145\/3555776.3577630","type":"proceedings-article","created":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T17:16:29Z","timestamp":1686158189000},"page":"974-982","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4049-221X","authenticated-orcid":false,"given":"Franz","family":"Baader","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Dresden, Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0219-0330","authenticated-orcid":false,"given":"Francesco","family":"Kriegel","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Dresden and Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI), Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9047-7624","authenticated-orcid":false,"given":"Adrian","family":"Nuradiansyah","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Dresden, Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","author":"Baader Franz","year":"2005","unstructured":"Franz Baader , Sebastian Brandt , and Carsten Lutz . 2005 . Pushing the EL Envelope. In IJCAI-05 , Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence , Edinburgh, Scotland, UK, July 30 - August 5, 2005, Leslie Pack Kaelbling and Alessandro Saffiotti (Eds.). Professional Book Center, 364--369. http:\/\/ijcai.org\/Proceedings\/05\/Papers\/0372.pdf Franz Baader, Sebastian Brandt, and Carsten Lutz. 2005. Pushing the EL Envelope. In IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005, Leslie Pack Kaelbling and Alessandro Saffiotti (Eds.). Professional Book Center, 364--369. http:\/\/ijcai.org\/Proceedings\/05\/Papers\/0372.pdf"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/9781139025355"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-79876-5_18"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-06981-9_8"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.25368\/2022.65"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022","author":"Baader Franz","year":"2022","unstructured":"Franz Baader and Francesco Kriegel . 2022 . Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs . In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022 , Haifa, Israel. July 31 - August 5, 2022, Gabriele Kern-Isberner, Gerhard Lakemeyer, and Thomas Meyer (Eds.). 10.24963\/kr.2022\/3 Franz Baader and Francesco Kriegel. 2022. Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs. In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel. July 31 - August 5, 2022, Gabriele Kern-Isberner, Gerhard Lakemeyer, and Thomas Meyer (Eds.). 10.24963\/kr.2022\/3"},{"key":"e_1_3_2_1_7_1","volume-title":"JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings (Lecture Notes in Computer Science), Francesco Calimeri, Nicola Leone, and Marco Manna (Eds.)","volume":"11468","author":"Baader Franz","year":"2019","unstructured":"Franz Baader , Francesco Kriegel , and Adrian Nuradiansyah . 2019 . Privacy-Preserving Ontology Publishing for EL Instance Stores. In Logics in Artificial Intelligence - 16th European Conference , JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings (Lecture Notes in Computer Science), Francesco Calimeri, Nicola Leone, and Marco Manna (Eds.) , Vol. 11468 . Springer, 323--338. 10.1007\/978-3-030- 19570-0_21 Franz Baader, Francesco Kriegel, and Adrian Nuradiansyah. 2019. Privacy-Preserving Ontology Publishing for EL Instance Stores. In Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings (Lecture Notes in Computer Science), Francesco Calimeri, Nicola Leone, and Marco Manna (Eds.), Vol. 11468. Springer, 323--338. 10.1007\/978-3-030-19570-0_21"},{"key":"e_1_3_2_1_8_1","volume-title":"Virtual","author":"Baader Franz","year":"2022","unstructured":"Franz Baader , Francesco Kriegel , and Adrian Nuradiansyah . 2022 . Error-Tolerant Reasoning in the Description Logic EL Based On Optimal Repairs. In Rules and Reasoning - 6th International Joint Conference, RuleML+RR 2022 , Virtual , September 26-28, 2022, Proceedings, Guido Governatori and Anni-Yasmin Turhan (Eds.). 10.1007\/978-3-031-21541-4_15 Franz Baader, Francesco Kriegel, and Adrian Nuradiansyah. 2022. Error-Tolerant Reasoning in the Description Logic EL Based On Optimal Repairs. In Rules and Reasoning - 6th International Joint Conference, RuleML+RR 2022, Virtual, September 26-28, 2022, Proceedings, Guido Governatori and Anni-Yasmin Turhan (Eds.). 10.1007\/978-3-031-21541-4_15"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-62419-4_1"},{"key":"e_1_3_2_1_10_1","volume-title":"Unification in the Description Logic EL. Log. Methods Comput. Sci. 6, 3","author":"Baader Franz","year":"2010","unstructured":"Franz Baader and Barbara Morawska . 2010. Unification in the Description Logic EL. Log. Methods Comput. Sci. 6, 3 ( 2010 ). http:\/\/arxiv.org\/abs\/1006.2289 Franz Baader and Barbara Morawska. 2010. Unification in the Description Logic EL. Log. Methods Comput. Sci. 6, 3 (2010). http:\/\/arxiv.org\/abs\/1006.2289"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(80)90009-2"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(89)90079-9"},{"key":"e_1_3_2_1_13_1","volume-title":"Computing Simulations on Finite and Infinite Graphs. In 36th Annual Symposium on Foundations of Computer Science","author":"Henzinger Monika Rauch","year":"1995","unstructured":"Monika Rauch Henzinger , Thomas A. Henzinger , and Peter W. Kopke . 1995 . Computing Simulations on Finite and Infinite Graphs. In 36th Annual Symposium on Foundations of Computer Science , Milwaukee, Wisconsin, USA , 23-25 October 1995 . IEEE Computer Society, 453--462. 10.1109\/SFCS.1995.492576 Monika Rauch Henzinger, Thomas A. Henzinger, and Peter W. Kopke. 1995. Computing Simulations on Finite and Infinite Graphs. In 36th Annual Symposium on Foundations of Computer Science, Milwaukee, Wisconsin, USA, 23-25 October 1995. IEEE Computer Society, 453--462. 10.1109\/SFCS.1995.492576"},{"key":"e_1_3_2_1_14_1","volume-title":"3rd European Semantic Web Conference, ESWC 2006, Budva, Montenegro, June 11-14, 2006, Proceedings (Lecture Notes in Computer Science), York Sure and John Domingue (Eds.)","volume":"4011","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-14, 2006, Proceedings (Lecture Notes in Computer Science), York Sure and John Domingue (Eds.) , Vol. 4011 . Springer, 170--184. 10.1007\/11762256_15 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-14, 2006, Proceedings (Lecture Notes in Computer Science), York Sure and John Domingue (Eds.), Vol. 4011. Springer, 170--184. 10.1007\/11762256_15"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/net.3230140403"},{"key":"e_1_3_2_1_16_1","volume-title":"JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings (Lecture Notes in Computer Science), Eduardo Ferm\u00e9 and Jo\u00e3o Leite (Eds.)","volume":"8761","author":"Ludwig Michel","year":"2014","unstructured":"Michel Ludwig and Rafael Pe\u00f1aloza . 2014 . Error-Tolerant Reasoning in the Description Logic EL. In Logics in Artificial Intelligence - 14th European Conference , JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings (Lecture Notes in Computer Science), Eduardo Ferm\u00e9 and Jo\u00e3o Leite (Eds.) , Vol. 8761 . Springer, 107--121. 10.1007\/978-3-319-11558-0_8 Michel Ludwig and Rafael Pe\u00f1aloza. 2014. Error-Tolerant Reasoning in the Description Logic EL. In Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings (Lecture Notes in Computer Science), Eduardo Ferm\u00e9 and Jo\u00e3o Leite (Eds.), Vol. 8761. Springer, 107--121. 10.1007\/978-3-319-11558-0_8"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13218-020-00684-5"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 10th Annual ACM Symposium on Theory of Computing, May 1--3","author":"Schaefer Thomas J.","year":"1978","unstructured":"Thomas J. Schaefer . 1978 . The Complexity of Satisfiability Problems . In Proceedings of the 10th Annual ACM Symposium on Theory of Computing, May 1--3 , 1978, San Diego, California, USA, Richard J. Lipton, Walter A. Burkhard, Walter J. Savitch, Emily P. Friedman, and Alfred V. Aho (Eds.). ACM, 216--226. 10.1145\/800133.804350 Thomas J. Schaefer. 1978. The Complexity of Satisfiability Problems. In Proceedings of the 10th Annual ACM Symposium on Theory of Computing, May 1--3, 1978, San Diego, California, USA, Richard J. Lipton, Walter A. Burkhard, Walter J. Savitch, Emily P. Friedman, and Alfred V. Aho (Eds.). ACM, 216--226. 10.1145\/800133.804350"},{"key":"e_1_3_2_1_20_1","volume-title":"Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29 - June 1, 2005, Proceedings (Lecture Notes in Computer Science), Asunci\u00f3n G\u00f3mez-P\u00e9rez and J\u00e9r\u00f4me Euzenat (Eds.)","volume":"3532","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 - June 1, 2005, Proceedings (Lecture Notes in Computer Science), Asunci\u00f3n G\u00f3mez-P\u00e9rez and J\u00e9r\u00f4me Euzenat (Eds.) , Vol. 3532 . Springer, 226--240. 10.1007\/11431053_16 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 - June 1, 2005, Proceedings (Lecture Notes in Computer Science), Asunci\u00f3n G\u00f3mez-P\u00e9rez and J\u00e9r\u00f4me Euzenat (Eds.), Vol. 3532. Springer, 226--240. 10.1007\/11431053_16"},{"key":"e_1_3_2_1_21_1","volume-title":"Diagnosing Terminologies. In Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference","author":"Schlobach Stefan","year":"2005","unstructured":"Stefan Schlobach . 2005 . Diagnosing Terminologies. In Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference , July 9-13, 2005, Pittsburgh, Pennsylvania, USA, Manuela M. Veloso and Subbarao Kambhampati (Eds.). AAAI Press\/ The MIT Press, 670--675. http:\/\/www.aaai.org\/Library\/AAAI\/ 2005\/aaai05-105.php Stefan Schlobach. 2005. Diagnosing Terminologies. In Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA, Manuela M. Veloso and Subbarao Kambhampati (Eds.). AAAI Press\/ The MIT Press, 670--675. http:\/\/www.aaai.org\/Library\/AAAI\/2005\/aaai05-105.php"}],"event":{"name":"SAC '23: 38th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Tallinn Estonia","acronym":"SAC '23"},"container-title":["Proceedings of the 38th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555776.3577630","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3555776.3577630","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:23Z","timestamp":1750183703000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555776.3577630"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,27]]},"references-count":21,"alternative-id":["10.1145\/3555776.3577630","10.1145\/3555776"],"URL":"https:\/\/doi.org\/10.1145\/3555776.3577630","relation":{},"subject":[],"published":{"date-parts":[[2023,3,27]]},"assertion":[{"value":"2023-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}