On the succinctness of query rewriting over shallow ontologies

Kikot, Stanislav, Kontchakov, Roman, Podolskii, Vladimir and Zakharyaschev, Michael (2014) On the succinctness of query rewriting over shallow ontologies. In: CSL/LICS 2014: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science, 14- 18 July 2014, Vienna, Austria.

[img]
Preview
Text
1401.4420.pdf - Accepted Version

Download (728kB) | Preview
Official URL: http://dx.doi.org/10.1145/2603088.2603131

Abstract / Description

We investigate the size of first-order rewritings of conjunctive queries overOWL 2 QLontologies ofdepth 1 and 2 by means of hypergraph programs computing Boolean functions. Both positive and neg-ative results are obtained. Conjunctive queries over ontologies of depth 1 have polynomial-size nonre-cursive datalog rewritings; tree-shaped queries have polynomial positive existential rewritings; however,in the worst case, positive existential rewritings can only be of superpolynomial size. Positive existentialand nonrecursive datalog rewritings of queries over ontologies of depth 2 suffer an exponential blowup in the worst case, while first-order rewritings are superpolynomial unless NP⊆P/poly. We also analyserewritings of tree-shaped queries over arbitrary ontologies and observe that the query entailment problemfor such queries is fixed-parameter tractable.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: ontology-based data access, description logic, ontology-mediated query, query rewriting, succinctness, computational complexity, circuit complexity
Subjects: 000 Computer science, information & general works
Department: School of Computing and Digital Media
Depositing User: Stanislav Kikot
Date Deposited: 15 May 2020 11:42
Last Modified: 15 May 2020 11:42
URI: http://repository.londonmet.ac.uk/id/eprint/5791

Downloads

Downloads per month over past year



Downloads each year

Actions (login required)

View Item View Item