-
ULLIANA Federico authoredULLIANA Federico authored
MOWL Datalog Plus
This benchmark contains a subset of the ontologies of the MOWL corpus that enjoy chase termination, and in particular the MFA property. The resulting benchmark contains ontologies of different sizes and using different languages: these are organized by distinguishing on whether they use existentials and disjunction.
Owl ontologies from the MOWL corpus have been normalized using [1] then translated into rules using [2] and then finally MFA has been checked by using [3].
The repository also contains : a set of rules which do not enjoy MFA according to [3] and a set of rules which enjoy semi-oblivious chase termination on the given database instance (but not: their ruleset may not be MFA in general, this could not be checked with [3] within the given timeout).
[1] Normalising DL Horn ontologies: https://github.com/dcarralma/OntologyNormalizer
[2] Translating DL ontologies into rules: https://gitlab.com/m0nstR/owl-to-disjunctive-existential-rules-converter
[3] Checking MFA membership: https://gitlab.com/m0nstR/dmfa-checker/