IJCAI 2023poster0 citations
Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract)
Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
Abstract
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 formulated using the description logic ALC, and show a tight 2ExpTime upper bound for finite entailment of UCRPQs.
Sister Conferences Best Papers: Knowledge Representation and Reasoning
BibTeX
@inproceedings{ijcai2023p717,
title = {Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract)},
author = {Gutiérrez-Basulto, Víctor and Gutowski, Albert and Ibáñez-García, Yazmín and Murlak, Filip},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI-23}},
publisher = {International Joint Conferences on Artificial Intelligence Organization},
editor = {Edith Elkind},
pages = {6442--6446},
year = {2023},
month = {8},
note = {Sister Conferences Best Papers},
doi = {10.24963/ijcai.2023/717},
url = {https://doi.org/10.24963/ijcai.2023/717},
}