DPCC - Deontic Policy Consistency Checker

Data

Optionally provide a state of the world in Turtle format. Drag & drop support available

Policies

ODRL policies in Turtle format. Drag & drop support available

This is a demonstration to evaluate policies for internal inconsistencies. When the consistency checker is happy you'll see an 😌 emoticon. If not, you'll see a 😱 emoticon.

We use a subset of the ODRL model. See https://github.com/KNowledgeOnWebScale/n3s-policy-consistency-checker/tree/main/examples/odrl for more examples. The DPCC subset is limited to:

Every ODRL Rule contains an assigner, assignee, action and target property;
An ODRL Permission Rule has optionally a duty property;
An ODRL Rule optionally has one constraint property using N3 built-ins as operand.
No policy inheritance is in place: all policies need to be normalized in a form that does not require inheritance;
No policy conflict strategies are in place: the assumption that a default conflict setting of invalid is assumed;
No refinement property for ODRL assigner, assignee, action and target;
No consequence property for ODRL permissions and obligations;
No remedy property for ODRL prohibitions;

An ODRL constraint is interpreted as ∃ x: <assignee leftOperand x> ∧ <x operand rightOperand>.

DPCC - Deontic Policy Consistency Checker

Data

Policies

Details

Modal compiled

Applying deontic logic rules on the modal version.