Existential N3: From N3 to Existential Rules

Here I fixed the Typo

yes, great!

Scripts

This repository accompanies our submission at RuleML+RR 2022. It includes

• the script facilitating our main contribution: the translation function from N3 rules to existential rules n32rl.py
• existential rules may be translated to N3 Logic rl2n3.py
• datasets given as CSV files can be converted to N3 facts csv2n3.py

Extended Version of the Submission

In the submitted version, we had to ommit some of the details. The pdf at docs/ provides all the details of all the proofs.