Answering Regular Path Queries over SQ Ontologies
Authors: Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung
AAAI 2018 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | 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. The objective of this paper is to start the research on query answering in DLs supporting qualified number restrictions over transitive roles. We study the entailment problem of positive existential two-way regular path queries (Calvanese et al. 2000) over SQ ontologies, thus generalizing both conjunctive and regular path queries. To this end, we pursue an automata-based approach for query answering using twoway alternating tree automata (2ATA) (Vardi 1998). |
| Researcher Affiliation | Academia | Vıctor Gutiérrez-Basulto Cardiff University, UK gutierrezbasultov@cardiff.ac.uk Yazmı́n Ibáñez-Garcı́a TU Wien, Austria yazmin.garcia@tuwien.ac.at Jean Christoph Jung Universität Bremen, Germany jeanjung@uni-bremen.de |
| Pseudocode | No | The paper describes algorithms through logical formulations and verbal descriptions, but no structured pseudocode or algorithm blocks are explicitly labeled or presented. |
| Open Source Code | No | An extended version with appendix can be found under www.informatik.uni-bremen.de/tdki/research/papers.html. This link points to a university research group's publication list and does not explicitly state that the source code for the described methodology is provided. |
| Open Datasets | No | The paper is theoretical and does not use datasets, so it does not provide concrete access information for a publicly available or open dataset. |
| Dataset Splits | No | The paper is theoretical and does not involve empirical evaluation with data, thus it does not provide specific dataset split information. |
| Hardware Specification | No | The paper is theoretical and does not describe any experimental setup, therefore no specific hardware details are provided. |
| Software Dependencies | No | The paper is theoretical and does not detail an experimental setup requiring specific software dependencies with version numbers. |
| Experiment Setup | No | The paper is theoretical and does not include details about an experimental setup, hyperparameters, or training configurations. |