Answer Counting under Guarded TGDs

We study the complexity of answer counting for ontology-mediated queries and for querying under constraints, considering conjunctive queries and unions thereof (UCQs) as the query language and guarded TGDs as the ontology and constraint language, respectively. Our main result is a classification acc...

Full description

Bibliographic Details
Main Authors: Cristina Feier, Carsten Lutz, Marcin Przybyłko
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2023-09-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/8768/pdf