Answering Regular Path Queries over SQ Ontologies

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

Feb-8-2018–AAAI Conferences

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.

artificial intelligence, description logic, interpretation, (15 more...)

AAAI Conferences

Feb-8-2018

Conferences PDF

Add feedback

Country:
- Europe
  - Austria (0.04)
  - Germany > Bremen
    - Bremen (0.14)
  - United Kingdom > England
    - Cambridgeshire > Cambridge (0.04)

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning
  - Description Logic (0.35)
  - Ontologies (0.51)

Duplicate Docs Excel Report

Title
None found

Similar Docs Excel Report more

Title	Similarity	Source
None found