A Journey into Ontology Approximation: From Non-Horn to Horn
Abstract
We study complete approximations of an ontology formulated in a non-Horn description logic (DL) such as ALC in a Horn DL such as EL. We provide concrete approximation schemes that are necessarily infinite and observe that in the ELU-to-EL case finite approximations tend to exist in practice and are guaranteed to exist when the source ontology is acyclic. In contrast, neither of this is the case for ELU_bot-to-EL_bot and for ALC-to-EL_bot approximations. We also define a notion of approximation tailored towards ontology-mediated querying, connect it to subsumption-based approximations, and identify a case where finite approximations are guaranteed to exist.
Cite
Text
Haga et al. "A Journey into Ontology Approximation: From Non-Horn to Horn." International Joint Conference on Artificial Intelligence, 2020. doi:10.24963/IJCAI.2020/253Markdown
[Haga et al. "A Journey into Ontology Approximation: From Non-Horn to Horn." International Joint Conference on Artificial Intelligence, 2020.](https://mlanthology.org/ijcai/2020/haga2020ijcai-journey/) doi:10.24963/IJCAI.2020/253BibTeX
@inproceedings{haga2020ijcai-journey,
title = {{A Journey into Ontology Approximation: From Non-Horn to Horn}},
author = {Haga, Anneke and Lutz, Carsten and Marti, Johannes and Wolter, Frank},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2020},
pages = {1827-1833},
doi = {10.24963/IJCAI.2020/253},
url = {https://mlanthology.org/ijcai/2020/haga2020ijcai-journey/}
}