Checking Chase Termination over Ontologies of Existential Rules with Equality
Authors: David Carral, Jacopo Urbani2758-2765
AAAI 2020 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Experimental | We performed some experiments to verify, from an empirical perspective, claims (I IV) stated in the introduction. |
| Researcher Affiliation | Academia | David Carral Institute for Theoretical Computer Science Technische Universit at Dresden, Germany david.carral@tu-dresden.de Jacopo Urbani Department of Computer Science Vrije Universiteit Amsterdam, The Netherlands jacopo@cs.vu.nl |
| Pseudocode | No | The paper describes algorithms (e.g., Definition 3: The Chase Algorithm) in prose and mathematical notation, but it does not contain structured pseudocode or clearly labeled algorithm blocks. |
| Open Source Code | No | The paper states "we implemented the renaming chase variant presented in Definition 3 in VLog (Urbani, Jacobs, and Kr otzsch 2016)", but it does not provide a specific repository link or an explicit statement about releasing the source code for the methodology described in this paper. |
| Open Datasets | Yes | To verify claims (II IV), we use Description Logics TBoxes (Baader et al. 2003) from MOWLCorp (Matentzoglu, Bail, and Parsia 2013) and the Oxford Ontology Repository2 (OOR). |
| Dataset Splits | No | The paper describes evaluating different acyclicity notions and chase computation times on rule sets. However, it does not specify explicit training, validation, or test dataset splits (e.g., percentages or sample counts) typically used for machine learning model evaluation or for reproducing data partitioning. |
| Hardware Specification | No | The paper does not provide specific details about the hardware used for running its experiments, such as exact GPU/CPU models, processor types, or memory amounts. |
| Software Dependencies | No | The paper mentions that the authors implemented parts of their work in "VLog", but it does not provide specific version numbers for VLog or any other key software components, libraries, or solvers used in the experiments. |
| Experiment Setup | No | The paper describes the preprocessing steps for the ontologies and mentions the use of VLog for implementation. However, it does not provide specific experimental setup details such as concrete hyperparameter values, learning rates, batch sizes, or other system-level training configurations relevant for reproducing experiments. |