On the Closure of Description Logics under Substitutions

Jon Haël Brenas (1) , Rachid Echahed (1) , Martin Strecker (2)

1 UGA [2016-2019] - Université Grenoble Alpes [2016-2019]
2 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées

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.

Mots clés: Description Logics; DL

Domaines: Génie logiciel [cs.SE]; Systèmes embarqués; Cryptographie et sécurité [cs.CR]; Interface homme-machine [cs.HC]; Architectures Matérielles [cs.AR]; Modélisation et simulation; Logique en informatique [cs.LO]

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⟩