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.
2019
978-3-030-19569-4
978-3-030-19570-0
File in questo prodotto:
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11390/1150833
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact