More Web Proxy on the site http://driver.im/

research-article

Upwardly Abstracted Definition-Based Subontologies

Authors:

Ghadah Alghamdi,

Renate A. Schmidt,

Warren Del-Pinto,

Yongsheng GaoAuthors Info & Claims

K-CAP '21: Proceedings of the 11th Knowledge Capture Conference

Pages 209 - 216

https://doi.org/10.1145/3460210.3493564

Published: 02 December 2021 Publication History

Abstract

In 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 expressed using closest primitive ancestors. The subontologies returned by the method are evaluated for quality and compared to extracts computed with locality-based modularisation and uniform interpolation. Our subontology generation method produces promising results in terms of size and relevance to the needs of domain experts.

References

[1]

Ghadah Alghamdi, Renate A. Schmidt, Warren Del-Pinto, and Yongsheng Gao. 2021. Upwardly Abstracted Definition-Based Subontologies. In Proceedings of the 34th International Workshop on Description Logics, Vol. 2954. CEUR-WS.org.

Digital Library

[2]

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 systematic reviews and veterinary clinical notes. Journal of Biomedical Semantics (2019).

[3]

Franz Baader, Ian Horrocks, Carsten Lutz, and Ulrike Sattler. 2017. An Introduction to Description Logic .Cambridge University Press.

[4]

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.

[5]

Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, and Yongsheng Gao. 2019 b. Ontology Extraction for Large Ontologies via Modularity and Forgetting. In Proceedings of the 10th International Conference on Knowledge Capture, K-CAP. ACM, 45--52.

Digital Library

[6]

Ronald Cornet and Ameen Abu-Hanna. 2008. Auditing description-logic-based medical terminological systems by detecting equivalent concept definitions . International Journal of Medical Informatics, Vol. 77 5 (2008), 336--45.

[7]

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.

[8]

Ana Carolina Garcia, Letícia Tiveron, Claudia Justel, and Maria Cláudia Cavalcanti. 2012. Applying Graph Partitioning Techniques to Modularize Large Ontologies. In ONTOBRAS-MOST, Vol. 938. CEUR-WS.org, 72--83.

[9]

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., Vol. 1 (2003), 75--80.

[10]

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler. 2008. Modular Reuse of Ontologies: Theory and Practice . J. Artif. Intell. Res., Vol. 31 (2008), 273--318.

[11]

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).

[12]

Monica Harry. [n.d.]. Primitive Parent Modelling. https://confluence.ihtsdotools.org/display/DOCEG/Proximal

[13]

Primitive

[14]

Modeling . SNOMED International, Accessed: 2021-05--23.

[15]

Janna Hastings, Gareth Owen, Adriano Dekker, Marcus Ennis, Namrata Kale, Venkatesh Muthukrishnan, Steve Turner, Neil Swainston, Pedro Mendes, and Christoph Steinbeck. 2016. ChEBI in 2016: Improved services and an expanding collection of metabolites . Nucleic Acids Research, Vol. 44 (2016), pp. D1214 -- D1219.

[16]

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.

[17]

Yevgeny Kazakov, Markus Krö tzsch, and Frantisek Simancik. 2014. The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with (mathscrE)(mathscrL) Ontologies . J. Autom. Reason., Vol. 53 (2014), 1--61.

Digital Library

[18]

Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter. 2013. Model-theoretic Inseparability and Modularity of Description Logic Ontologies . Artif. Intell., Vol. 203 (2013), 66--103.

Digital Library

[19]

Boris Konev, Dirk Walther, and Frank Wolter. 2008. The Logical Difference Problem for Description Logic Terminologies. In Automated Reasoning, Vol. 5195. Springer, 259--274.

[20]

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, Pasadena, California, USA, July (IJCAI). 830--835.

Digital Library

[21]

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.

[22]

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).

[23]

Pablo Ló 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).

[24]

Michel Ludwig and Boris Konev. 2014. Practical Uniform Interpolation and Forgetting for $mathcalALC$ TBoxes with Applications to Logical Difference. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference . AAAI Press.

Digital Library

