Document Open Access Logo

Explaining Reasoning Results for Description Logic Ontologies (Invited Paper)

Author Patrick Koopmann

PDF

File

Thumbnail PDF
PDF
OASIcs.RW.2024-2025.6.pdf
  • Filesize: 0.93 MB
  • 29 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Computing methodologies → Description logics
Keywords
  • Explanations
  • Justifications
  • Proofs
  • Craig Interpolation
  • Contrastive Explanations

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

The Web Ontology Language (OWL), grounded in description logics, enables reasoning systems to infer implicit knowledge in a transparent manner. However, the expressivity of description logics and the complexity of large ontologies often results in reasoning outcomes that are hard to understand without additional tool support. Explanations of these outcomes are essential for users to understand ontology content, communicate its structure and behavior effectively, and debug undesired or missing inferences. This chapter provides an overview of the central explanation techniques that have been developed for explaining reasoning with description logic ontologies. Here, we consider both explanations for positive entailments (explaining why something can be deduced), as well as negative entailments (why something cannot be deduced). More specifically, we discuss justifications, proofs and interpolation as a means to explain positive entailments, and abduction for explaining negative entailments, where we also have a closer look at practical algorithms as well as practical and theoretical challenges.

Cite As Get BibTex

Patrick Koopmann. Explaining Reasoning Results for Description Logic Ontologies (Invited Paper). In Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 & RW 2025). Open Access Series in Informatics (OASIcs), Volume 138, pp. 6:1-6:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/OASIcs.RW.2024/2025.6

Author Details

Patrick Koopmann
  • Vrije Universiteit Amsterdam, The Netherlands

