[poe] How much infererence for validation?

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

== How much infererence for validation? ==
Please, let us consider this example (written [https://www.w3.org/2016/poe/wiki/Best_Practices](in May)):

```
@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?




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

Received on Friday, 8 September 2017 19:33:16 UTC