{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:17:13Z","timestamp":1750220233833,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T00:00:00Z","timestamp":1638403200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,12,2]]},"DOI":"10.1145\/3460210.3493564","type":"proceedings-article","created":{"date-parts":[[2021,11,24]],"date-time":"2021-11-24T23:13:17Z","timestamp":1637795597000},"page":"209-216","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Upwardly Abstracted Definition-Based Subontologies"],"prefix":"10.1145","author":[{"given":"Ghadah","family":"Alghamdi","sequence":"first","affiliation":[{"name":"The University of Manchester, Manchester, United Kingdom"}]},{"given":"Renate A.","family":"Schmidt","sequence":"additional","affiliation":[{"name":"The University of Manchester, Manchester, United Kingdom"}]},{"given":"Warren","family":"Del-Pinto","sequence":"additional","affiliation":[{"name":"The University of Manchester, Manchester, United Kingdom"}]},{"given":"Yongsheng","family":"Gao","sequence":"additional","affiliation":[{"name":"IHTSDO (SNOMED International), London, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2021,12,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460210.3493564"},{"key":"e_1_3_2_1_2_1","volume-title":"Nava Maroto, Diego Maseda-Fernandez, George Demetriou, Simon Peters, Peter-John M Noble, Phil H Jones, Jo Dukes-McEwan, Alan D Radford, John Keane, and Goran Nenadic.","author":"Arguello-Casteleiro Mercedes","year":"2019","unstructured":"Mercedes Arguello-Casteleiro , Robert Stevens , Julio Des-Diz , Chris Wroe , Maria Jesus Fernandez-Prieto , Nava Maroto, Diego Maseda-Fernandez, George Demetriou, Simon Peters, Peter-John M Noble, Phil H Jones, Jo Dukes-McEwan, Alan D Radford, John Keane, and Goran Nenadic. 2019 . Exploring semantic deep learning for building reliable and reusable one health knowledge from PubMed systematic reviews and veterinary clinical notes. Journal of Biomedical Semantics ( 2019). Mercedes Arguello-Casteleiro, Robert Stevens, Julio Des-Diz, Chris Wroe, Maria Jesus Fernandez-Prieto, Nava Maroto, Diego Maseda-Fernandez, George Demetriou, Simon Peters, Peter-John M Noble, Phil H Jones, Jo Dukes-McEwan, Alan D Radford, John Keane, and Goran Nenadic. 2019. Exploring semantic deep learning for building reliable and reusable one health knowledge from PubMed systematic reviews and veterinary clinical notes. Journal of Biomedical Semantics (2019)."},{"volume-title":"An Introduction to Description Logic","author":"Baader Franz","key":"e_1_3_2_1_3_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_4_1","volume-title":"Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology. In Proceedings of the 32nd International Workshop on Description Logics","volume":"2373","author":"Chen Jieying","year":"2019","unstructured":"Jieying Chen , Ghadah Alghamdi , Renate A. Schmidt , Dirk Walther , and Yongsheng Gao . 2019 a . Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology. In Proceedings of the 32nd International Workshop on Description Logics , Vol. 2373 . CEUR-WS.org. Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, and Yongsheng Gao. 2019 a. Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology. In Proceedings of the 32nd International Workshop on Description Logics , Vol. 2373. CEUR-WS.org."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360901.3364424"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijmedinf.2007.06.008"},{"key":"e_1_3_2_1_7_1","volume-title":"The Sequence Ontology: a tool for the unification of genome annotations . Genome biology","author":"Eilbeck Karen","year":"2005","unstructured":"Karen Eilbeck , Suzanna Lewis , Christopher Mungall , Mark Yandell , Lincoln Stein , Richard Durbin , and Michael Ashburner . 2005. The Sequence Ontology: a tool for the unification of genome annotations . Genome biology , Vol. 6 ( 2005 ), R44. Karen Eilbeck, Suzanna Lewis, Christopher Mungall, Mark Yandell, Lincoln Stein, Richard Durbin, and Michael Ashburner. 2005. The Sequence Ontology: a tool for the unification of genome annotations . Genome biology , Vol. 6 (2005), R44."},{"key":"e_1_3_2_1_8_1","volume-title":"ONTOBRAS-MOST","volume":"938","author":"Garcia Ana Carolina","year":"2012","unstructured":"Ana Carolina Garcia , Let\u00edcia Tiveron , Claudia Justel , and Maria Cl\u00e1udia Cavalcanti . 2012 . Applying Graph Partitioning Techniques to Modularize Large Ontologies . In ONTOBRAS-MOST , Vol. 938 . CEUR-WS.org, 72--83. Ana Carolina Garcia, Let\u00edcia Tiveron, Claudia Justel, and Maria Cl\u00e1udia Cavalcanti. 2012. Applying Graph Partitioning Techniques to Modularize Large Ontologies. In ONTOBRAS-MOST , Vol. 938. CEUR-WS.org, 72--83."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2003.07.007"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.2375"},{"key":"e_1_3_2_1_11_1","volume-title":"Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach . J. Artif. Intell. Res","author":"Grau Bernardo Cuenca","year":"2014","unstructured":"Bernardo Cuenca Grau and Boris Motik . 2014. Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach . J. Artif. Intell. Res . , Vol. abs\/ 1401 .5853 ( 2014 ). Bernardo Cuenca Grau and Boris Motik. 2014. Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach . J. Artif. Intell. Res. , Vol. abs\/1401.5853 (2014)."},{"key":"e_1_3_2_1_12_1","unstructured":"Monica Harry. [n.d.]. Primitive Parent Modelling. https:\/\/confluence.ihtsdotools.org\/display\/DOCEG\/Proximal  Monica Harry. [n.d.]. Primitive Parent Modelling. https:\/\/confluence.ihtsdotools.org\/display\/DOCEG\/Proximal"},{"key":"e_1_3_2_1_13_1","unstructured":"Primitive  Primitive"},{"key":"e_1_3_2_1_14_1","unstructured":"Modeling . SNOMED International Accessed: 2021-05--23.  Modeling . SNOMED International Accessed: 2021-05--23."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1093\/nar\/gkv1031"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 6th International Conference on OWL: Experiences and Directions. Semantic Web","volume":"2","author":"Horridge Matthew","year":"2009","unstructured":"Matthew Horridge and Sean Bechhofer . 2009 . The OWL API: A Java API for Working with OWL 2 Ontologies , In Proceedings of the 6th International Conference on OWL: Experiences and Directions. Semantic Web , Vol. 2 , 11--21. Matthew Horridge and Sean Bechhofer. 2009. The OWL API: A Java API for Working with OWL 2 Ontologies, In Proceedings of the 6th International Conference on OWL: Experiences and Directions. Semantic Web , Vol. 2, 11--21."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-013-9296-3"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2013.07.004"},{"volume-title":"Automated Reasoning","author":"Konev Boris","key":"e_1_3_2_1_19_1","unstructured":"Boris Konev , Dirk Walther , and Frank Wolter . 2008. The Logical Difference Problem for Description Logic Terminologies . In Automated Reasoning , Vol. 5195 . Springer , 259--274. Boris Konev, Dirk Walther, and Frank Wolter. 2008. The Logical Difference Problem for Description Logic Terminologies. In Automated Reasoning , Vol. 5195. Springer, 259--274."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1661445.1661577"},{"key":"e_1_3_2_1_21_1","volume-title":"Schmidt","author":"Koopmann Patrick","year":"2013","unstructured":"Patrick Koopmann and Renate A . Schmidt . 2013 . Forgetting Concept and Role Symbols in $mathcalALCH$-Ontologies. In Proc. of LPAR'13 , Vol. 8312 . Springer , 552--567. Patrick Koopmann and Renate A. Schmidt. 2013. Forgetting Concept and Role Symbols in $mathcalALCH$-Ontologies. In Proc. of LPAR'13 , Vol. 8312. Springer, 552--567."},{"volume-title":"Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases . To appear in the 30th ACM International Conference on Information and Knowledge Management (CIKM)","author":"Liu Zhao","key":"e_1_3_2_1_22_1","unstructured":"Zhao Liu , Chang Lu , Ghadah Alghamdi , Renate A. Schmidt , and Yizheng Zhao . 2021. Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases . To appear in the 30th ACM International Conference on Information and Knowledge Management (CIKM) . Zhao Liu, Chang Lu, Ghadah Alghamdi, Renate A. Schmidt, and Yizheng Zhao. 2021. Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases . To appear in the 30th ACM International Conference on Information and Knowledge Management (CIKM)."},{"key":"e_1_3_2_1_23_1","article-title":"Usability-driven pruning of large ontologies: the case of SNOMED CT","volume":"19","author":"Pablo L\u00f3","year":"2012","unstructured":"Pablo L\u00f3 pez-Garc'i a, Martin Boeker , Arantza Illarramendi , and Stefan Schulz . 2012 . Usability-driven pruning of large ontologies: the case of SNOMED CT . Journal of the American Medical Informatics Association , Vol. 19 (2012). Pablo L\u00f3 pez-Garc'i a, Martin Boeker, Arantza Illarramendi, and Stefan Schulz. 2012. Usability-driven pruning of large ontologies: the case of SNOMED CT. Journal of the American Medical Informatics Association , Vol. 19 (2012).","journal-title":"Journal of the American Medical Informatics Association"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/3031929.3031968"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of the 22nd International Joint Conference on Artificial Intelligence. IJCAI\/AAAI , 989--995","author":"Lutz Carsten","year":"2011","unstructured":"Carsten Lutz and Frank Wolter . 2011 . Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics . In Proceedings of the 22nd International Joint Conference on Artificial Intelligence. IJCAI\/AAAI , 989--995 . Carsten Lutz and Frank Wolter. 2011. Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence. IJCAI\/AAAI , 989--995."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35176-1_25"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2014.06.005"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60025-6_122"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the 22nd International Workshop on Description Logics","volume":"477","author":"Sattler Ulrike","year":"2009","unstructured":"Ulrike Sattler , Thomas Schneider , and Michael Zakharyaschev . 2009 . Which Kind of Module Should I Extract? . In Proceedings of the 22nd International Workshop on Description Logics , Vol. 477 . CEUR-WS.org. Ulrike Sattler, Thomas Schneider, and Michael Zakharyaschev. 2009. Which Kind of Module Should I Extract?. In Proceedings of the 22nd International Workshop on Description Logics, Vol. 477. CEUR-WS.org."},{"key":"e_1_3_2_1_30_1","first-page":"29","article-title":"SNOMED RT and SNOMED CT. Promise of an international clinical ontology","volume":"17","author":"Spackman Kent A.","year":"2000","unstructured":"Kent A. Spackman . 2000 . SNOMED RT and SNOMED CT. Promise of an international clinical ontology . M.D. Computing , Vol. 17 (2000), 29 . Kent A. Spackman. 2000. SNOMED RT and SNOMED CT. Promise of an international clinical ontology . M.D. Computing , Vol. 17 (2000), 29.","journal-title":"M.D. Computing"},{"key":"e_1_3_2_1_31_1","volume-title":"American Medical Informatics Association Annual Symposium . AMIA .","author":"Spackman Kent A.","year":"2001","unstructured":"Kent A. Spackman . 2001 . Normal forms for description logic expressions of clinical concepts in SNOMED RT . In American Medical Informatics Association Annual Symposium . AMIA . Kent A. Spackman. 2001. Normal forms for description logic expressions of clinical concepts in SNOMED RT. In American Medical Informatics Association Annual Symposium . AMIA ."},{"key":"e_1_3_2_1_32_1","first-page":"y1055","article-title":"The Gene Ontology Resource: 20 years and still GOing strong","volume":"49","author":"The\u00a0Gene\u00a0Ontology\u00a0Consortium","year":"2018","unstructured":"The\u00a0Gene\u00a0Ontology\u00a0Consortium . 2018 . The Gene Ontology Resource: 20 years and still GOing strong . Nucleic Acids Research , Vol. 49 (2018), gk y1055 . The\u00a0Gene\u00a0Ontology\u00a0Consortium. 2018. The Gene Ontology Resource: 20 years and still GOing strong . Nucleic Acids Research , Vol. 49 (2018), gky1055.","journal-title":"Nucleic Acids Research"},{"key":"e_1_3_2_1_33_1","unstructured":"Brandon Ulrich. [n.d.]. https:\/\/bit.ly\/2RqRA9A . Accessed: 2021-06-06.  Brandon Ulrich. [n.d.]. https:\/\/bit.ly\/2RqRA9A . Accessed: 2021-06-06."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1093\/ndt\/gfs461"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-010-9187-9"},{"volume-title":"On Concept Forgetting in Description Logics with Qualified Number Restrictions. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. IJCAI\/IAAA","author":"Zhao Yizheng","key":"e_1_3_2_1_36_1","unstructured":"Yizheng Zhao and Renate A. Schmidt . 2018 . On Concept Forgetting in Description Logics with Qualified Number Restrictions. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. IJCAI\/IAAA , 1984--1990. Yizheng Zhao and Renate A. Schmidt. 2018. On Concept Forgetting in Description Logics with Qualified Number Restrictions. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. IJCAI\/IAAA, 1984--1990."}],"event":{"name":"K-CAP '21: Knowledge Capture Conference","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence"],"location":"Virtual Event USA","acronym":"K-CAP '21"},"container-title":["Proceedings of the 11th Knowledge Capture Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3460210.3493564","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3460210.3493564","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:19Z","timestamp":1750188619000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3460210.3493564"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,2]]},"references-count":36,"alternative-id":["10.1145\/3460210.3493564","10.1145\/3460210"],"URL":"https:\/\/doi.org\/10.1145\/3460210.3493564","relation":{},"subject":[],"published":{"date-parts":[[2021,12,2]]},"assertion":[{"value":"2021-12-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}