Complete approximation of horn DL ontologies

Bötcher, A, Lutz, C and Wolter, F ORCID: 0000-0002-4470-606X (2018) Complete approximation of horn DL ontologies. .

Access the full-text of this item by clicking on the Open Access link.

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 Item (Unspecified)
Depositing User:	Symplectic Admin
Date Deposited:	24 Apr 2019 07:41
Last Modified:	06 Jun 2025 13:51
Open Access URL:	http://ceur-ws.org/Vol-2211/paper-11.pdf
Related Websites:	Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3038155