ML Anthology

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 2023 pp. 6442-6446
doi:10.24963/IJCAI.2023/717 /ijcai/2023/gutierrezbasulto2023ijcai-finite/

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.

PDF IJCAI Semantic Scholar

Cite

Text

Gutiérrez-Basulto et al. "Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2023. doi:10.24963/IJCAI.2023/717

Markdown

[Gutiérrez-Basulto et al. "Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2023.](https://mlanthology.org/ijcai/2023/gutierrezbasulto2023ijcai-finite/) doi:10.24963/IJCAI.2023/717

BibTeX

@inproceedings{gutierrezbasulto2023ijcai-finite,
  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 = {International Joint Conference on Artificial Intelligence},
  year      = {2023},
  pages     = {6442-6446},
  doi       = {10.24963/IJCAI.2023/717},
  url       = {https://mlanthology.org/ijcai/2023/gutierrezbasulto2023ijcai-finite/}
}