On the Closure of Description Logics under Substitutions - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

On the Closure of Description Logics under Substitutions


We investigate the extension of Description Logics (DL) with a notion of "substitution". Substitutions naturally arise when reasoning about programs which modify graph structures that are characterized by DLs. They constitute also a means to express concept and role modifications such as addition or deletion of individuals (respectively, pairs of individuals) to or from concepts (respectively, roles). After a formal definition of substitutions, we conduct a systematic study of a wide range of DLs with the purpose of proving or disproving conservativity of an extension of the respective DL with substitutions. The resulting classification is a gauge of the expressiveness of description logics and their adequacy for reasoning about change of graph structures.
Fichier principal
Vignette du fichier
brenas_22714.pdf (247.72 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-02089261 , version 1 (03-04-2019)


  • HAL Id : hal-02089261 , version 1
  • OATAO : 22714


Jon Haël Brenas, Rachid Echahed, Martin Strecker. On the Closure of Description Logics under Substitutions. 29th International Workshop on Description Logics (DL 2016), Apr 2016, Cape Town, South Africa. pp.1-12. ⟨hal-02089261⟩
210 View
40 Download


Gmail Mastodon Facebook X LinkedIn More