Dichotomies in Ontology-Mediated Querying with the
Guarded Fragment
- Submitting institution
-
The University of Liverpool
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 15772
- Type
- D - Journal article
- DOI
-
10.1145/3375628
- Title of journal
- ACM Transactions on Computational Logic
- Article number
- 20
- First page
- 1
- Volume
- 21
- Issue
- 3
- ISSN
- 1529-3785
- Open access status
- Compliant
- Month of publication
- February
- Year of publication
- 2020
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
3
- Research group(s)
-
-
- Citation count
- 0
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- A preliminary version of this paper won the Best Paper Award at PODS'17. It presents a major step in the research program, initiated by Lutz and Wolter, that aims to classify the data complexity of ontology-mediated query answering at the ontology level. The initial paper of this program was "Non-Uniform Data Complexity of Query Answering in Description Logics" (KR'12) with extended journal version "The Data Complexity of Description Logic Ontologies" (LMCS'17), neither of them REF returned. This paper lifts the analysis from description logic to the guarded fragment of first-order logic and to logics with counting.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -