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

We introduce $\mathcal{DLR}^+$, an extension of the n-ary propositionally closed description logic $\mathcal{DLR}$ to deal with attribute-labelled tuples (generalising the positional notation), projections of relations, and global and local objectification of relations, able to express inclusion, functional, key, and external uniqueness dependencies. The logic is equipped with both TBox and ABox axioms... (read more)

PDF Abstract

# Code Add Remove Mark official

No code implementations yet. Submit your code now