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

by Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter

Released as a article .

2020  

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 original ontology is acyclic. In contrast, neither of this is the case for ELU_-to-EL_ and for ALC-to-EL_ 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.
In text/plain format

Archived Files and Locations

application/pdf  399.7 kB
file_xrcbt3xgezejtoiqffp7l5ts5m
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2020-03-26
Version   v3
Language   en ?
arXiv  2001.07754v3
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 6655f635-6b48-48b2-b77c-cb5fa94f6187
API URL: JSON