{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T00:01:01Z","timestamp":1755993661564,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,12,5]],"date-time":"2023-12-05T00:00:00Z","timestamp":1701734400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,12,5]]},"DOI":"10.1145\/3587259.3627563","type":"proceedings-article","created":{"date-parts":[[2023,11,28]],"date-time":"2023-11-28T19:30:28Z","timestamp":1701199828000},"page":"250-258","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Focus Set Semantic Differences"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3836-1824","authenticated-orcid":false,"given":"Ghadah Abdulrahman S","family":"Alghamdi","sequence":"first","affiliation":[{"name":"Computer Science, Dar Al-Hekma University, Saudi Arabia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6673-3333","authenticated-orcid":false,"given":"Renate A.","family":"Schmidt","sequence":"additional","affiliation":[{"name":"The University of Manchester, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3468-2930","authenticated-orcid":false,"given":"Yongsheng","family":"Gao","sequence":"additional","affiliation":[{"name":"SNOMED International, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2023,12,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Ghadah Alghamdi. 2022. Focus Set Subontologies and Semantic Differences for Large ELH Ontologies. Ph.D. Dissertation. University of Manchester UK."},{"volume-title":"Focus Set Semantic Differences Meeting on 14-12-2021. Meeting to discuss the approach in Section 4.1 and results outlined in Section 5.2 with SNOMED CT modelers.","author":"Alghamdi Ghadah","key":"e_1_3_2_1_2_1","unstructured":"[2] Ghadah Alghamdi, Yongsheng Gao, and Renate\u00a0A Schmidt. [n.d.]. Focus Set Semantic Differences Meeting on 14-12-2021. Meeting to discuss the approach in Section 4.1 and results outlined in Section 5.2 with SNOMED CT modelers."},{"key":"e_1_3_2_1_3_1","volume-title":"Knowledge Capture Conference. ACM, 209\u2013216","author":"Alghamdi Ghadah","year":"2021","unstructured":"Ghadah Alghamdi, Renate\u00a0A. Schmidt, Warren Del-Pinto, and Yongsheng Gao. 2021. Upwardly Abstracted Definition-Based Subontologies. In K-CAP \u201921: Knowledge Capture Conference. ACM, 209\u2013216."},{"volume-title":"An Introduction to Description Logic","author":"Baader Franz","key":"e_1_3_2_1_4_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_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360901.3364424"},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. KR\u201906","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\u201906. AAAI Press, 187\u2013197."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2003.07.007"},{"volume-title":"The Semantic Web - ISWC 2012 - 11th International Semantic Web Conference(Lecture Notes in Computer Science, Vol.\u00a07649)","author":"Gon\u00e7alves S.","key":"e_1_3_2_1_8_1","unstructured":"Rafael\u00a0S. Gon\u00e7alves, Bijan Parsia, and Ulrike Sattler. 2012. Concept-Based Semantic Difference in Expressive Description Logics. In The Semantic Web - ISWC 2012 - 11th International Semantic Web Conference(Lecture Notes in Computer Science, Vol.\u00a07649). Springer, 99\u2013115."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of OWL: Experiences and Directions Workshop 2012(CEUR Workshop, Vol.\u00a0849)","author":"Gon\u00e7alves S.","year":"2012","unstructured":"Rafael\u00a0S. Gon\u00e7alves, Bijan Parsia, and Ulrike Sattler. 2012. Ecco: A Hybrid Diff Tool for OWL 2 Ontologies. In Proceedings of OWL: Experiences and Directions Workshop 2012(CEUR Workshop, Vol.\u00a0849). CEUR-WS.org."},{"volume-title":"Law, Ontologies and the Semantic Web - Channelling the Legal Information Flood(Frontiers in Artificial Intelligence and Applications, Vol.\u00a0188)","author":"Hoekstra Rinke","key":"e_1_3_2_1_10_1","unstructured":"Rinke Hoekstra, Joost Breuker, Marcello\u00a0Di Bello, and Alexander Boer. 2009. LKIF Core: Principled Ontology Development for the Legal Domain. In Law, Ontologies and the Semantic Web - Channelling the Legal Information Flood(Frontiers in Artificial Intelligence and Applications, Vol.\u00a0188). IOS Press, 21\u201352."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.3233\/SW-2011-0025"},{"key":"e_1_3_2_1_12_1","unstructured":"Matthew Horridge Bijan Parsia and Ulrike Sattler. 2015. The OWL Explanation Workbench: A Toolkit for Working with Justifications for Entailments in OWL Ontologies. Technical Report. The Semantic Web Journal."},{"key":"e_1_3_2_1_13_1","unstructured":"[13] SNOMED International. [n.d.]. SNOMED CT - Practical Guide to Reference Sets: https:\/\/confluence.ihtsdotools.org\/display\/DOCRFSPG. Accessed: 2022-02-28."},{"key":"e_1_3_2_1_14_1","unstructured":"[14] SNOMED International. [n.d.]. SNOMED CT Release Types: https:\/\/confluence.ihtsdotools.org\/display\/DOCRELFMT\/3.2+Release+Types. Accessed: 2023-06-19."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2010.10.001"},{"key":"e_1_3_2_1_16_1","volume-title":"6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007(Lecture Notes in Computer Science, Vol.\u00a04825)","author":"Kalyanpur Aditya","year":"2007","unstructured":"Aditya Kalyanpur, Bijan Parsia, Matthew Horridge, and Evren Sirin. 2007. Finding All Justifications of OWL DL Entailments. In The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007(Lecture Notes in Computer Science, Vol.\u00a04825). Springer, 267\u2013280."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 21st International Workshop on Description Logics (DL2008)(CEUR Workshop, Vol.\u00a0353)","author":"Konev Boris","year":"2008","unstructured":"Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter. 2008. Logical Difference and Module Extraction with CEX and MEX. In Proceedings of the 21st International Workshop on Description Logics (DL2008)(CEUR Workshop, Vol.\u00a0353)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71070-7_21"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1661445.1661577"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijmedinf.2011.02.006"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1136\/amiajnl-2013-001636"},{"key":"e_1_3_2_1_22_1","volume-title":"Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases. In CIKM\u201921: The 30th ACM International Conference on Information and Knowledge Management. ACM, 1130\u20131139","author":"Liu Zhao","year":"2021","unstructured":"Zhao Liu, Chang Lu, Ghadah Alghamdi, Renate\u00a0A. Schmidt, and Yizheng Zhao. 2021. Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases. In CIKM\u201921: The 30th ACM International Conference on Information and Knowledge Management. ACM, 1130\u20131139."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/3031929.3031968"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.10.007"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of the 22nd International Joint Conference on Artificial Intelligence. IJCAI\/AAAI, 989\u2013995","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\u2013995."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2014.06.005"},{"key":"e_1_3_2_1_27_1","volume-title":"Tracking the Remodeling of SNOMED CT\u2019s Bacterial Infectious Diseases. In AMIA 2016, American Medical Informatics Association Annual Symposium. AMIA.","author":"Ochs Christopher","year":"2016","unstructured":"Christopher Ochs, James\u00a0T. Case, and Yehoshua Perl. 2016. Tracking the Remodeling of SNOMED CT\u2019s Bacterial Infectious Diseases. In AMIA 2016, American Medical Informatics Association Annual Symposium. AMIA."},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the Joint International Conference on Biological Ontology and BioCreative(CEUR Workshop, Vol.\u00a01747)","author":"Ochs Christopher","year":"2016","unstructured":"Christopher Ochs, Yehoshua Perl, Gai Elhanan, and James\u00a0T. Case. 2016. A Descriptive Delta for Identifying Changes in SNOMED CT. In Proceedings of the Joint International Conference on Biological Ontology and BioCreative(CEUR Workshop, Vol.\u00a01747)."},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the 22nd International Workshop on Description Logics (DL 2009)(CEUR Workshop, Vol.\u00a0477)","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 (DL 2009)(CEUR Workshop, Vol.\u00a0477)."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888909990087"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-016-0983-3"},{"key":"e_1_3_2_1_32_1","first-page":"29","article-title":"SNOMED RT and SNOMED CT. Promise of an international clinical ontology","volume":"17","author":"Spackman A.","year":"2000","unstructured":"Kent\u00a0A. Spackman. 2000. SNOMED RT and SNOMED CT. Promise of an international clinical ontology. M.D. Computing 17 (2000), 29.","journal-title":"M.D. Computing"},{"key":"e_1_3_2_1_33_1","volume-title":"American Medical Informatics Association Annual Symposium. AMIA.","author":"Spackman A.","year":"2001","unstructured":"Kent\u00a0A. 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_34_1","volume-title":"The Gene Ontology Resource: 20 years and still GOing strong. Nucleic Acids Research 49","author":"The Gene Ontology Consortium","year":"2018","unstructured":"The Gene Ontology Consortium. 2018. The Gene Ontology Resource: 20 years and still GOing strong. Nucleic Acids Research 49 (2018), gky1055."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41335-3_6"},{"key":"e_1_3_2_1_36_1","volume-title":"OWL 2 Web Ontology Language Document Overview","author":"W3C OWL Working Group","year":"2012","unstructured":"W3C OWL Working Group. 2012. OWL 2 Web Ontology Language Document Overview (Second Edition) - W3C Recommendation 11 Dec 2012. http:\/\/www.w3.org\/TR\/owl2-overview\/"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33013116"}],"event":{"name":"K-CAP '23: Knowledge Capture Conference 2023","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence"],"location":"Pensacola FL USA","acronym":"K-CAP '23"},"container-title":["Proceedings of the 12th Knowledge Capture Conference 2023"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3587259.3627563","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3587259.3627563","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T23:45:15Z","timestamp":1755906315000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3587259.3627563"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,5]]},"references-count":37,"alternative-id":["10.1145\/3587259.3627563","10.1145\/3587259"],"URL":"https:\/\/doi.org\/10.1145\/3587259.3627563","relation":{},"subject":[],"published":{"date-parts":[[2023,12,5]]},"assertion":[{"value":"2023-12-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}