Mentions légales du service

Skip to content
Snippets Groups Projects
readme.md 1.04 KiB

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/