Ontology Extraction for Large Ontologies via Modularity and Forgetting

Jieying Chen, Ghadah Alghamdi, Renate Schmidt, Dirk Walther, Yongsheng Gao

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

36 Downloads (Pure)


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: localitybased, 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.
Original languageEnglish
Title of host publicationInternational Conference on Knowledge Capture (K-CAP)
Publication statusPublished - 23 Sept 2019
EventTenth International Conference on Knowledge Capture - Marina del Rey, United States
Duration: 19 Nov 201921 Nov 2019


ConferenceTenth International Conference on Knowledge Capture
Abbreviated titleK-CAP 2019
Country/TerritoryUnited States
CityMarina del Rey


  • Knowledge management
  • knowledge representation and reasoning
  • knowledge abstraction
  • ontology abstraction
  • description logics
  • ontology modularity
  • uniform interpolation
  • forgetting


Dive into the research topics of 'Ontology Extraction for Large Ontologies via Modularity and Forgetting'. Together they form a unique fingerprint.

Cite this