Published December 1, 2022
| Version 1.0.0
Dataset
Open
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase - Evaluation Material
Authors/Creators
- 1. TU Dresden
- 2. LIRMM, Inria, University of Montpellier, CNRS
Description
In this archive, we provide the (already normalized and translated) rule sets that we used for the evaluation
of MFA, DMFA, DMFA2, MFC, and DMFC in our paper "General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase" at AAAI 2023.We also provide the raw result files and some basic scripts that we used
to produce and count the results.
Due to licensing restrictions we are not allowed to include all of our evaluation material.
Please refer to the provided README.md for more information.
Notes
Lukas is funded by Deutsche Forschungsgemeinschaft
(DFG, German Research Foundation) in project 389792660
(TRR 248, Center for Perspicuous Systems, https://www.perspicuous-computing.science/), by the Bundesministerium für Bildung und Forschung (BMBF, Federal Ministry of Education and Research) under European ITEA project 01IS21084 (InnoSale, Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence, https://www.innosale.eu/), by BMBF and DAAD (German Academic Exchange Service) in project 57616814 (SECAI, School of Embedded and Composite AI, https://secai.org), and by the Center for Advancing Electronics Dresden (cfaed).
David is funded by the ANR project CQFD (ANR-18-CE23-0003).