Focus Set Semantic Differences
Pages 250 - 258
Abstract
Ontologies are being utilized widely as sources for formally organized information in a range of fields. The SNOMED CT ontology is a key resource in national and international health sectors for automatically linking information captured by diverse clinical information systems and research data ensuring consistent patient data capture and effective data analytics and decision support. Offering a comprehensive multilingual vocabulary for encoding clinical knowledge of multiple domains, the ontology is large and new releases are created regularly to reflect domain changes and user requirements. The main contribution of the paper is a novel automated approach for tracking semantic differences of subdomains in different versions of SNOMED CT targeted at terminologists, debuggers, ontology evaluators and developers of software using SNOMED CT. Whereas the semantic difference sets produced with existing methods are rather large and difficult to analyze, our method produces concise semantic difference sets for user-specified input focus concepts. Our method is based on subontology generation and semantic difference computation using uniform interpolation, which aids in finding inferred differences that other semantic difference tools do not reveal. The obtained semantic difference sets are related to the meaning of focus concept definitions for specific ontology subdomains, where some of these differences would not have been generated without this focused method for computing semantic differences between ontologies. A case study using SNOMED CT has shown the proposed approach is useful for domain experts.
References
[1]
Ghadah Alghamdi. 2022. Focus Set Subontologies and Semantic Differences for Large ELH Ontologies. Ph.D. Dissertation. University of Manchester, UK.
[2]
[2] Ghadah Alghamdi, Yongsheng Gao, and Renate A 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.
[3]
Ghadah Alghamdi, Renate A. Schmidt, Warren Del-Pinto, and Yongsheng Gao. 2021. Upwardly Abstracted Definition-Based Subontologies. In K-CAP ’21: Knowledge Capture Conference. ACM, 209–216.
[4]
Franz Baader, Ian Horrocks, Carsten Lutz, and Ulrike Sattler. 2017. An Introduction to Description Logic. Cambridge University Press.
[5]
Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, and Yongsheng Gao. 2019. Ontology Extraction for Large Ontologies via Modularity and Forgetting. In Proceedings of the 10th International Conference on Knowledge Capture, K-CAP. ACM, 45–52.
[6]
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.
[7]
Jennifer Golbeck, Gilberto Fragoso, Frank W. Hartel, James A. Hendler, Jim Oberthaler, and Bijan Parsia. 2003. The National Cancer Institute’s Thésaurus and Ontology. J. Web Semant. 1 (2003), 75–80.
[8]
Rafael S. Gonçalves, 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. 7649). Springer, 99–115.
[9]
Rafael S. Gonçalves, 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. 849). CEUR-WS.org.
[10]
Rinke Hoekstra, Joost Breuker, Marcello Di 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. 188). IOS Press, 21–52.
[11]
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 2, 11–21.
[12]
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.
[13]
[13] SNOMED International. [n.d.]. SNOMED CT - Practical Guide to Reference Sets: https://confluence.ihtsdotools.org/display/DOCRFSPG. Accessed: 2022-02-28.
[14]
[14] SNOMED International. [n.d.]. SNOMED CT Release Types: https://confluence.ihtsdotools.org/display/DOCRELFMT/3.2+Release+Types. Accessed: 2023-06-19.
[15]
Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, and Rafael Berlanga Llavori. 2011. Supporting concurrent ontology development: Framework, algorithms and tool. Data Knowl. Eng. 70, 1 (2011), 146–164.
[16]
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. 4825). Springer, 267–280.
[17]
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. 353).
[18]
Boris Konev, Dirk Walther, and Frank Wolter. 2008. The Logical Difference Problem for Description Logic Terminologies. In Automated Reasoning, 4th International Joint Conference, IJCAR 2008(Lecture Notes in Computer Science, Vol. 5195). Springer, 259–274. https://doi.org/10.1007/978-3-540-71070-7_21
[19]
Boris Konev, Dirk Walther, and Frank Wolter. 2009. Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. In Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI). 830–835.
[20]
Dennis Lee, Ronald Cornet, and Francis Lau. 2011. Implications of SNOMED CT Versioning. International Journal of Medical Informatics 80, 6 (2011), 442–453.
[21]
Dennis Lee, Nicolette F. de Keizer, Francis Y. Lau, and Ronald Cornet. 2014. Literature Review of SNOMED CT Use. Journal of the American Medical Informatics Association : JAMIA 21 e1 (2014), e11–9.
[22]
Zhao Liu, Chang Lu, Ghadah Alghamdi, Renate A. Schmidt, and Yizheng Zhao. 2021. Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases. In CIKM’21: The 30th ACM International Conference on Information and Knowledge Management. ACM, 1130–1139.
[23]
Michel Ludwig and Boris Konev. 2014. Practical Uniform Interpolation and Forgetting for TBoxes with Applications to Logical Difference. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference. AAAI Press.
[24]
Carsten Lutz and Frank Wolter. 2010. Deciding inseparability and conservative extensions in the description logic . J. Symb. Comput. 45, 2 (2010), 194–228.
[25]
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.
[26]
Nadeschda Nikitina and Sebastian Rudolph. 2014. (Non-)Succinctness of uniform interpolants of general terminologies in the description logic . Artif. Intell. 215 (2014), 120–140.
[27]
Christopher Ochs, James T. Case, and Yehoshua Perl. 2016. Tracking the Remodeling of SNOMED CT’s Bacterial Infectious Diseases. In AMIA 2016, American Medical Informatics Association Annual Symposium. AMIA.
[28]
Christopher Ochs, Yehoshua Perl, Gai Elhanan, and James T. 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. 1747).
[29]
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. 477).
[30]
Miguel-Ángel Sicilia, Elena García-Barriocanal, Salvador Sánchez-Alonso, and Daniel Rodríguez-García. 2009. Ontologies of engineering knowledge: general structure and the case of software engineering. The Knowledge Engineering Review 24, 3 (2009), 309–326.
[31]
Alessandro Solimando, Ernesto Jiménez-Ruiz, and Giovanna Guerrini. 2017. Minimizing conservativity violations in ontology alignments: algorithms and evaluation. Knowledge and Information Systems 51, 3 (2017), 775–819.
[32]
Kent A. Spackman. 2000. SNOMED RT and SNOMED CT. Promise of an international clinical ontology. M.D. Computing 17 (2000), 29.
[33]
Kent A. Spackman. 2001. Normal forms for description logic expressions of clinical concepts in SNOMED RT. In American Medical Informatics Association Annual Symposium. AMIA.
[34]
The Gene Ontology Consortium. 2018. The Gene Ontology Resource: 20 years and still GOing strong. Nucleic Acids Research 49 (2018), gky1055.
[35]
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, and Dmitry Tsarkov. 2013. Empirical Study of Logic-Based Modules: Cheap Is Cheerful. In Proceedings of the Semantic Web - ISWC 2013, Vol. 8218. Springer, 84–100.
[36]
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/
[37]
Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, and Mohammad Khodadadi. 2019. Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach. In Proc. of AAAI’19. AAAI Press, 3116–3124.
Recommendations
Upwardly Abstracted Definition-Based Subontologies
K-CAP '21: Proceedings of the 11th Knowledge Capture ConferenceIn this paper, we present a method for extracting subontologies from $\mathcalELH $ ontologies for a set of symbols. The approach is focused on the generation of upwardly abstracted definitions of concepts, which is a technique for computing definitions ...
Customized clinical domain ontology extraction for knowledge authoring tool
ICUIMC '14: Proceedings of the 8th International Conference on Ubiquitous Information Management and CommunicationClinical Decision Support Systems (CDSS) require a shareable and adaptable knowledge base. However, sharing and reusing the expert's knowledge is a challenging task. The proposed approach designs a web based application that acquires and adapts the ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
December 2023
270 pages
Copyright © 2023 Owner/Author.
This work is licensed under a Creative Commons Attribution International 4.0 License.
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 05 December 2023
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Conference
K-CAP '23
Sponsor:
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 154Total Downloads
- Downloads (Last 12 months)154
- Downloads (Last 6 weeks)23
Reflects downloads up to 13 Dec 2024
Other Metrics
Citations
View Options
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML FormatLogin options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in