{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T03:53:45Z","timestamp":1781927625423,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":58,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T00:00:00Z","timestamp":1715558400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006374","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62006114"],"award-info":[{"award-number":["62006114"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"Natural Science Foundation of Jiangsu Province","doi-asserted-by":"publisher","award":["BK20211150"],"award-info":[{"award-number":["BK20211150"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"Shuangchuang Program of Jiangsu Province","doi-asserted-by":"publisher","award":["JSSCTD202202"],"award-info":[{"award-number":["JSSCTD202202"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,5,13]]},"DOI":"10.1145\/3589334.3645317","type":"proceedings-article","created":{"date-parts":[[2024,5,8]],"date-time":"2024-05-08T07:08:13Z","timestamp":1715152093000},"page":"1945-1953","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Efficient Computation of Signature-Restricted Views for Semantic Web Ontologies"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-7762-8573","authenticated-orcid":false,"given":"Yizheng","family":"Zhao","sequence":"first","affiliation":[{"name":"National Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,5,13]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01448035"},{"key":"e_1_3_2_2_2_1","volume-title":"Web Ontology Language: OWL","author":"Antoniou Grigoris","unstructured":"Grigoris Antoniou and Frank van Harmelen. 2004. Web Ontology Language: OWL. Springer Berlin Heidelberg, 67--92."},{"key":"e_1_3_2_2_3_1","volume-title":"An Introduction to Description Logic","author":"Baader Franz","unstructured":"Franz Baader, Ian Horrocks, Carsten Lutz, and Ulrike Sattler. 2017. An Introduction to Description Logic. Cambridge University Press."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"crossref","unstructured":"Leo Bachmair Harald Ganzinger David A. McAllester and Christopher Lynch. 2001. Resolution Theorem Proving. See citeNDBLP:books\/el\/RobinsonV01 19--99.","DOI":"10.1016\/B978-044450813-3\/50004-7"},{"key":"e_1_3_2_2_5_1","unstructured":"George Boole. 1854. An Investigation of the Laws of Thought. Walton & Maberly."},{"key":"e_1_3_2_2_6_1","volume-title":"Proc. RW'16 (Lecture Notes in Computer Science","volume":"89","author":"Botoeva Elena","year":"2016","unstructured":"Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev. 2016. Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. In Proc. RW'16 (Lecture Notes in Computer Science, Vol. 9885). Springer, 27--89."},{"key":"e_1_3_2_2_7_1","volume-title":"Giuseppe De Giacomo, and Maurizio Lenzerini","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_2_8_1","volume-title":"Schmidt","author":"Del-Pinto Warren","year":"2019","unstructured":"Warren Del-Pinto and Renate A. Schmidt. 2019. ABox Abduction via Forgetting in $mathcalALC$. In Proc. AAAI'19. AAAI Press, 2768--2775."},{"key":"e_1_3_2_2_9_1","volume-title":"Alexander Leitsch, Ullrich Hustadt, and Tanel Tammet.","author":"Christian","year":"2001","unstructured":"Christian G. Ferm\u00fc ller, Alexander Leitsch, Ullrich Hustadt, and Tanel Tammet. 2001. Resolution Decision Procedures. See citeNDBLP:books\/el\/RobinsonV01, 1791--1849."},{"key":"e_1_3_2_2_10_1","volume-title":"Second-Order Quantifier Elimination - Foundations, Computational Aspects and Applications. Studies in logic : Mathematical logic and foundations","author":"Gabbay Dov M.","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_2_11_1","volume-title":"Proc. ECAI'14 (Frontiers in Artificial Intelligence and Applications","volume":"350","author":"Gatens William","year":"2014","unstructured":"William Gatens, Boris Konev, and Frank Wolter. 2014. Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. In Proc. ECAI'14 (Frontiers in Artificial Intelligence and Applications, Vol. 263). IOS Press, 345--350."},{"key":"e_1_3_2_2_12_1","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_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1242572.1242669"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.2375"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1409360.1409377"},{"key":"e_1_3_2_2_16_1","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_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45810-7_20"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/2387933.2387947"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2013.07.004"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71070-7_21"},{"key":"e_1_3_2_2_21_1","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_2_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.06.003"},{"key":"e_1_3_2_2_23_1","volume-title":"Practical Uniform Interpolation for Expressive Description Logics. Ph.,D. Dissertation","author":"Koopmann Patrick","unstructured":"Patrick Koopmann. 2015. Practical Uniform Interpolation for Expressive Description Logics. Ph.,D. Dissertation. The University of Manchester, UK."},{"key":"e_1_3_2_2_24_1","volume-title":"LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics. K\u00fc nstliche Intell.","author":"Koopmann Patrick","year":"2020","unstructured":"Patrick Koopmann. 2020. LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics. K\u00fc nstliche Intell. , Vol. 34, 3 (2020), 381--387."},{"key":"e_1_3_2_2_25_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_2_26_1","volume-title":"Schmidt","author":"Koopmann Patrick","year":"2013","unstructured":"Patrick Koopmann and Renate A. Schmidt. 2013a. Implementation and Evaluation of Forgetting in $mathcalALC$-Ontologies. In Proc. WoMo'13, Vol. 1081. CEUR-WS.org, 1--12."},{"key":"e_1_3_2_2_27_1","volume-title":"Schmidt","author":"Koopmann Patrick","year":"2013","unstructured":"Patrick Koopmann and Renate A. Schmidt. 2013b. Uniform Interpolation of $mathcalALC$-Ontologies Using Fixpoints. In Proc. FroCos'13 (Lecture Notes in Computer Science, Vol. 8152). Springer, 87--102."},{"key":"e_1_3_2_2_28_1","volume-title":"Schmidt","author":"Koopmann Patrick","year":"2015","unstructured":"Patrick Koopmann and Renate A. Schmidt. 2015. Uniform Interpolation and Forgetting for $mathcalALC$-Ontologies with ABoxes. In Proc. AAAI'15. AAAI Press, 175--181."},{"key":"e_1_3_2_2_29_1","volume-title":"Anatomy Ontologies for Bioinformatics, Principles and Practice. Computational Biology","author":"Lambrix Patrick","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_2_30_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_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3459637.3482307"},{"key":"e_1_3_2_2_32_1","volume-title":"Proc. KR'14","author":"Ludwig Michel","year":"2014","unstructured":"Michel Ludwig and Boris Konev. 2014. Practical Uniform Interpolation and Forgetting for $mathcalALC$ TBoxes with Applications to Logical Difference. In Proc. KR'14. AAAI Press, 318--327."},{"key":"e_1_3_2_2_33_1","volume-title":"Proc. KR'12","author":"Lutz Carsten","year":"2012","unstructured":"Carsten Lutz, Inancc 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_2_34_1","volume-title":"Proc. IJCAI'07","author":"Lutz Carsten","year":"2007","unstructured":"Carsten Lutz, Dirk Walther, and Frank Wolter. 2007. Conservative Extensions in Expressive Description Logics. In Proc. IJCAI'07. AAAI\/IJCAI Press, 453--458."},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.10.007"},{"key":"e_1_3_2_2_36_1","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_2_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_2_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2014.06.005"},{"key":"e_1_3_2_2_39_1","volume-title":"Proc. IJCAI'11","author":"Nikitina Nadeschda","year":"2011","unstructured":"Nadeschda Nikitina, Sebastian Rudolph, and Birte Glimm. 2011. Reasoning-Supported Interactive Revision of Knowledge Bases. In Proc. IJCAI'11. IJCAI\/AAAI, 1027--1032."},{"key":"e_1_3_2_2_40_1","volume-title":"Musen","author":"Noy Natalya Fridman","year":"2000","unstructured":"Natalya Fridman Noy and Mark A. Musen. 2000. PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment. In Proc. AAAI\/IAAI'00. AAAI Press\/The MIT Press, 450--455."},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/11574620_42"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn048"},{"key":"e_1_3_2_2_43_1","unstructured":"John Alan Robinson and Andrei Voronkov (Eds.). 2001. Handbook of Automated Reasoning (in 2 volumes). Elsevier and MIT Press."},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.4898"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90078-X"},{"key":"e_1_3_2_2_46_1","volume-title":"Etzkorn","author":"Schrimpsher Dan","year":"2010","unstructured":"Dan Schrimpsher, Zhiqiang Wu, Anthony M. Orme, and Letha H. Etzkorn. 2010. Dynamic ontology version control. In Proc. ACMse'10. ACM, 25."},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2006.62"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"crossref","unstructured":"Steffen Staab and Rudi Studer (Eds.). 2009. Handbook on Ontologies. Springer.","DOI":"10.1007\/978-3-540-92673-3"},{"key":"e_1_3_2_2_49_1","volume-title":"Complexity results and practical algorithms for logics in knowledge representation. Ph.,D. Dissertation","author":"Tobies Stephan","unstructured":"Stephan Tobies. 2001. Complexity results and practical algorithms for logics in knowledge representation. Ph.,D. Dissertation. RWTH Aachen University, Germany."},{"key":"e_1_3_2_2_50_1","volume-title":"Daniele Porello, and Oliver Kutz.","author":"Troquard Nicolas","year":"2018","unstructured":"Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Pe n aloza, Daniele Porello, and Oliver Kutz. 2018. Repairing Ontologies via Axiom Weakening. In Proc. AAAI'18. AAAI Press, 1981--1988."},{"key":"e_1_3_2_2_51_1","first-page":"963","article-title":"Modular Structures and Atomic Decomposition in Ontologies","volume":"69","author":"Vescovo Chiara Del","year":"2020","unstructured":"Chiara Del Vescovo, Matthew Horridge, Bijan Parsia, Uli Sattler, Thomas Schneider, and Haoruo Zhao. 2020. Modular Structures and Atomic Decomposition in Ontologies. J. Artif. Intell. Res. , Vol. 69 (2020), 963--1021.","journal-title":"J. Artif. Intell. Res."},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/11580072_13"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-010-9187-9"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3340531.3417412"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485447.3511924"},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2023\/374"},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33013116"},{"key":"e_1_3_2_2_58_1","volume-title":"Schmidt","author":"Zhao Yizheng","year":"2018","unstructured":"Yizheng Zhao and Renate A. Schmidt. 2018. FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics. In Proc. IJCAR'18 (Lecture Notes in Computer Science, Vol. 10900). Springer, 19--27. io"}],"event":{"name":"WWW '24: The ACM Web Conference 2024","location":"Singapore Singapore","acronym":"WWW '24","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web"]},"container-title":["Proceedings of the ACM Web Conference 2024"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3589334.3645317","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3589334.3645317","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T00:27:11Z","timestamp":1755822431000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3589334.3645317"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,13]]},"references-count":58,"alternative-id":["10.1145\/3589334.3645317","10.1145\/3589334"],"URL":"https:\/\/doi.org\/10.1145\/3589334.3645317","relation":{},"subject":[],"published":{"date-parts":[[2024,5,13]]},"assertion":[{"value":"2024-05-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}