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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron: Cristina Feier, Carsten Lutz, Marcin Przybyłko
Fformat: Erthygl
Iaith:English
Cyhoeddwyd: Logical Methods in Computer Science e.V. 2023-09-01
Cyfres:Logical Methods in Computer Science
Pynciau:
Mynediad Ar-lein:https://lmcs.episciences.org/8768/pdf