[poe] Issue: How much infererence for validation? marked as question

vroddon has just labeled an issue for https://github.com/w3c/poe as "question":

== How much infererence for validation? ==
Please, let us consider this example (written [in May](https://www.w3.org/2016/poe/wiki/Best_Practices)):
```
@prefix odrl: <http://www.w3.org/ns/odrl/2/> .
@prefix dct: <http://purl.org/dc/terms/> .

<http://example.org/policy/1> 
  odrl:permission [
    odrl:target <http://example.com/asset/1> ;
    odrl:assignee <http://example.com/party/Alice> ;
    odrl:action odrl:use
  ] .
```
This simple RDF policy is not validated because in principle no policy is found whatsoever.
A simple inference from odrl:permission's domain (odrl:Policy) would produce the necessary axiom:
`<http://example.org/policy/1> a odrl:Policy ;
`
I like these compact policies, which will be more easily adopted&understood.
But I don't like adding more reasoning burden to the validator. Can we add type inference, as least for some classes?




See https://github.com/w3c/poe/issues/253

Received on Friday, 8 September 2017 21:59:23 UTC