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)


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:
Related URLs: