Computing ALCH-Subsumption Modules Using Uniform Interpolation - Laboratoire Interdisciplinaire des Sciences du Numérique Access content directly
Conference Papers Year : 2017

Computing ALCH-Subsumption Modules Using Uniform Interpolation


We investigate how minimal subsumption modules can be extracted using methods for uniform interpolation and forgetting. Given an ontology and a signature of concept and role names, a subsumption module is a subset of the ontology that preserves all logical entailments that can be expressed in the description logic of the ontology using only terms in the specified signature. As such, they are useful for ontology reuse and ontology analysis. While there exists a range of methods for computing or approximating minimal modules for a range of module types, we are not aware of a practical, implemented method for computing minimal subsumption modules in description logics beyond ELH. In this paper, we present a method that uses uniform interpolation/forgetting to compute subsumption modules in ALCH, and which under certain conditions guarantees minimality of the extracted modules. As a side product , our method computes a so-called LK subsumption module, which over-approximates the union of all minimal subsumption modules, and as such may already have applications of its own. We further present an initial evaluation of this method on a varied corpus of ontologies.
Fichier principal
Vignette du fichier
paper15.pdf (395.77 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01712802 , version 1 (19-02-2018)


  • HAL Id : hal-01712802 , version 1


Patrick Koopmann, Jieying Chen. Computing ALCH-Subsumption Modules Using Uniform Interpolation. SOQE 2017 Workshop on Second-Order Quantifier Elimination and Related Topics, Dec 2017, Dresden, Germany. ⟨hal-01712802⟩
194 View
66 Download


Gmail Facebook X LinkedIn More