mlsanityData to 14 Oct 2026

Answering Regular Path Queries Over SQ Ontologies

arXiv 2011.08816 ↗First posted 17 Nov 2020cs.LO cs.AIcited by 1

Not on the map. Why?

Abstract (arXiv)

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.

Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). First posted on arXiv 17 Nov 2020.

Builds on

No reference list yet.

Built on by

Cited by year

Citing papers per year: 2022: 1.

1 paper.

  1. 2022Finite Entailment of UCRPQs over ALC Ontologiescited by 0