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.

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.

We are interested in the computation of ontology extracts based on forgetting from large ontologies in real-world scenarios. Such scenarios require nearly all of the terms in the ontology to be forgotten, which poses a significant challenge to forgetting tools. In this paper we show that modularization and forgetting can be combined beneficially in order to compute ontology extracts. While a module is a subset of axioms of a given ontology, the solution of forgetting (also known as a uniform interpolant) is a compact representation of the ontology limited to a subset of the signature. The approach introduced in this paper uses an iterative workflow of four stages: (i)~extension of the given signature and, if needed partitioning, (ii)~modularization, (iii)~forgetting, and (iv)~evaluation by domain expert. For modularization we use three kinds of modules: locality-based, semantic and minimal subsumption modules. For forgetting three tools are used: NUI, LETHE and FAME. An evaluation on the SNOMED CT and NCIt ontologies for standard concept name lists showed that precomputing ontology modules reduces the number of terms that need to be forgotten. An advantage of the presented approach is high precision of the computed ontology extracts.