Filip Murlak — accepted AI-conference papers

2026

Revisiting Conjunctive Query Entailment for S

Yazmín Ibáñez-García, Jean Christoph Jung, Vincent Michielini, Filip Murlak

AAAI 2026technical

We clarify the complexity of answering unions of conjunctive queries over knowledge bases formulated in the description logic S, the extension of ALC with transitive roles. Contrary to what existing partial results suggested, we show that the problem is, in fact, 2ExpTime-complete; hardness already

Cited by 0 Source ↗PDF ↗Scholar ↗

2023

Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract)

Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak

IJCAI 2023poster

We investigate the problem of finite entailment of ontology-mediated queries. We consider the expressive query language, unions of conjunctive regular path queries (UCRPQs), extending the well-known class of unions of conjunctive queries, with regular expressions over roles. We look at ontologies…

Cited by 0 Source ↗PDF ↗Scholar ↗