General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase - Evaluation Material

In this archive, we provide the (already normalized and translated) rule sets that we used for the evaluation<br> 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<br> to produce and count the results.<br> Due to licensing restrictions we are not allowed to include all of our evaluation material.<br> <br> Please refer to the provided README.md for more information.