References

  1. Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, and Julián Méndez. Evonne: Interactive proof visualization for description logics (system description). In Jasmin Blanchette, Laura Kovács, and Dirk Pattinson, editors, Automated Reasoning - 11th International Joint Conference, IJCAR 2022, volume 13385 of Lecture Notes in Computer Science, pages 271-280. Springer, 2022. URL: https://doi.org/10.1007/978-3-031-10769-6_16.
  2. Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova. Finding small proofs for description logic entailments: Theory and practice. In Elvira Albert and Laura Kovács, editors, LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 73 of EPiC Series in Computing, pages 32-67. EasyChair, 2020. URL: https://doi.org/10.29007/NHPP.
  3. Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova. Finding good proofs for description logic entailments using recursive quality measures. In André Platzer and Geoff Sutcliffe, editors, Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, volume 12699, pages 291-308. Springer, 2021. URL: https://doi.org/10.1007/978-3-030-79876-5_17.
  4. Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova. Combining proofs for description logic and concrete domain reasoning. In Anna Fensel, Ana Ozaki, Dumitru Roman, and Ahmet Soylu, editors, Rules and Reasoning - 7th International Joint Conference, RuleML+RR 2023, volume 14244 of Lecture Notes in Computer Science, pages 54-69. Springer, 2023. URL: https://doi.org/10.1007/978-3-031-45072-3_4.
  5. Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Anke Hirsch, Nina Knieriemen, Patrick Koopmann, Alisa Kovtunova, Antonio Krüger, Alexej Popovic, and Ida S. R. Siahaan. Explaining reasoning results for OWL ontologies with evee. In Pierre Marquis, Magdalena Ortiz, and Maurice Pagnucco, editors, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, 2024. URL: https://doi.org/10.24963/KR.2024/67.
  6. Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, and Alexej Popovic. On the eve of true explainability for OWL ontologies: Description logic proofs with evee and evonne. In Ofer Arieli, Martin Homola, Jean Christoph Jung, and Marie-Laure Mugnier, editors, Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, volume 3263 of CEUR Workshop Proceedings. CEUR-WS.org, 2022. URL: https://ceur-ws.org/Vol-3263/paper-2.pdf.
  7. Christian Alrabbaa, Stefan Borgwardt, Anke Hirsch, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, and Frederik Wiehr. In the head of the beholder: Comparing different proof representations. In Guido Governatori and Anni-Yasmin Turhan, editors, Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, volume 13752 of Lecture Notes in Computer Science, pages 211-226. Springer, 2022. URL: https://doi.org/10.1007/978-3-031-21541-4_14.
  8. Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova. Explaining ontology-mediated query answers using proofs over universal models. In Guido Governatori and Anni-Yasmin Turhan, editors, Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, volume 13752 of Lecture Notes in Computer Science, pages 167-182. Springer, 2022. URL: https://doi.org/10.1007/978-3-031-21541-4_11.
  9. Christian Alrabbaa and Willi Hieke. Explaining non-entailment by model transformation for the description logic EL. In Alessandro Artale, Diego Calvanese, Haofen Wang, and Xiaowang Zhang, editors, Proceedings of the 11th International Joint Conference on Knowledge Graphs, IJCKG 2022, pages 1-9. ACM, 2022. URL: https://doi.org/10.1145/3579051.3579060.
  10. Alessandro Artale, Diego Calvanese, Roman Kontchakov, and Michael Zakharyaschev. The DL-Lite family and relations. J. Artif. Intell. Res., 36:1-69, 2009. URL: https://doi.org/10.1613/JAIR.2820.
  11. Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, and Frank Wolter. Living without beth and craig: Definitions and interpolants in description logics with nominals and role inclusions. In Proceedings of the 35th AAAI Conference on Artificial Intelligence, AAAI 2021, pages 6193-6201. AAAI Press, 2021. URL: https://doi.org/10.1609/AAAI.V35I7.16770.
  12. Franz Baader, Meghyn Bienvenu, Carsten Lutz, and Frank Wolter. Query and predicate emptiness in ontology-based data access. J. Artif. Intell. Res., 56:1-59, 2016. URL: https://doi.org/10.1613/JAIR.4866.
  13. Franz Baader, Sebastian Brandt, and Carsten Lutz. Pushing the EL envelope. In Leslie Pack Kaelbling and Alessandro Saffiotti, editors, IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, pages 364-369. Professional Book Center, 2005. URL: http://ijcai.org/Proceedings/05/Papers/0372.pdf.
  14. Franz Baader, Ian Horrocks, Carsten Lutz, and Ulrike Sattler. An Introduction to Description Logic. Cambridge University Press, 2017. URL: http://www.cambridge.org/de/academic/subjects/computer-science/knowledge-management-databases-and-data-mining/introduction-description-logic?format=PB#17zVGeWD2TZUeu6s.97.
  15. Franz Baader and Rafael Peñaloza. Automata-based axiom pinpointing. J. Autom. Reason., 45(2):91-129, 2010. URL: https://doi.org/10.1007/S10817-010-9181-2.
  16. Franz Baader and Rafael Peñaloza. Axiom pinpointing in general tableaux. J. Log. Comput., 20(1):5-34, 2010. URL: https://doi.org/10.1093/LOGCOM/EXN058.
  17. Franz Baader and Boontawee Suntisrivaraporn. Debugging SNOMED CT using axiom pinpointing in the description logic EL+. In Ronald Cornet and Kent A. Spackman, editors, Proceedings of the Third International Conference on Knowledge Representation in Medicine, volume 410 of CEUR Workshop Proceedings. CEUR-WS.org, 2008. URL: https://ceur-ws.org/Vol-410/Paper01.pdf.
  18. Meghyn Bienvenu. Complexity of abduction in the EL family of lightweight description logics. In Gerhard Brewka and Jérôme Lang, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, pages 220-230. AAAI Press, 2008. URL: http://www.aaai.org/Library/KR/2008/kr08-022.php.
  19. Meghyn Bienvenu, Diego Figueira, and Pierre Lafourcade. Shapley revisited: Tractable responsibility measures for query answers. Proc. ACM Manag. Data, 3(2):112:1-112:26, 2025. URL: https://doi.org/10.1145/3725249.
  20. Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, and Guohui Xiao. Enriching ontology-based data access with provenance. In Sarit Kraus, editor, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019, pages 1616-1623. ijcai.org, 2019. URL: https://doi.org/10.24963/IJCAI.2019/224.
  21. Diego Calvanese, Magdalena Ortiz, Mantas Simkus, and Giorgio Stefanoni. Reasoning about explanations for negative query answers in DL-Lite. J. Artif. Intell. Res., 48:635-669, 2013. URL: https://doi.org/10.1613/jair.3870.
  22. İsmail İlkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro, and Andrius Vaicenavicius. Explanations for negative query answers under existential rules. In Diego Calvanese, Esra Erdem, and Michael Thielscher, editors, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, pages 223-232, 2020. URL: https://doi.org/10.24963/KR.2020/23.
  23. İsmail İlkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, and Andrius Vaicenavicius. Explanations for ontology-mediated query answering in description logics. In Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín, and Jérôme Lang, editors, ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), volume 325 of Frontiers in Artificial Intelligence and Applications, pages 672-679. IOS Press, 2020. URL: https://doi.org/10.3233/FAIA200153.
  24. William Craig. Three uses of the herbrand-gentzen theorem in relating model theory and proof theory. J. Symb. Log., 22(3):269-285, 1957. URL: https://doi.org/10.2307/2963594.
  25. David Tena Cucala, Bernardo Cuenca Grau, and Ian Horrocks. 15 years of consequence-based reasoning. In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter, editors, Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, volume 11560 of Lecture Notes in Computer Science, pages 573-587. Springer, 2019. URL: https://doi.org/10.1007/978-3-030-22102-7_27.
  26. David Tena Cucala, Bernardo Cuenca Grau, and Ian Horrocks. Pay-as-you-go consequence-based reasoning for the description logic SROIQ. Artif. Intell., 298:103518, 2021. URL: https://doi.org/10.1016/J.ARTINT.2021.103518.
  27. Jianfeng Du, Hai Wan, and Huaguan Ma. Practical TBox abduction based on justification patterns. In Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, pages 1100-1106, 2017. URL: https://doi.org/10.1609/AAAI.V31I1.10683.
  28. Jianfeng Du, Kewen Wang, and Yi-Dong Shen. A tractable approach to ABox abduction over description logic ontologies. In Carla E. Brodley and Peter Stone, editors, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, pages 1034-1040. AAAI Press, 2014. URL: https://doi.org/10.1609/AAAI.V28I1.8852.
  29. Thomas Eiter, Tobias Geibinger, and Johannes Oetsch. Contrastive explanations for answer-set programs. In European Conference on Logics in Artificial Intelligence, pages 73-89. Springer, 2023. URL: https://doi.org/10.1007/978-3-031-43619-2_6.
  30. Corinna Elsenbroich, Oliver Kutz, and Ulrike Sattler. A case for abductive reasoning over ontologies. In Bernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, and Evan Wallace, editors, Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, volume 216 of CEUR Workshop Proceedings. CEUR-WS.org, 2006. URL: https://ceur-ws.org/Vol-216/submission_25.pdf.
  31. Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, and Zhe Wang. HermiT: An OWL 2 reasoner. J. Autom. Reason., 53(3):245-269, 2014. URL: https://doi.org/10.1007/S10817-014-9305-1.
  32. Birte Glimm and Yevgeny Kazakov. Classical algorithms for reasoning and explanation in description logics. In Markus Krötzsch and Daria Stepanova, editors, Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial Lectures, volume 11810 of Lecture Notes in Computer Science, pages 1-64. Springer, 2019. URL: https://doi.org/10.1007/978-3-030-31423-1_1.
  33. Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, and Ulrike Sattler. OWL 2: The next step for OWL. J. Web Semant., 6(4):309-322, 2008. URL: https://doi.org/10.1016/J.WEBSEM.2008.05.001.
  34. Fajar Haifani, Patrick Koopmann, Sophie Tourret, and Christoph Weidenbach. Connection-minimal abduction in EL via translation to FOL. In Jasmin Blanchette, Laura Kovács, and Dirk Pattinson, editors, Automated Reasoning - 11th International Joint Conference, IJCAR 2022, volume 13385 of Lecture Notes in Computer Science, pages 188-207. Springer, 2022. URL: https://doi.org/10.1007/978-3-031-10769-6_12.
  35. Ken Halland and Katarina Britz. ABox abduction in ALC using a DL tableau. In 2012 South African Institute of Computer Scientists and Information Technologists Conference, SAICSIT '12, pages 51-58, 2012. URL: https://doi.org/10.1145/2389836.2389843.
  36. Martin Hofmann. Proof-theoretic approach to description-logic. In 20th IEEE Symposium on Logic in Computer Science (LICS 2005), pages 229-237. IEEE Computer Society, 2005. URL: https://doi.org/10.1109/LICS.2005.38.
  37. Matthew Horridge, Bijan Parsia, and Ulrike Sattler. Laconic and precise justifications in OWL. In Amit P. Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy W. Finin, and Krishnaprasad Thirunarayan, editors, The Semantic Web - ISWC 2008, volume 5318 of Lecture Notes in Computer Science, pages 323-338. Springer, 2008. URL: https://doi.org/10.1007/978-3-540-88564-1_21.
  38. Matthew Horridge, Bijan Parsia, and Ulrike Sattler. Explaining inconsistencies in OWL ontologies. In Lluís Godo and Andrea Pugliese, editors, Scalable Uncertainty Management, Third International Conference, SUM 2009, volume 5785 of Lecture Notes in Computer Science, pages 124-137. Springer, 2009. URL: https://doi.org/10.1007/978-3-642-04388-8_11.
  39. Matthew Horridge, Bijan Parsia, and Ulrike Sattler. Justification oriented proofs in OWL. In Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, and Birte Glimm, editors, The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, volume 6496 of Lecture Notes in Computer Science, pages 354-369. Springer, 2010. URL: https://doi.org/10.1007/978-3-642-17746-0_23.
  40. Ian Horrocks, Oliver Kutz, and Ulrike Sattler. The even more irresistible SROIQ. In Patrick Doherty, John Mylopoulos, and Christopher A. Welty, editors, Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, KR 2006, pages 57-67. AAAI Press, 2006. URL: http://www.aaai.org/Library/KR/2006/kr06-009.php.
  41. Yevgeny Kazakov. RIQ and SROIQ are harder than SHOIQ. In Gerhard Brewka and Jérôme Lang, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, pages 274-284. AAAI Press, 2008. URL: http://www.aaai.org/Library/KR/2008/kr08-027.php.
  42. Yevgeny Kazakov, Pavel Klinov, and Alexander Stupnikov. Towards reusable explanation services in protege. In Alessandro Artale, Birte Glimm, and Roman Kontchakov, editors, Proceedings of the 30th International Workshop on Description Logics, volume 1879 of CEUR Workshop Proceedings. CEUR-WS.org, 2017. URL: http://ceur-ws.org/Vol-1879/paper31.pdf.
  43. Yevgeny Kazakov, Markus Krötzsch, and Frantisek Simancik. The incredible ELK - from polynomial procedures to efficient reasoning with EL ontologies. J. Autom. Reason., 53(1):1-61, 2014. URL: https://doi.org/10.1007/S10817-013-9296-3.
  44. Szymon Klarman, Ulle Endriss, and Stefan Schlobach. ABox abduction in the description logic ALC. Journal of Automated Reasoning, 46(1):43-80, 2011. URL: https://doi.org/10.1007/s10817-010-9168-z.
  45. Boris Konev, Dirk Walther, and Frank Wolter. Forgetting and uniform interpolation in large-scale description logic terminologies. In Proceedings of the 21st International Joint Conference on Artificial Intelligence, IJCAI 2009, pages 830-835, 2009. URL: http://ijcai.org/Proceedings/09/Papers/142.pdf.
  46. Patrick Koopmann. LETHE: forgetting and uniform interpolation for expressive description logics. Künstliche Intell., 34(3):381-387, 2020. URL: https://doi.org/10.1007/S13218-020-00655-W.
  47. Patrick Koopmann. Signature-based abduction with fresh individuals and complex concepts for description logics. In Zhi-Hua Zhou, editor, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, pages 1929-1935. ijcai.org, 2021. URL: https://doi.org/10.24963/IJCAI.2021/266.
  48. Patrick Koopmann. Signature-based ABox abduction in ALC is hard. In Renate A. Schmidt, Christoph Wernhard, and Yizheng Zhao, editors, Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021), volume 3009 of CEUR Workshop Proceedings, pages 61-74. CEUR-WS.org, 2021. URL: https://ceur-ws.org/Vol-3009/paper3.pdf.
  49. Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, and Renate A. Schmidt. Signature-based abduction for expressive description logics. In Diego Calvanese, Esra Erdem, and Michael Thielscher, editors, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, pages 592-602, 2020. URL: https://doi.org/10.24963/KR.2020/59.
  50. Patrick Koopmann and Renate A. Schmidt. Count and forget: Uniform interpolation of SHQ-ontologies. In Stéphane Demri, Deepak Kapur, and Christoph Weidenbach, editors, Automated Reasoning - 7th International Joint Conference, IJCAR 2014, volume 8562 of Lecture Notes in Computer Science, pages 434-448. Springer, 2014. URL: https://doi.org/10.1007/978-3-319-08587-6_34.
  51. Patrick Koopmann and Renate A. Schmidt. Uniform interpolation and forgetting for ALC ontologies with ABoxes. In Blai Bonet and Sven Koenig, editors, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, pages 175-181. AAAI Press, 2015. URL: https://doi.org/10.1609/AAAI.V29I1.9206.
  52. Patrick Koopmann, Christoph Wernhard, and Frank Wolter. Interpolation in classical propositional logic, 2025. Final version to appear in Balder ten Cate, Jean Christoph Jung, Patrick Koopmann, Christoph Wernhard and Frank Wolter, editors, Theory and Applications of Craig Interpolation. Ubiquity Press, 2026. URL: https://doi.org/10.48550/arXiv.2508.11449.
  53. Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler. Complexities of Horn description logics. ACM Trans. Comput. Log., 14(1):2:1-2:36, 2013. URL: https://doi.org/10.1145/2422085.2422087.
  54. Peter Lipton. Contrastive explanation. Royal Institute of Philosophy Supplements, 27:247-266, 1990. Google Scholar
  55. Michel Ludwig and Boris Konev. Practical uniform interpolation and forgetting for ALC tboxes with applications to logical difference. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014. AAAI Press, 2014. URL: http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7985.
  56. Carsten Lutz and Frank Wolter. Foundations for uniform interpolation and forgetting in expressive description logics. In IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pages 989-995. IJCAI/AAAI, 2011. URL: https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-170.
  57. Tim S. Lyon and Jonas Karge. Constructive interpolation and concept-based beth definability for description logics via sequents. In Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, pages 3484-3492. ijcai.org, 2024. URL: https://www.ijcai.org/proceedings/2024/386.
  58. Deborah L. McGuinness and Alexander Borgida. Explaining subsumption in description logics. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, pages 816-821. Morgan Kaufmann, 1995. URL: http://ijcai.org/Proceedings/95-1/Papers/105.pdf.
  59. Julián Méndez, Christian Alrabbaa, Patrick Koopmann, Ricardo Langner, Franz Baader, and Raimund Dachselt. Evonne: A visual tool for explaining reasoning with OWL ontologies and supporting interactive debugging. Comput. Graph. Forum, 42(6), 2023. URL: https://doi.org/10.1111/CGF.14730.
  60. Mark A. Musen. The Protégé project: A look back and a look forward. AI Matters, 1(4):4-12, 2015. URL: https://doi.org/10.1145/2757001.2757003.
  61. Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, and Andreas Steigmiller. The OWL reasoner evaluation (ORE) 2015 competition report. J. Autom. Reason., 59(4):455-482, 2017. URL: https://doi.org/10.1007/S10817-017-9406-8.
  62. Rafael Peñaloza and Francesco Ricca. Pinpointing axioms in ontologies via ASP. In Georg Gottlob, Daniela Inclezan, and Marco Maratea, editors, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, volume 13416 of Lecture Notes in Computer Science, pages 315-321. Springer, 2022. URL: https://doi.org/10.1007/978-3-031-15707-3_24.
  63. Júlia Pukancová and Martin Homola. Tableau-based ABox abduction for the ALCHO description logic. In Proceedings of the 30th International Workshop on Description Logics, 2017. URL: http://ceur-ws.org/Vol-1879/paper11.pdf.
  64. Raymond Reiter. A theory of diagnosis from first principles. Artif. Intell., 32(1):57-95, 1987. URL: https://doi.org/10.1016/0004-3702(87)90062-2.
  65. Stefan Schlobach. Explaining subsumption by optimal interpolation. In José Júlio Alferes and João Alexandre Leite, editors, Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, volume 3229 of Lecture Notes in Computer Science, pages 413-425. Springer, 2004. URL: https://doi.org/10.1007/978-3-540-30227-8_35.
  66. Stefan Schlobach and Ronald Cornet. Non-standard reasoning services for the debugging of description logic terminologies. In Georg Gottlob and Toby Walsh, editors, IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, pages 355-362. Morgan Kaufmann, 2003. URL: http://ijcai.org/Proceedings/03/Papers/053.pdf.
  67. Roberto Sebastiani and Michele Vescovi. Axiom pinpointing in lightweight description logics via horn-sat encoding and conflict analysis. In Renate A. Schmidt, editor, Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, volume 5663 of Lecture Notes in Computer Science, pages 84-99. Springer, 2009. URL: https://doi.org/10.1007/978-3-642-02959-2_6.
  68. Frantisek Simancik, Yevgeny Kazakov, and Ian Horrocks. Consequence-based reasoning beyond Horn ontologies. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pages 1093-1098. IJCAI/AAAI, 2011. URL: https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-187.
  69. Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, and Yarden Katz. Pellet: A practical OWL-DL reasoner. J. Web Semant., 5(2):51-53, 2007. URL: https://doi.org/10.1016/J.WEBSEM.2007.03.004.
  70. Andreas Steigmiller, Thorsten Liebig, and Birte Glimm. Konclude: System description. J. Web Semant., 27-28:78-85, 2014. URL: https://doi.org/10.1016/J.WEBSEM.2014.06.003.
  71. Balder ten Cate, Enrico Franconi, and Inanç Seylan. Beth definability in expressive description logics. J. Artif. Intell. Res., 48:347-414, 2013. URL: https://doi.org/10.1613/JAIR.4057.
  72. Fang Wei-Kleiner, Zlatan Dragisic, and Patrick Lambrix. Abduction framework for repairing incomplete EL ontologies: Complexity results and algorithms. In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, pages 1120-1127. AAAI Press, 2014. URL: https://doi.org/10.1609/AAAI.V28I1.8858.
  73. Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, and Michael Zakharyaschev. Ontology-based data access: A survey. In Jérôme Lang, editor, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden, pages 5511-5519. ijcai.org, 2018. URL: https://doi.org/10.24963/IJCAI.2018/777.
  74. Yizheng Zhao and Renate A. Schmidt. FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions. In Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, volume 11716 of Lecture Notes in Computer Science, pages 568-579. Springer, 2019. URL: https://doi.org/10.1007/978-3-030-29436-6_34.
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact