{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T21:49:53Z","timestamp":1767649793028,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,23]],"date-time":"2019-09-23T00:00:00Z","timestamp":1569196800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["228"],"award-info":[{"award-number":["228"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"name":"SIRIUS"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,9,23]]},"DOI":"10.1145\/3360901.3364424","type":"proceedings-article","created":{"date-parts":[[2019,11,14]],"date-time":"2019-11-14T22:18:50Z","timestamp":1573769930000},"page":"45-52","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Ontology Extraction for Large Ontologies via Modularity and Forgetting"],"prefix":"10.1145","author":[{"given":"Jieying","family":"Chen","sequence":"first","affiliation":[{"name":"University of Manchester & University of Oslo, Manchester & Oslo, United Kingdom"}]},{"given":"Ghadah","family":"Alghamdi","sequence":"additional","affiliation":[{"name":"University of Manchester, Manchester, United Kingdom"}]},{"given":"Renate A.","family":"Schmidt","sequence":"additional","affiliation":[{"name":"University of Manchester, Manchester, United Kingdom"}]},{"given":"Dirk","family":"Walther","sequence":"additional","affiliation":[{"name":"DNV GL, Oslo, Norway"}]},{"given":"Yongsheng","family":"Gao","sequence":"additional","affiliation":[{"name":"IHTSDO (SNOMED International), London, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2019,9,23]]},"reference":[{"volume-title":"An Introduction to Description Logic","author":"Baader Franz","key":"e_1_3_2_1_1_1","unstructured":"Franz Baader , Ian Horrocks , Carsten Lutz , and Ulrike Sattler . 2017. An Introduction to Description Logic . Cambridge University Press . 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","volume-title":"Proc. of DL'19","volume":"2373","author":"Chen Jieying","year":"2019","unstructured":"Jieying Chen , Ghadah Alghamdi , Renate A. Schmidt , Dirk Walther , and Yongsheng Gao . 2019 . Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology . In Proc. of DL'19 , Vol. 2373 . CEUR-WS.org. Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, and Yongsheng Gao. 2019. Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology. In Proc. of DL'19, Vol. 2373. CEUR-WS.org."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68288-4_11"},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. of JELIA'19","author":"Chen Jieying","year":"2019","unstructured":"Jieying Chen , Michel Ludwig , Yue Ma , and Dirk Walther . 2019 . Computing Minimal Projection Modules for ELHr -Terminologies . In Proc. of JELIA'19 . 355-- 370. Jieying Chen, Michel Ludwig, Yue Ma, and Dirk Walther. 2019. Computing Minimal Projection Modules for ELHr -Terminologies. In Proc. of JELIA'19. 355-- 370."},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. of WOMoCoE'16","author":"Chen Jieying","year":"2016","unstructured":"Jieying Chen , Michel Ludwig , and Dirk Walther . 2016 . On Computing Minimal EL-Subsumption Modules . In Proc. of WOMoCoE'16 . Jieying Chen, Michel Ludwig, and Dirk Walther. 2016. On Computing Minimal EL-Subsumption Modules. In Proc. of WOMoCoE'16."},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. of GCAI'18","author":"Chen Jieying","year":"2018","unstructured":"Jieying Chen , Michel Ludwig , and Dirk Walther . 2018 . Computing Minimal Subsumption Modules of Ontologies . In Proc. of GCAI'18 . 41--53. Jieying Chen, Michel Ludwig, and Dirk Walther. 2018. Computing Minimal Subsumption Modules of Ontologies. In Proc. of GCAI'18. 41--53."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1597735.1597749"},{"volume-title":"Proc. of WI'06","author":"Eiter T.","key":"e_1_3_2_1_9_1","unstructured":"T. Eiter , G. Ianni , R. Schindlauer , H. Tompits , and K. Wang . 2006. Forgetting in Managing Rules and Ontologies . In Proc. of WI'06 . 411--419. T. Eiter, G. Ianni, R. Schindlauer, H. Tompits, and K. Wang. 2006. Forgetting in Managing Rules and Ontologies. In Proc. of WI'06. 411--419."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.05.002"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2003.07.007"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622655.1622664"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91379-7_1"},{"key":"e_1_3_2_1_14_1","volume-title":"Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. In Prof. of ESWC'08","author":"Jim\u00e9nez-Ruiz Ernesto","year":"2008","unstructured":"Ernesto Jim\u00e9nez-Ruiz , Bernardo Cuenca Grau , Ulrike Sattler , Thomas Schneider , and Rafael Berlanga Llavori . 2008 . Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. In Prof. of ESWC'08 . 185--199. Ernesto Jim\u00e9nez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, and Rafael Berlanga Llavori. 2008. Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. In Prof. of ESWC'08. 185--199."},{"volume-title":"Formal Properties of Modularisation","author":"Konev Boris","key":"e_1_3_2_1_15_1","unstructured":"Boris Konev , Carsten Lutz , DirkWalther, and FrankWolter. 2009. Formal Properties of Modularisation . Springer Verlag , Berlin, Heidelberg , 25--66. Boris Konev, Carsten Lutz, DirkWalther, and FrankWolter. 2009. Formal Properties of Modularisation. Springer Verlag, Berlin, Heidelberg, 25--66."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2013.07.004"},{"key":"e_1_3_2_1_17_1","volume-title":"Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. In Prof. of 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 Prof. of IJCAI'09 . 830--835. Boris Konev, Dirk Walther, and Frank Wolter. 2009. Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. In Prof. of IJCAI'09. 830--835."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.06.003"},{"key":"e_1_3_2_1_19_1","volume-title":"Proc. of SOQE'17","author":"Koopmann Patrick","year":"2017","unstructured":"Patrick Koopmann and Jieying Chen . 2017 . Computing ALCH-Subsumption Modules Using Uniform Interpolation . In Proc. of SOQE'17 . 51--66. Patrick Koopmann and Jieying Chen. 2017. Computing ALCH-Subsumption Modules Using Uniform Interpolation. In Proc. of SOQE'17. 51--66."},{"key":"e_1_3_2_1_20_1","volume-title":"Schmidt","author":"Koopmann Patrick","year":"2013","unstructured":"Patrick Koopmann and Renate A . Schmidt . 2013 . Forgetting Concept and Role Symbols in ALCH-Ontologies. In Proc. of LPAR '13, Vol. 8312 . 552--567. Patrick Koopmann and Renate A. Schmidt. 2013. Forgetting Concept and Role Symbols in ALCH-Ontologies. In Proc. of LPAR'13, Vol. 8312. 552--567."},{"key":"e_1_3_2_1_21_1","volume-title":"Schmidt","author":"Koopmann Patrick","year":"2013","unstructured":"Patrick Koopmann and Renate A . Schmidt . 2013 . Uniform Interpolation of ALCOntologies Using Fixpoints. In Proc. of FroCoS '13, Vol. 8152 . 87--102. Patrick Koopmann and Renate A. Schmidt. 2013. Uniform Interpolation of ALCOntologies Using Fixpoints. In Proc. of FroCoS'13, Vol. 8152. 87--102."},{"key":"e_1_3_2_1_22_1","volume-title":"Schmidt","author":"Koopmann Patrick","year":"2015","unstructured":"Patrick Koopmann and Renate A . Schmidt . 2015 . LETHE : A Saturation-Based Tool for Non-Classical Reasoning. In Proc. of ORE '15. Patrick Koopmann and Renate A. Schmidt. 2015. LETHE: A Saturation-Based Tool for Non-Classical Reasoning. In Proc. of ORE'15."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1113"},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the AAAI Fall Symposium on Relevance. 154--159","author":"Lin Fangzhen","year":"1994","unstructured":"Fangzhen Lin and Ray Reiter . 1994 . Forget It! . In Proceedings of the AAAI Fall Symposium on Relevance. 154--159 . Fangzhen Lin and Ray Reiter. 1994. Forget It!. In Proceedings of the AAAI Fall Symposium on Relevance. 154--159."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1136\/amiajnl-2011-000503"},{"key":"e_1_3_2_1_26_1","volume-title":"Proc. of KR'14","author":"Ludwig Michel","year":"2014","unstructured":"Michel Ludwig and Boris Konev . 2014 . Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference . In Proc. of KR'14 . Michel Ludwig and Boris Konev. 2014. Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference. In Proc. of KR'14."},{"key":"e_1_3_2_1_27_1","volume-title":"Proc. of GCAI'16","author":"Ludwig Michel","year":"2016","unstructured":"Michel Ludwig and Dirk Walther . 2016 . Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes -- a Proof-Theoretic Approach . In Proc. of GCAI'16 . 147--160. Michel Ludwig and Dirk Walther. 2016. Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes -- a Proof-Theoretic Approach. In Proc. of GCAI'16. 147--160."},{"key":"e_1_3_2_1_28_1","volume-title":"Proc. of 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. of KR'12 . 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. of KR'12."},{"key":"e_1_3_2_1_29_1","volume-title":"Proc. of 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. of IJCAI'11 . 989--995. Carsten Lutz and Frank Wolter. 2011. Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. In Proc. of IJCAI'11. 989--995."},{"volume-title":"The Road to Universal Logic, Arnold Koslow and Arthur Buchsbaum (Eds.).","author":"Mossakowski Till","key":"e_1_3_2_1_30_1","unstructured":"Till Mossakowski , Mihai Codescu , Fabian Neuhaus , and Oliver Kutz . 2015. The Distributed Ontology, Modeling and Specification Language -- DOL . In The Road to Universal Logic, Arnold Koslow and Arthur Buchsbaum (Eds.). Vol. 2 . Birkh\u00e4user , 489--520. Till Mossakowski, Mihai Codescu, Fabian Neuhaus, and Oliver Kutz. 2015. The Distributed Ontology, Modeling and Specification Language -- DOL. In The Road to Universal Logic, Arnold Koslow and Arthur Buchsbaum (Eds.). Vol. 2. Birkh\u00e4user, 489--520."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2014.06.005"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45221-5_42"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/3013558.3013573"},{"key":"e_1_3_2_1_34_1","volume-title":"Proc. of DL'09 (CEUR Workshop Proceedings)","volume":"477","author":"Sattler U.","unstructured":"U. Sattler , T. Schneider , and M. Zakharyaschev . 2009. Which Kind of Module Should I Extract? . In Proc. of DL'09 (CEUR Workshop Proceedings) , Vol. 477 . CEURWS. org. U. Sattler, T. Schneider, and M. Zakharyaschev. 2009. Which Kind of Module Should I Extract?. In Proc. of DL'09 (CEUR Workshop Proceedings), Vol. 477. CEURWS. org."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30227-8_35"},{"key":"e_1_3_2_1_36_1","volume-title":"Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with Snomed-RT. Journal of the American Medical Informatics Association (01","author":"Spackman Kent","year":"2000","unstructured":"Kent Spackman . 2000. Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with Snomed-RT. Journal of the American Medical Informatics Association (01 2000 ). Kent Spackman. 2000. Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with Snomed-RT. Journal of the American Medical Informatics Association (01 2000)."},{"key":"e_1_3_2_1_37_1","volume-title":"Proc. of AMIA'97","author":"Spackman Kent","year":"1997","unstructured":"Kent Spackman , Keith Campbell , and RA Cote . 1997 . SNOMED RT: a reference terminology for health care . In Proc. of AMIA'97 . Kent Spackman, Keith Campbell, and RA Cote. 1997. SNOMED RT: a reference terminology for health care. In Proc. of AMIA'97."},{"key":"e_1_3_2_1_38_1","volume-title":"Proc. of AMIA'02","author":"Spackman Kent A.","year":"2002","unstructured":"Kent A. Spackman , Robert Dionne , Eric Mays , and Jason Weis . 2002 . Role grouping as an extension to the description logic of ontology, motivated by concept modeling in SNOMED . In Proc. of AMIA'02 . Kent A. Spackman, Robert Dionne, Eric Mays, and Jason Weis. 2002. Role grouping as an extension to the description logic of ontology, motivated by concept modeling in SNOMED. In Proc. of AMIA'02."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01907-4"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1093\/ndt\/gfs461"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41335-3_6"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.2012.00442.x"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-010-9187-9"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33013116"},{"volume-title":"Proc. of IJCAI'16","author":"Zhao Yizheng","key":"e_1_3_2_1_45_1","unstructured":"Yizheng Zhao and Renate A. Schmidt . 2016. Forgetting Concept and Role Symbols in ALCOIH?+(?, ?)-Ontologies . In Proc. of IJCAI'16 . 1345--1352. Yizheng Zhao and Renate A. Schmidt. 2016. Forgetting Concept and Role Symbols in ALCOIH?+(?, ?)-Ontologies. In Proc. of IJCAI'16. 1345--1352."},{"key":"e_1_3_2_1_46_1","volume-title":"Proc. of IJCAI'18. 1984","author":"Zhao Yizheng","year":"1990","unstructured":"Yizheng Zhao and Renate A. Schmidt . 2018. On Concept Forgetting in Description Logics with Qualified Number Restrictions . In Proc. of IJCAI'18. 1984 -- 1990 . Yizheng Zhao and Renate A. Schmidt. 2018. On Concept Forgetting in Description Logics with Qualified Number Restrictions. In Proc. of IJCAI'18. 1984--1990."}],"event":{"name":"K-CAP '19: Knowledge Capture Conference","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence"],"location":"Marina Del Rey CA USA","acronym":"K-CAP '19"},"container-title":["Proceedings of the 10th International Conference on Knowledge Capture"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3360901.3364424","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3360901.3364424","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:37Z","timestamp":1750203877000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3360901.3364424"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,23]]},"references-count":45,"alternative-id":["10.1145\/3360901.3364424","10.1145\/3360901"],"URL":"https:\/\/doi.org\/10.1145\/3360901.3364424","relation":{},"subject":[],"published":{"date-parts":[[2019,9,23]]},"assertion":[{"value":"2019-09-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}