Hernich, A, Lutz, C, Papacchini, F ORCID: 0000-0002-0310-7378 and Wolter, F
(2018)
Horn rewritability vs PTime query evaluation for description logic TBoxes.
.
![]() |
Text
dl17full.pdf - Published version Download (334kB) |
Abstract
We study the following question: if τ is a TBox that is formulated in an expressive DL L and all CQs can be evaluated in PTime w.r.t. τ, can τ be replaced by a TBox τ' that is formulated in the Horn-fragment of L and such that for all CQs and ABoxes, the answers w.r.t. τ and τ' coincide? Our main results are that this is indeed the case when L is the set of ALCHI or ALCIF TBoxes of quantifier depth 1 (which covers the majority of such TBoxes), but not for ALCHIF and ALCQ TBoxes of depth 1.
Item Type: | Conference or Workshop Item (Unspecified) |
---|---|
Depositing User: | Symplectic Admin |
Date Deposited: | 11 Sep 2017 09:43 |
Last Modified: | 19 Jan 2023 06:55 |
Open Access URL: | https://www.ijcai.org/proceedings/2018/0257.pdf |
Related URLs: | |
URI: | https://livrepository.liverpool.ac.uk/id/eprint/3009359 |