On the Closure of Description Logics under Substitutions - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

On the Closure of Description Logics under Substitutions

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-02089261 , version 1

Citer

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⟩
228 Consultations
52 Téléchargements

Partager

More