Query Rewriting for DL-Lite with n-ary Concrete Domains
Authors: Franz Baader, Stefan Borgwardt, Marcel Lippmann
IJCAI 2017 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | Our combined rewritability result for CQs with built-in predicates over DL-Lite(HF) core (D) ontologies establishes for the first time a polynomial data complexity for query answering w.r.t. ontologies formulated in an ontology language with n-ary concrete domains. These results subsume the ones of [Savkovi c and Calvanese, 2012] for the case of unary concrete domains, and they are orthogonal to the results in [Hernich et al., 2017]. Detailed proofs of our results can be found in [Baader et al., 2017]. |
| Researcher Affiliation | Collaboration | Franz Baader and Stefan Borgwardt Faculty of Computer Science Technische Universit at Dresden, Germany firstname.lastname@tu-dresden.de Marcel Lippmann TNG Technology Consulting Gmb H Unterf ohring, Germany marcel.lippmann@tngtech.com |
| Pseudocode | No | The paper describes algorithmic steps for operators like 'reduce', 'split', 'infer T', and 'infer D' in paragraph form, but it does not provide a formal pseudocode block or algorithm box. |
| Open Source Code | No | The paper does not mention releasing any open-source code for the described methodology. It is a theoretical paper. |
| Open Datasets | No | The paper is theoretical and does not use datasets for empirical evaluation. It includes an example with synthetic data, but no public dataset or access information is provided for any experimental training. |
| Dataset Splits | No | The paper is theoretical and does not conduct empirical experiments with datasets, therefore it does not mention training/validation/test splits. |
| Hardware Specification | No | The paper is theoretical and does not describe any specific hardware used for running experiments. |
| Software Dependencies | No | The paper is theoretical and does not mention any specific software dependencies with version numbers (e.g., programming languages, libraries, or solvers). |
| Experiment Setup | No | The paper is theoretical and does not describe an experimental setup with specific hyperparameters, training configurations, or system-level settings. |