This repository contains examples and benchmarks that can be used for the Nemo rule reasoner.
The specified LICENSE.txt applies to all logic programs (rules files) in this repository if no other specific terms are given. Data files usually have own license conditions that are specified separately in individual directories.