Non-distributive description logic

Ineke van der Berg, Andrea De Domenico, Giuseppe Greco +3

We define LE-ALC, a generalization of the description logic ALC based on the propositional logic of general (i.e. not necessarily distributive) lattices, and semantically interpret…