[poe] Logic

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

== Logic ==
We read in the IM:

> The Set Policy subclass is also the default subclass of Policy (if none is specified).

This is an excellent example of Default Logic (non-monotonic logic proposed by Reiter), which cannot be represented in standard OWL. Parsia and others made an extended DL reasoner to handle this (see http://ceur-ws.org/Vol-216/submission_22.pdf) about 10 years ago --in a software no longer maintained.

Indeed, the behaviour of software handling ODRL expressions can be tuned to act as desired, but the word "subclass" makes me feel uneasy about it. As I don't think anybody else is concerned, I will close the issue right now (but wanted at least to call your attention on this sentence) 

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

Received on Friday, 1 September 2017 16:28:27 UTC