Gutierrez Basulto, Victor  ORCID: https://orcid.org/0000-0002-6117-5459, Gutowski, Albert, Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X and Murlak, Filip
2023.
Finite entailment of UCRPQs over ALC ontologies (Extended Abstract).
Presented at: 32nd International Joint Conference on Artificial Intelligence,
Macao, China,
19-25 August 2023.
Published in: Elkind, Edith ed.
IJCAI '23: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence.
ACM,
pp. 6442-6446.
10.24963/ijcai.2023/717
|
Preview |
PDF
- Accepted Post-Print Version
Download (157kB) | Preview |
Official URL: https://doi.org/10.24963/ijcai.2023/717
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 wellknown 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.
| Item Type: | Conference or Workshop Item - published (Paper) |
|---|---|
| Date Type: | Publication |
| Status: | Published |
| Schools: | Schools > Computer Science & Informatics |
| Publisher: | ACM |
| ISBN: | 978-1-956792-03-4 |
| Related URLs: | |
| Date of First Compliant Deposit: | 26 June 2023 |
| Date of Acceptance: | 1 May 2023 |
| Last Modified: | 09 Apr 2026 12:00 |
| URI: | https://orca.cardiff.ac.uk/id/eprint/160589 |
Actions (repository staff only)
 |
Edit Item |
Altmetric
Altmetric