OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

On the Closure of Description Logics under Substitutions

Brenas, Jon Haël and Echahed, Rachid and Strecker, Martin On the Closure of Description Logics under Substitutions. (2016) In: 29th International Workshop on Description Logics (DL 2016), 22 April 2016 - 25 April 2016 (Cape Town, South Africa).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
253kB

Official URL: http://ceur-ws.org/Vol-1577/paper_47.pdf

Abstract

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.

Item Type:Conference or Workshop Item (Paper)
HAL Id:hal-02089261
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
Other partners > Université Grenoble Alpes - UGA (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:08 Mar 2019 15:00

Repository Staff Only: item control page