# A Journey into Ontology Approximation: From Non-Horn to Horn

21 Jan 2020Anneke HagaCarsten LutzJohannes MartiFrank Wolter

We study complete approximations of an ontology formulated in a non-Horn description logic (DL) such as $\mathcal{ALC}$ in a Horn DL such as~$\mathcal{EL}$. We provide concrete approximation schemes that are necessarily infinite and observe that in the $\mathcal{ELU}$-to-$\mathcal{EL}$ case finite approximations tend to exist in practice and are guaranteed to exist when the original ontology is acyclic... (read more)

PDF Abstract

# Code Add Remove

No code implementations yet. Submit your code now