On query answering in description logics with number restrictions on transitive roles

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

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:	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