Abstract
The similarities between Description Logics (DLs) and Set Theory can be exploited to introduce in DLs a power-set concept and to allow for (possibly circular) membership relationships among arbitrary concepts. In this abstract, we describe the main ideas underlying the definition of ACC, a description logic combining ALC with fi, a very rudimentary axiomatic set theory, consisting of only four axioms characterizing binary union, set difference, inclusion, and the power-set. In ALC, concepts are naturally interpreted as sets living in Ω-models. The power-set concept and the membership axioms among concepts give useful metamodeling capabilities to the language.
| Lingua originale | Inglese |
|---|---|
| pagine (da-a) | 17-21 |
| Numero di pagine | 5 |
| Rivista | CEUR Workshop Proceedings |
| Volume | 2214 |
| Stato di pubblicazione | Pubblicato - 2018 |
| Evento | 33rd Italian Conference on Computational Logic, CILC 2018 - Bolzano, Italy Durata: 20 set 2018 → 22 set 2018 |