[poe] Validation: OWL consistency

vroddon has just created a new issue for https://github.com/w3c/poe:

== Validation: OWL consistency ==
The spec does not mention that valid policies must be **consistent with the ODRL Ontology**.  Should it? This is illustrated by observing http://odrlapi.appspot.com/samples/sample003, reproduced here for convenience:

```
<http://odrlapi.appspot.com/samples/sample003>
    a odrl:Offer, odrl:Agreement;
    dct:source "victor" ;
    odrl:permission [
        a odrl:Permission ;
        odrl:assigner <http://example.com/user:711> ;
        odrl:assignee <http://example.com/user:314> ;
        odrl:target <http://example.com/asset:9898> ;
        odrl:action odrl:reproduce
    ] .
```

Given that the ontology has declared some `owl:disjointWith` axioms, the joint model policy+ODRLontology is inconsistent.

I have just implemented this validation in the [ODRL Validator](http://odrlapi.appspot.com/)
However, the validation takes some 4-5 seconds extra and I will probably remove this validation in future versions. You can test it for the moment --but be patient, validations take long now.




Please view or discuss this issue at https://github.com/w3c/poe/issues/247 using your GitHub account

Received on Tuesday, 5 September 2017 22:05:47 UTC