Upwardly Abstracted Definition-Based Subontologies

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.

[1]  Renate A. Schmidt,et al.  On Concept Forgetting in Description Logics with Qualified Number Restrictions , 2018, Description Logics.

[2]  Alan L. Rector.  Coordinating Taxonomies: Key to Re-Usable Concept Representations , 1995, AIME.

[3]  Boris Motik,et al.  Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach , 2012, J. Artif. Intell. Res..

[4]  The Gene Ontology Consortium,et al.  The Gene Ontology Resource: 20 years and still GOing strong , 2018, Nucleic Acids Res..

[5]  Boris Konev,et al.  Model-theoretic inseparability and modularity of description logic ontologies , 2013, Artif. Intell..

[6]  Ian Horrocks,et al.  Modular Reuse of Ontologies: Theory and Practice , 2008, J. Artif. Intell. Res..

[7]  R. Durbin,et al.  The Sequence Ontology: a tool for the unification of genome annotations , 2005, Genome Biology.

[8]  Christoph Steinbeck,et al.  ChEBI in 2016: Improved services and an expanding collection of metabolites , 2015, Nucleic Acids Res..

[9]  Pavel Klinov,et al.  Empirical Study of Logic-Based Modules: Cheap Is Cheerful , 2013, Description Logics.

[10]  Boris Konev,et al.  Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies , 2009, IJCAI.

[11]  Ulrike Sattler,et al.  Which Kind of Module Should I Extract? , 2009, Description Logics.

[12]  James A. Hendler,et al.  The National Cancer Institute's Thésaurus and Ontology , 2003, J. Web Semant..

[13]  Carsten Lutz,et al.  Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics , 2011, IJCAI.

[14]  Martin Hofmann-Apitius,et al.  PDON: Parkinson’s disease ontology for representation and modeling of the Parkinson’s disease knowledge domain , 2015, Theoretical Biology and Medical Modelling.

[15]  Peter-J. Noble,et al.  Exploring semantic deep learning for building reliable and reusable one health knowledge from PubMed systematic reviews and veterinary clinical notes , 2019, Journal of Biomedical Semantics.

[16]  Boris Konev,et al.  Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference , 2014, KR.

[17]  Ian Horrocks,et al.  An Introduction to Description Logic , 2017 .

[18]  Boris Konev,et al.  The Logical Difference for the Lightweight Description Logic EL , 2012, J. Artif. Intell. Res..

[19]  Arantza Illarramendi,et al.  Usability-driven pruning of large ontologies: the case of SNOMED CT , 2012, J. Am. Medical Informatics Assoc..

[20]  Markus Krötzsch,et al.  The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies , 2014, J. Autom. Reason..

[21]  Kent A. Spackman,et al.  Normal forms for description logic expressions of clinical concepts in SNOMED RT , 2001, AMIA.

[22]  Renate A. Schmidt,et al.  Forgetting Concept and Role Symbols in ALCOIHµ+(∇, ⊓)-Ontologies , 2016, IJCAI.

[23]  Maria Cláudia Reis Cavalcanti,et al.  Applying Graph Partitioning Techniques to Modularize Large Ontologies , 2012, ONTOBRAS-MOST.

[24]  Jeff Z. Pan,et al.  Forgetting for knowledge bases in DL-Lite , 2010, Annals of Mathematics and Artificial Intelligence.

[25]  Ronald Cornet,et al.  Auditing description-logic-based medical terminological systems by detecting equivalent concept definitions , 2008, Int. J. Medical Informatics.

[26]  Boris Konev,et al.  The Logical Difference Problem for Description Logic Terminologies , 2008, IJCAR.

[27]  Birte Glimm,et al.  Hitting the Sweetspot: Economic Rewriting of Knowledge Bases , 2012, SEMWEB.

[28]  Markus Krötzsch,et al.  The Incredible ELK , 2013, Journal of Automated Reasoning.

[29]  Yongsheng Gao,et al.  Ontology Extraction for Large Ontologies via Modularity and Forgetting , 2019, K-CAP.

[30]  Sean Bechhofer,et al.  The OWL API: A Java API for Working with OWL 2 Ontologies , 2009, OWLED.

[31]  Renate A. Schmidt,et al.  Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases , 2021, Description Logics.

[32]  Dirk Walther,et al.  Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology , 2019, Description Logics.

[33]  Sebastian Rudolph,et al.  (Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL , 2014, Artif. Intell..

[34]  Ronald Cornet,et al.  New primary renal diagnosis codes for the ERA-EDTA , 2012, Nephrology, dialysis, transplantation : official publication of the European Dialysis and Transplant Association - European Renal Association.