Dichotomies in Ontology-Mediated Querying with the Guarded Fragment
From MaRDI portal
Publication:5121271
DOI10.1145/3375628zbMath1446.68056arXiv1804.06894OpenAlexW3012562581MaRDI QIDQ5121271
Carsten Lutz, André Hernich, Frank Wolter, Fabio Papacchini
Publication date: 11 September 2020
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1804.06894
Database theory (68P15) Knowledge representation (68T30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (4)
A tetrachotomy of ontology-mediated queries with a covering axiom ⋮ Unnamed Item ⋮ Logical separability of labeled data examples under ontologies ⋮ Guarded Ontology-Mediated Queries
This page was built for publication: Dichotomies in Ontology-Mediated Querying with the Guarded Fragment