Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

Answering regular path queries over SQ ontologies

Gutierrez Basulto, Victor, Ibanez Garcia, Yazmin 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, -.

[img]
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: Computer Science & Informatics
Publisher: AAAI Publications
Funders: EU Horizon 2020 programme
Date of First Compliant Deposit: 4 June 2018
Last Modified: 03 Mar 2020 17:15
URI: http://orca.cf.ac.uk/id/eprint/111935

Citation Data

Cited 1 time in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item Edit Item

Downloads

Downloads per month over past year

View more statistics