Answering regular path queries over SQ ontologies

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.
Publication Type
ConferencePaper
Author
Gutiérrez-Basulto, Víctor 
•
Ibáñez-García, Yazmín 
•
Jung, Jean 
Date Issued
2018
DOI
Faculty
Institute / Institution
Journal Title
Proceedings of the AAAI Conference on Artificial Intelligence
Conference
32nd AAAI Conference on Artificial Intelligence, 2018, New Orleans, 02.02.-07.02.2018
Publisher
AAAI Press
Publisher Place
Palo Alto
Volume
32
Issue
1
Page Start
1845
Page End
1852
ISBN
978-1-57735-800-8
HilPub short link