[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 Birte Glimm. 2012. Hitting the Sweetspot: Economic Rewriting of Knowledge Bases. In Proceedings of the 11th International Conference on The Semantic Web - Volume Part I (ISWC'12). Springer-Verlag, 394--409.

Digital Library

[27]

Nadeschda Nikitina and Sebastian Rudolph. 2014. (Non-)Succinctness of uniform interpolants of general terminologies in the description logic $mathcalEL$. Artif. Intell., Vol. 215 (2014), 120--140.

Digital Library

[28]

Alan Rector. 1995. Coordinating Taxonomies: Key to Re-Usable Concept Representations. In Proceedings of Artificial Intelligence Medicine, 5th Conference on Artificial Intelligence in Medicine in Europe, Vol. 934. Springer, 17--28.

[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, Vol. 477. CEUR-WS.org.

[30]

Kent A. Spackman. 2000. SNOMED RT and SNOMED CT. Promise of an international clinical ontology . M.D. Computing, Vol. 17 (2000), 29.

[31]

Kent A. Spackman. 2001. Normal forms for description logic expressions of clinical concepts in SNOMED RT. In American Medical Informatics Association Annual Symposium . AMIA .

[32]

The Gene Ontology Consortium. 2018. The Gene Ontology Resource: 20 years and still GOing strong . Nucleic Acids Research, Vol. 49 (2018), gky1055.

[33]

Brandon Ulrich. [n.d.]. https://bit.ly/2RqRA9A . Accessed: 2021-06-06.

[34]

Gopalakrishnan Venkat-Raman, Charles R.V. Tomson, Yongsheng Gao, Ronald Cornet, Benedicte Stengel, Carola Gronhagen-Riska, Chris Reid, Christian Jacquelinet, Elke Schaeffner, Els Boeschoten, Francesco Casino, Frederic Collart, Johan De Meester, Oscar Zurriaga, Reinhard Kramar, Kitty J. Jager, and Keith Simpson. 2012. New primary renal diagnosis codes for the ERA-EDTA . Nephrology Dialysis Transplantation, Vol. 27, 12 (2012), 4414--4419.

[35]

Zhe Wang, Kewen Wang, Rodney Topor, and Jeff Z. Pan. 2010. Forgetting for knowledge bases in DL-Lite . Annals of Mathematics and Artificial Intelligence, Vol. 58, 1--2 (2010), 117--151.

Digital Library

[36]

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.

Cited By

Kriegel FWooldridge MDy JNatarajan S(2024)Efficient axiomatization of OWL 2 EL ontologies from data by means of formal concept analysisProceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence and Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence and Fourteenth Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v38i9.28930(10597-10606)Online publication date: 20-Feb-2024
https://dl.acm.org/doi/10.1609/aaai.v38i9.28930

Index Terms

Upwardly Abstracted Definition-Based Subontologies
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
      1. Description logics
      2. Ontology engineering
2. Theory of computation
  1. Logic
    1. Abstraction

Recommendations

Focus Set Semantic Differences
K-CAP '23: Proceedings of the 12th Knowledge Capture Conference 2023

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 ...
Toward semantic interoperability with linked foundationalontologies in ROMULUS
K-CAP '13: Proceedings of the seventh international conference on Knowledge capture

A purpose of a foundational ontology is to solve interoperability issues among ontologies. Many foundational ontologies have been developed, re-introducing the ontology interoperability problem. We address this with the new online foundational ontology ...
A priori ontology modularisation in ill-defined domains
I-Semantics '11: Proceedings of the 7th International Conference on Semantic Systems

Modularisation is crucial to create re-usable and manageable ontologies. The modularisation is usually performed a posteriori, i.e. after the ontology is developed, and has been applied mainly to well-structured domains. With the increasing popularity ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

K-CAP '21: Proceedings of the 11th Knowledge Capture Conference

December 2021

300 pages

ISBN:9781450384575

DOI:10.1145/3460210

General Chair:
Anna Lisa Gentile
IBM Research Almaden, USA
,
Program Chair:
Rafael Gonçalves
Center for Computational Biomedicine, Harvard Medical School, USA

Copyright © 2021 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

SIGAI: ACM Special Interest Group on Artificial Intelligence

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 December 2021

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

K-CAP '21

Sponsor:

SIGAI

K-CAP '21: Knowledge Capture Conference

December 2 - 3, 2021

Virtual Event, USA

Acceptance Rates

Overall Acceptance Rate 55 of 198 submissions, 28%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
84
Total Downloads

Downloads (Last 12 months)16
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Kriegel FWooldridge MDy JNatarajan S(2024)Efficient axiomatization of OWL 2 EL ontologies from data by means of formal concept analysisProceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence and Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence and Fourteenth Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v38i9.28930(10597-10606)Online publication date: 20-Feb-2024
https://dl.acm.org/doi/10.1609/aaai.v38i9.28930

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents