Answering Regular Path Queries over SQ Ontologies

Authors

  • Víctor Gutiérrez-Basulto Cardiff University
  • Yazmín Ibáñez-García TU Wien
  • Jean Christoph Jung Universität Bremen

Keywords:

Knowledge Representation and Reasoning, Description Logics, Ontologies, Query-Answering, Regular Path Queries, Transitivity, Number Restrictions

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.

Downloads

Published

2018-04-25

How to Cite

Gutiérrez-Basulto, V., Ibáñez-García, Y., & Jung, J. C. (2018). Answering Regular Path Queries over SQ Ontologies. Proceedings of the AAAI Conference on Artificial Intelligence, 32(1). Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/11539

Issue

Section

AAAI Technical Track: Knowledge Representation and Reasoning