{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T01:51:42Z","timestamp":1765504302273,"version":"3.48.0"},"publisher-location":"New York, NY, USA","reference-count":62,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62476125"],"award-info":[{"award-number":["62476125"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Jiangsu Province Innovation and Entrepreneurship Team Project","award":["JSSCTD202202"],"award-info":[{"award-number":["JSSCTD202202"]}]},{"name":"Nanjing University International Collaboration Initiative"},{"name":"the Xiaomi Foundation"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,11,10]]},"DOI":"10.1145\/3746252.3761380","type":"proceedings-article","created":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T00:29:28Z","timestamp":1762561768000},"page":"3041-3049","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Strong Forgetting for ALCQ-Ontologies"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-7852-5513","authenticated-orcid":false,"given":"Sen","family":"Wang","sequence":"first","affiliation":[{"name":"National Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-7762-8573","authenticated-orcid":false,"given":"Yizheng","family":"Zhao","sequence":"additional","affiliation":[{"name":"National Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"}]}],"member":"320","published-online":{"date-parts":[[2025,11,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01448035"},{"volume-title":"An Introduction to Description Logic","author":"Baader Franz","key":"e_1_3_2_1_2_1","unstructured":"Franz Baader, Ian Horrocks, Carsten Lutz, and Ulrike Sattler. 2017. An Introduction to Description Logic. Cambridge University Press."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.01.005"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/9.2.231"},{"key":"e_1_3_2_1_5_1","unstructured":"George Boole. 1854. An Investigation of the Laws of Thought. Walton & Maberly."},{"key":"e_1_3_2_1_6_1","first-page":"84","volume-title":"Proc. IJCAI'99","author":"Calvanese Diego","year":"1999","unstructured":"Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. 1999. Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. In Proc. IJCAI'99. Morgan Kaufmann, 84-89."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-2(1:5)2006"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.2307\/2963594"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.2307\/2586539"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"e_1_3_2_1_11_1","volume-title":"Schmidt","author":"Del-Pinto Warren","year":"2019","unstructured":"Warren Del-Pinto and Renate A. Schmidt. 2019. ABox Abduction via Forgetting in ALC. In Proc. AAAI'19. AAAI Press, 2768-2775."},{"key":"e_1_3_2_1_12_1","volume-title":"Delgrande and Kewen Wang","author":"James","year":"2015","unstructured":"James P. Delgrande and Kewen Wang. 2015. A Syntax-Independent Approach to Forgetting in Disjunctive Logic Programs. In Proc. AAAI'15'. AAAI Press, 1482-1488."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005722130532"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.05.002"},{"key":"e_1_3_2_1_15_1","first-page":"409","volume-title":"Proc. AAAI'07","author":"Erdem Esra","year":"2007","unstructured":"Esra Erdem and Paolo Ferraris. 2007. Forgetting Actions in Domain Descriptions. In Proc. AAAI'07. AAAI Press, 409-414."},{"key":"e_1_3_2_1_16_1","first-page":"35","article-title":"Quantifier Elimination in Second-Order Predicate Logic","volume":"7","author":"Gabbay Dov M.","year":"1992","unstructured":"Dov M. Gabbay and Hans J\u00fcrgen Ohlbach. 1992. Quantifier Elimination in Second-Order Predicate Logic. South African Computer Journal, Vol. 7 (1992), 35-43.","journal-title":"South African Computer Journal"},{"volume-title":"Second-Order Quantifier Elimination - Foundations, Computational Aspects and Applications. Studies in logic : Mathematical logic and foundations","author":"Gabbay Dov M.","key":"e_1_3_2_1_17_1","unstructured":"Dov M. Gabbay, Renate A. Schmidt, and Andrzej Szalas. 2008. Second-Order Quantifier Elimination - Foundations, Computational Aspects and Applications. Studies in logic : Mathematical logic and foundations, Vol. 12. College Publications."},{"key":"e_1_3_2_1_18_1","first-page":"187","volume-title":"Proc. KR'06","author":"Ghilardi Silvio","year":"2006","unstructured":"Silvio Ghilardi, Carsten Lutz, and Frank Wolter. 2006. Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. In Proc. KR'06. AAAI Press, 187-197."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.2375"},{"key":"e_1_3_2_1_20_1","first-page":"219","article-title":"Uniform Interpolation by Resolution in Modal Logic. In Proc. JELIA'08 (LNCS, Vol. 5293)","author":"Herzig A.","year":"2008","unstructured":"A. Herzig and J. Mengin. 2008. Uniform Interpolation by Resolution in Modal Logic. In Proc. JELIA'08 (LNCS, Vol. 5293). Springer, 219-231.","journal-title":"Springer"},{"key":"e_1_3_2_1_21_1","first-page":"75","volume-title":"Proc. SWWS'01","author":"Michel C.","unstructured":"Michel C. A. Klein and Dieter Fensel. 2001. Ontology versioning on the Semantic Web. In Proc. SWWS'01. 75-91."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.3552"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2013.07.004"},{"key":"e_1_3_2_1_24_1","first-page":"830","volume-title":"Proc. IJCAI'09","author":"Konev Boris","year":"2009","unstructured":"Boris Konev, Dirk Walther, and Frank Wolter. 2009. Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. In Proc. IJCAI'09. IJCAI\/AAAI Press, 830-835."},{"key":"e_1_3_2_1_25_1","unstructured":"Patrick Koopmann. 2015. Practical Uniform Interpolation for Expressive Description Logics. Ph.D. Dissertation. The University of Manchester UK."},{"key":"e_1_3_2_1_26_1","first-page":"381","article-title":"LETHE","volume":"34","author":"Koopmann Patrick","year":"2020","unstructured":"Patrick Koopmann. 2020. LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics. K\u00fcnstliche Intell., Vol. 34, 3 (2020), 381-387.","journal-title":"Forgetting and Uniform Interpolation for Expressive Description Logics. K\u00fcnstliche Intell."},{"key":"e_1_3_2_1_27_1","volume-title":"Schmidt","author":"Koopmann Patrick","year":"2020","unstructured":"Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, and Renate A. Schmidt. 2020. Signature-Based Abduction for Expressive Description Logics. In Proc. KR'20. 592-602."},{"key":"e_1_3_2_1_28_1","first-page":"87","article-title":"Uniform Interpolation of ALC-Ontologies Using Fixpoints. In Proc. FroCoS'13 (LNCS, Vol. 8152)","author":"Koopmann Patrick","year":"2013","unstructured":"Patrick Koopmann and Renate A. Schmidt. 2013. Uniform Interpolation of ALC-Ontologies Using Fixpoints. In Proc. FroCoS'13 (LNCS, Vol. 8152). Springer, 87-102.","journal-title":"Springer"},{"key":"e_1_3_2_1_29_1","volume-title":"Schmidt","author":"Koopmann Patrick","year":"2014","unstructured":"Patrick Koopmann and Renate A. Schmidt. 2014. Count and Forget: Uniform Interpolation of SHQ$-Ontologies. In Proc. IJCAR'14 (LNCS, Vol. 8562). Springer, 434-448."},{"volume-title":"Anatomy Ontologies for Bioinformatics, Principles and Practice. Computational Biology","author":"Lambrix Patrick","key":"e_1_3_2_1_30_1","unstructured":"Patrick Lambrix and He Tan. 2008. Ontology Alignment and Merging. In Anatomy Ontologies for Bioinformatics, Principles and Practice. Computational Biology, Vol. 6. Springer, 133-149."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.04.023"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.667090"},{"key":"e_1_3_2_1_33_1","volume-title":"Proc. AAAI Fall Symposium on Relevance. AAAI Press, 154-159","author":"Lin Fangzhen","year":"1994","unstructured":"Fangzhen Lin and Ray Reiter. 1994. Forget It!. In Proc. AAAI Fall Symposium on Relevance. AAAI Press, 154-159."},{"key":"e_1_3_2_1_34_1","first-page":"286","volume-title":"Proc. KR'12","author":"Lutz Carsten","year":"2012","unstructured":"Carsten Lutz, Inan\u00e7 Seylan, and Frank Wolter. 2012. An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL$. In Proc. KR'12. AAAI Press, 286-296."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.10.007"},{"key":"e_1_3_2_1_36_1","first-page":"989","volume-title":"Proc. IJCAI'11","author":"Lutz Carsten","year":"2011","unstructured":"Carsten Lutz and Frank Wolter. 2011. Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. In Proc. IJCAI'11. IJCAI\/AAAI Press, 989-995."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","unstructured":"Nicolas Matentzoglu and Bijan Parsia. 2017. BioPortal Snapshot 30.03.2017. https:\/\/doi.org\/10.5281\/zenodo.439510","DOI":"10.5281\/zenodo.439510"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63912-8_97"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2014.06.005"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/2773565.2773650"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/11574620_42"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn048"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"e_1_3_2_1_44_1","first-page":"355","volume-title":"Proc. IJCAI'03","author":"Schlobach Stefan","year":"2003","unstructured":"Stefan Schlobach and Ronald Cornet. 2003. Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies. In Proc. IJCAI'03. Morgan Kaufmann, 355-362."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2012.01.001"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/3.6.605"},{"key":"e_1_3_2_1_47_1","first-page":"3","article-title":"Second-order reasoning in description logics","volume":"16","author":"Szalas Andrzej","year":"2006","unstructured":"Andrzej Szalas. 2006. Second-order reasoning in description logics. J. Appl. Non Class. Logics, Vol. 16, 3-4 (2006), 517-530.","journal-title":"J. Appl. Non Class. Logics"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.11567"},{"volume-title":"Model Descriptions and Propositional Quantifiers","author":"Visser Albert","key":"e_1_3_2_1_49_1","unstructured":"Albert Visser. 1996. Bisimulations, Model Descriptions and Propositional Quantifiers. Utrecht University."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/11580072_13"},{"key":"e_1_3_2_1_51_1","volume-title":"Proc. IJCAI'13'. IJCAI\/AAAI, 1162-1168","author":"Wang Yisong","year":"2013","unstructured":"Yisong Wang, Kewen Wang, and Mingyi Zhang. 2013. Forgetting for Answer Set Programs Revisited. In Proc. IJCAI'13'. IJCAI\/AAAI, 1162-1168."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-010-9187-9"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3340531.3417412"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485447.3511924"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2023\/374"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2006.02.002"},{"key":"e_1_3_2_1_57_1","volume-title":"Forgetting Revisited. In Proc. KR'10","author":"Zhang Yan","year":"2010","unstructured":"Yan Zhang and Yi Zhou. 2010. Forgetting Revisited. In Proc. KR'10. AAAI Press."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33013116"},{"key":"e_1_3_2_1_59_1","volume-title":"Schmidt","author":"Zhao Yizheng","year":"2016","unstructured":"Yizheng Zhao and Renate A. Schmidt. 2016. Forgetting Concept and Role Symbols in ALCOIH\u03bc^(triangledown, sqcap)-Ontologies. In Proc. IJCAI'16. IJCAI\/AAAI Press, 1345-1353."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/188"},{"key":"e_1_3_2_1_61_1","volume-title":"Schmidt","author":"Zhao Yizheng","year":"2018","unstructured":"Yizheng Zhao and Renate A. Schmidt. 2018a. FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics. In Proc. IJCAR'18 (LNCS, Vol. 10900). Springer, 19-27."},{"key":"e_1_3_2_1_62_1","first-page":"1984","volume-title":"Proc. IJCAI'18","author":"Zhao Yizheng","unstructured":"Yizheng Zhao and Renate A. Schmidt. 2018b. On Concept Forgetting in Description Logics with Qualified Number Restrictions. In Proc. IJCAI'18. ijcai.org, 1984-1990."}],"event":{"name":"CIKM '25: The 34th ACM International Conference on Information and Knowledge Management","sponsor":["SIGIR ACM Special Interest Group on Information Retrieval","SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web"],"location":"Seoul Republic of Korea","acronym":"CIKM '25"},"container-title":["Proceedings of the 34th ACM International Conference on Information and Knowledge Management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3746252.3761380","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T01:49:15Z","timestamp":1765504155000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3746252.3761380"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,10]]},"references-count":62,"alternative-id":["10.1145\/3746252.3761380","10.1145\/3746252"],"URL":"https:\/\/doi.org\/10.1145\/3746252.3761380","relation":{},"subject":[],"published":{"date-parts":[[2025,11,10]]},"assertion":[{"value":"2025-11-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}