Merge: Automatic testing for data property range in examples  (based on nidm-results.owl)

This pull request includes:

- An update of the class `CheckConsistency.py` to check that data types in the examples are consistent with range defined in `nidm-results.owl` file (for DataProperties).
- Fixes to insure the consistency of the provn examples and nidm-results.owl file.