Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Ibanez-Garcia, Yazmin and Jung, Jean Christoph 2017. On query answering in description logics with number restrictions on transitive roles. Presented at: 30th International Workshop on Description Logics, Montpellier, France, 18-21 July 2017. |
Preview |
PDF
- Accepted Post-Print Version
Download (402kB) | Preview |
Official URL: http://ceur-ws.org/Vol-1879/paper14.pdf
Abstract
We study query answering in the description logic SQ supporting number restrictions on both transitive and non-transitive roles. Our main contributions are (i) a tree-like model property for SQ knowledge bases and, building upon this, (ii) an automata based decision procedure for answering two-way regular path queries, which gives a 3ExpTime upper bound.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Date Type: | Completion |
Status: | Unpublished |
Schools: | Computer Science & Informatics |
Funders: | Europen Union Horizon 2020 programme |
Date of First Compliant Deposit: | 4 June 2018 |
Last Modified: | 23 Oct 2022 13:51 |
URI: | https://orca.cardiff.ac.uk/id/eprint/111932 |
Citation Data
Actions (repository staff only)
Edit Item |