Advances and Challenges in the Development and Application of Forgetting Tools (Abstract) Renate A. Schmidt1,∗ 1 Department of Computer Science, The University of Manchester, Oxford Road, Manchester M13 9PL, United Kingdom Forgetting is a content extraction method for formal knowledge bases. Because knowledge not only consists of what is explicitly stated in the knowledge base but also of what can be inferred, knowledge extraction is a challenging problem. Forgetting attempts to create a compact and faithful representation of the stored knowledge over a user-specified signature by performining inferences on the symbols not in this signature. The result is a restricted view of the knowledge base that is equivalent to the original knowledge base without using any of the specified forgetting symbols and can be used as a stand-alone knowledge base. Forgetting views are often easier to navigate, analyse and query. We can also use forgetting to transform a logical theory or a formula into a uniform interpolant. It is useful for equivalent reduction of second-order formulae to formulae in first-order logic and provides a method to automate modal correspondence theory. Another application of forgetting is abductive reasoning, which is useful for ontology formation and ontology repair. Yet another application is logical difference computation between two ontologies. In this presentation I gave an overview of our work on the development and application of forgetting methods for description and modal logics. After an introduction to the idea of forgetting and two forms of forgetting (deductive and semantic forgetting), I discussed current advances and challenges in automating and applying forgetting. A selection of references: [3, 4, 6, 8, 7, 12, 13, 11, 2, 5, 1, 9, 10]. References [1] R. Alassaf, R. A. Schmidt, and U. Sattler. Saturation-based uniform interpolation for multi- agent modal logics. In D. Fernández-Duque, A. Palmigiano, and S. Pinchinat, editors, Advances in Modal Logic, Volume 14, pages 37–58, London, 2022. College Publications. [2] W. Del-Pinto and R. A. Schmidt. ABox abduction via forgetting in ALC. In P. Van Hentenryck and Z.-H. Zhou, editors, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-2019), pages 2768–2775. AAAI Press, 2019. [3] D. M. Gabbay, R. A. Schmidt, and A. Szałas. Second-Order Quantifier Elimination: Founda- tions, Computational Aspects and Applications, volume 12 of Studies in Logic: Mathematical Logic and Foundations. College Publications, 2008. ARQNL 2022: Automated Reasoning in Quantified Non-Classical Logics, 11 August 2022, Haifa, Israel ∗ Corresponding author. url: https://www.cs.man.ac.uk/~schmidt/ (R. A. Schmidt) orcid: 0000-0002-6673-3333 (R. A. Schmidt) © 2022 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0). CEUR Workshop Proceedings http://ceur-ws.org ISSN 1613-0073 CEUR Workshop Proceedings (CEUR-WS.org) ARQNL 2022 11 CEUR-WS.org [4] V. Goranko, U. Hustadt, R. A. Schmidt, and D. Vakarelov. SCAN is complete for all Sahlqvist formulae. In R. Berghammer, B. Möller, and G. Struth, editors, Relational and Kleene-Algebraic Methods in Computer Science (RelMiCS 7), volume 3051 of Lecture Notes in Computer Science, pages 149–162. Springer, 2004. [5] P. Koopmann, W. Del-Pinto, S. Tourret, and R. A. Schmidt. Signature-based abduction for expressive description logics. In D. Calvanese, E. Erdem, and M. Thielscher, editors, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), pages 592–602. AI Press, 2020. [6] P. Koopmann and R. A. Schmidt. Forgetting concept and role symbols in ALCH-ontologies. In K. McMillan, A. Middeldorp, and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2013), volume 8312 of Lecture Notes in Computer Science, pages 552–567. Springer, 2013. [7] P. Koopmann and R. A. Schmidt. LETHE: A saturation-based tool for non-classical rea- soning. In M. Dumontier, B. Glimm, R. Goncalves, M. Horridge, E. Jiménez-Ruiz, N. Ma- tentzoglu, B. Parsia, G. Stamou, and G. Stoilos, editors, Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015), volume CEUR-WS/Vol-1387 of CEUR Workshop Proceedings. CEUR-WS.org, 2015. [8] P. Koopmann and R. A. Schmidt. Uniform interpolation and forgetting for ALC ontologies with aboxes. In B. Bonet and S. Koenig, editors, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-2015), pages 175–181. AAAI Press, 2015. [9] M. Sakr and R. A. Schmidt. Semantic forgetting in expressive description logics. In B. Konev and G. Reger, editors, Frontiers of Combining Systems (FroCoS 2021), volume 12941 of Lecture Notes in Computer Science, pages 118–136. Springer, 2021. [10] M. Sakr and R. A. Schmidt. Fine-grained forgetting for the description logic ALC. In O. Arieli, M. Homola, J. C. Jung, and M.-L. Mugnier, editors, Proceedings of the 35th International Workshop on Description Logics (DL 2022), volume 3263 of CEUR Workshop Proceedings. CEUR-WS.org, 2022. [11] Y. Zhao, G. Alghamdi, R. A. Schmidt, H. Feng, G. Stoilos, D. Juric, and M. Khodadadi. Tracking logical difference in large-scale ontologies: A forgetting-based approach. In P. Van Hentenryck and Z.-H. Zhou, editors, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-2019), pages 3116–3124. AAAI Press, 2019. [12] Y. Zhao and R. A. Schmidt. Forgetting concept and role symbols in ALCOIHµ+ (∇, ⊓)- ontologies. In S. Kambhampati, editor, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI’16), pages 1345–1352. AAAI Press/IJCAI, 2016. [13] Y. Zhao and R. A. Schmidt. On concept forgetting in description logics with qualified number restrictions. In J. Lang, editor, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI’18), pages 1984–1990. AAAI Press/IJCAI, 2018. 12