A Journey into Ontology Approximation: From Non-Horn to Horn
release_ofgxnpink5g7faafplqnkznrgq
by
Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
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) |
2001.07754v3
access all versions, variants, and formats of this works (eg, pre-prints)