Combining Existential Rules with the Power of CP-Theories
Authors: Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Oana Tifrea-Marciuska
IJCAI 2015 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We analyze the computational complexity of deciding consistency, dominance, and CQ skyline membership for OCP-theories, providing (generic and concrete) precise complexity results for different types of combined complexity. We also provide several tractability results in the data complexity for the case where query answering in the underlying classical ontology is tractable in the data complexity. |
| Researcher Affiliation | Academia | Tommaso Di Noia Dip. di Elettrotecnica ed Elettronica Politecnico di Bari, Italy tommaso.dinoia@poliba.it Thomas Lukasiewicz Department of Computer Science University of Oxford, UK thomas.lukasiewicz@cs.ox.ac.uk Maria Vanina Martinez Gerardo I. Simari Dept. of Computer Science and Engineering Univ. Nacional del Sur and CONICET, Argentina {mvm,gis}@cs.uns.edu.ar Oana Tifrea-Marciuska Department of Computer Science University of Oxford, UK oana.tifrea@cs.ox.ac.uk |
| Pseudocode | Yes | ALGORITHM 1: k-Rank-Prefs (O, Γ, Q, k) |
| Open Source Code | No | The paper does not provide any concrete access to source code for the methodology described. It states that future work includes 'implementation and experimental evaluation'. |
| Open Datasets | No | The paper is theoretical and does not use datasets for empirical evaluation. Example 1 provides an illustrative database, not a dataset for training or public access. |
| Dataset Splits | No | The paper is theoretical and does not involve empirical evaluation with data splits. |
| Hardware Specification | No | The paper is theoretical and does not describe running experiments, therefore no hardware specifications are mentioned. |
| Software Dependencies | No | The paper is theoretical and does not describe running experiments, therefore no specific software dependencies with version numbers are mentioned. |
| Experiment Setup | No | The paper is theoretical and does not describe an experimental setup with hyperparameters or training configurations. |