This GitHub repository contains implementations of a selected use case of legal norms in different automatic reasoners.
The use case includes the following four articles:
- Article 1. The Licensor grants the Licensee a licence to evaluate the Product.
- Article 2. The Licensee must not publish the results of the evaluation of the Product without the approval of the Licensor. If the Licensee publishes results of the evaluation of the Product without approval from the Licensor, the material must be removed.
- Article 3. The Licensee must not publish comments about the evaluation of the Product, unless the Licensee is permitted to publish the results of the evaluation.
- Article 4. If the Licensee is commissioned to perform an independent evaluation of the Product, then the Licensee has the obligation to publish the evaluation results.
The norms in the use case has been implemented as:
- Shapes Constraint Language (SHACL) rules. Source code and instructions are available here.
- Answer Set Programming (ASP) rules via Clingo v5.5.1 or DLV v2. Source code and instructions are available here.
- DLV system rules. Source code and instructions are available here.
- PROLEG rules. Source code and instructions are available here.
- Arg2P rules. Source code and instructions are available here.
- SPINdle rules. Source code and instructions are available here.
The implementations can be tested on the synthetic (ABox) datasets created via the dataset generator at this link.