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,
-.
![]() |
|
PDF
- Accepted Post-Print Version
Download (595kB) | Preview |
Official URL: https://www.aaai.org/ocs/index.php/AAAI/AAAI18/pap...
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 |