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

Anneke Haga, Carsten Lutz, Johannes Marti +1

We study complete approximations of an ontology formulated in a non-Horn description logic (DL) such as $\mathcal{A}\mathcal{LC}$ in a Horn DL such as~$\mathcal{E}\mathcal{L}$. We provide concrete app…