A Decidable Very Expressive Description Logic for Databases (Extended Version)

Alessandro Artale, Enrico Franconi, Rafael Peñaloza +1

We introduce ${\mathcal{D}\mathcal{L}\mathcal{R}}^{+}$, an extension of the n-ary propositionally closed description logic $\mathcal{D}\mathcal{L}\mathcal{R}$ to deal with attribute-labelled tuples (generalising the position…