Ineke van der Berg

Non-distributive description logic

2023 · arXiv (Cornell University)

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 interpreted on relational structures based on formal contexts from Formal Concept …