Answering regular path queries over SQ ontologies

Gutierrez Basulto, Victor ORCID: https://orcid.org/0000-0002-6117-5459, Ibanez Garcia, Yazmin ORCID: https://orcid.org/0000-0002-1276-904X and Jung, Jean Christoph 2018. Answering regular path queries over SQ ontologies. Presented at: Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, LA, USA, 2-7 February 2018. Thirty-Second AAAI Conference on Artificial Intelligence. AAAI Publications, -.

Preview

PDF - Accepted Post-Print Version Download (595kB) | Preview

Abstract

We study query answering in the description logic SQ supporting qualified number restrictions on both transitive and non-transitive roles. Our main contributions are a tree-like model property for SQ-knowledge bases and, building upon this, an optimal automata-based algorithm for answering positive existential regular path queries in 2EXPTIME.

Item Type:	Conference or Workshop Item (Paper)
Date Type:	Publication
Status:	Published
Schools:	Schools > Computer Science & Informatics
Publisher:	AAAI Publications
Funders:	EU 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/111935

Citation Data

Cited 10 times in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item