Complete approximation of horn DL ontologies


Bötcher, A, Lutz, C and Wolter, F (2018) Complete approximation of horn DL ontologies. .

Access the full-text of this item by clicking on the Open Access link.
[img] Text
DL18approx.pdf - Author Accepted Manuscript
Download (496kB)

Abstract

We study the approximation of expressive Horn DL ontologies in less expressive Horn DLs, with completeness guarantees. Cases of interest include Horn-SRIF-to-ELR⊥, Horn-SHIF-to-ELH⊥, and others. Since finite approximations almost never exist, we carefully map out the structure of infinite approximations. This provides a solid theoretical foundation for constructing incomplete approximations in practice in a controlled way. Technically, we exibit a connection to the axiomatization of quasi-equations valid in classes of semilattices with operators and additionally develop a direct proof strategy based on the chase and on homomorphisms that allows us to also deal with approximations of bounded role depth.

Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 24 Apr 2019 07:41
Last Modified: 19 Jan 2023 00:53
Open Access URL: http://ceur-ws.org/Vol-2211/paper-11.pdf
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3038155
CORE (COnnecting REpositories)