Abstract. We continue our exploration of the relationships between Description Logics and Set Theory, which started with the definition of the description logic ALCΩ. We develop a set-theoretic translation of the description logic ALCΩ in the set theory Ω, exploiting a technique originally proposed for translating normal modal and polymodal logics into Ω. We first define a set-theoretic translation of ALC based on Schild’s correspondence with polymodal logics. Then we propose a translation of the fragment LCΩ of ALCΩ without roles and individual names. In this—simple—case the power-set concept is mapped, as expected, to the set-theoretic power-set, making clearer the real nature of the power-set concept in ALCΩ. Finally, we encode the whole language of ALCΩ into its fragment without roles, showing that such a fragment is as expres- sive as ALCΩ. The encoding provides, as a by-product, a set-theoretic translation of ALCΩ into the theory Ω, which can be used as basis for extending other, more expressive, DLs with the power-set construct.
Extending$$mathcal ALC$$ with the Power-Set Construct
Policriti A.
2019-01-01
Abstract
Abstract. We continue our exploration of the relationships between Description Logics and Set Theory, which started with the definition of the description logic ALCΩ. We develop a set-theoretic translation of the description logic ALCΩ in the set theory Ω, exploiting a technique originally proposed for translating normal modal and polymodal logics into Ω. We first define a set-theoretic translation of ALC based on Schild’s correspondence with polymodal logics. Then we propose a translation of the fragment LCΩ of ALCΩ without roles and individual names. In this—simple—case the power-set concept is mapped, as expected, to the set-theoretic power-set, making clearer the real nature of the power-set concept in ALCΩ. Finally, we encode the whole language of ALCΩ into its fragment without roles, showing that such a fragment is as expres- sive as ALCΩ. The encoding provides, as a by-product, a set-theoretic translation of ALCΩ into the theory Ω, which can be used as basis for extending other, more expressive, DLs with the power-set construct.File | Dimensione | Formato | |
---|---|---|---|
Giordano-Policriti.pdf
non disponibili
Tipologia:
Versione Editoriale (PDF)
Licenza:
Non pubblico
Dimensione
254.38 kB
Formato
Adobe PDF
|
254.38 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
paper_101_finaleJelia2019.pdf
non disponibili
Tipologia:
Documento in Pre-print
Licenza:
Non pubblico
Dimensione
149.23 kB
Formato
Adobe PDF
|
149.23 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.