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

DOI:

https://doi.org/10.1609/aaai.v32i1.11539

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.

AAAI 2018 Proceedings Cover

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). https://doi.org/10.1609/aaai.v32i1.11539

Issue

Vol. 32 No. 1 (2018): Thirty-Second AAAI Conference on Artificial Intelligence

Section

AAAI Technical Track: Knowledge Representation and Reasoning