Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules
Authors: David Carral, Markus Krötzsch
IJCAI 2020 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | The paper focuses on developing and proving the correctness of new rewriting approaches for Description Logics (DLs) to Datalog and Datalog, involving theorems and lemmas. For instance, it states: "Detailed proofs of soundness and correctness of Theorem 2 are found in our technical report [Carral and Krötzsch, 2020]." This indicates a theoretical contribution rather than empirical evaluation. |
| Researcher Affiliation | Academia | David Carral and Markus Krötzsch Knowledge-Based Systems Group, TU Dresden firstname.lastname@tu-dresden.de |
| Pseudocode | Yes | The paper includes structured rules and transformations in figures that function as algorithms or procedures: "Figure 1: ALCHIQ rules", "Figure 3: Part of the Datalog rewriting rew (R) of ALCHIQ rule set R", "Figure 4: Rewriting ALCHIQ rules ρ to Datalog", and "Figure 5: Mapping the ALCHIQ Rule Set R into the Terminating Datalog Rule Set rw4(R)". |
| Open Source Code | No | The paper does not provide any statement or link indicating that open-source code for the described methodology is available. |
| Open Datasets | No | This is a theoretical paper. No empirical experiments with datasets are conducted, and therefore no public dataset information is provided. |
| Dataset Splits | No | This is a theoretical paper. No empirical experiments with datasets are conducted, and therefore no training/validation/test splits are specified. |
| Hardware Specification | No | The paper does not mention any specific hardware used for computation or experiments. |
| Software Dependencies | No | The paper does not provide specific version numbers for any software dependencies. |
| Experiment Setup | No | This is a theoretical paper and does not describe empirical experiments. Therefore, no experimental setup details, such as hyperparameters or training settings, are provided. |