← Search

Michaël Thomazo

4 accepted papers

2022

Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)

IJCAI 2022poster

Existential rules are a very popular ontology-mediated query language for which the chase represents a generic computational approach for query answering. It is straightforward that existential rule queries exhibiting chase termination are decidable and can only recognize properties that are preserv…

Cited by 0SourcePDFScholar