Haga, Anneke, Lutz, Carsten, Marti, Johannes and Wolter, Frank 
ORCID: 0000-0002-4470-606X
(2020)
A Journey into Ontology Approximation: From Non-Horn to Horn.
Ceur Workshop Proceedings, 2663.
ISSN 1613-0073
|
PDF
2001.07754v4.pdf - Submitted version Download (409kB) | Preview |
Abstract
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. In contrast, neither of this is the case for $\mathcal{ELU}_\bot$-to-$\mathcal{EL}_\bot$ and for $\mathcal{ALC}$-to-$\mathcal{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.
| Item Type: | Article |
|---|---|
| Additional Information: | 21 pages, 4 figures, paragraph with examples added |
| Uncontrolled Keywords: | cs.AI, cs.AI, cs.LO |
| Divisions: | Faculty of Science and Engineering Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science |
| Depositing User: | Symplectic Admin |
| Date Deposited: | 10 Oct 2024 15:18 |
| Last Modified: | 07 Jun 2025 17:40 |
| Related Websites: | |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3185000 |
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)