Warning:
This wiki has been archived and is now read-only.

Policy Conflict

From Permissions and Obligations Expression Working Group
Jump to: navigation, search

Semantics of Action Relations

odrl:implies

If an Action α implies another Action β (α odrl:implies β), a Prohibition of β conflicts a Permission of α, but not necessarily vice versa (i.e., a Prohibition of α is not in conflict with a Permission of β).

Because odrl:play, odrl:display, odrl:print are all narrower actions of odrl:present, policy <http://example.com/policy:01b> containing additional permissions for odrl:play, odrl:display, odrl:print can be inferred from policy <http://example.com/policy:01a> and be further expanded into <http://example.com/policy:01c>:

Raw Inferred Expanded 
<http://example.com/policy:01a>
    a odrl:Policy;
    odrl:permission [
        a odrl:Permission ;
        odrl:target ex:PartA ;
        odrl:action odrl:present ;
        odrl:assignee ex:Bob
    ] ;
    odrl:prohibition [
        a odrl:Prohibition ;
        odrl:target ex:PartB ;
        odrl:action odrl:print ;
        odrl:assignee ex:Bob
    ] .
 
<http://example.com/policy:01b>
    a odrl:Policy;
    odrl:permission [
        a odrl:Permission ;
        odrl:target ex:PartA ;
        odrl:action odrl:present ;
        odrl:action odrl:play ; 
        odrl:action odrl:display; 
        odrl:action odrl:print ; 
        odrl:assignee ex:Bob
    ] ;
    odrl:prohibition [
        a odrl:Prohibition ;
        odrl:target ex:PartB ;
        odrl:action odrl:print ;
        odrl:assignee ex:Bob
    ] .
 
<http://example.com/policy:01c>
    a odrl:Policy;
    odrl:permission [
        a odrl:Permission ;
        odrl:target ex:PartA ;
        odrl:action odrl:present ;
        odrl:assignee ex:Bob
    ] ;
    odrl:permission [
        a odrl:Permission ;
        odrl:target ex:PartA ;
        odrl:action odrl:play;
        odrl:assignee ex:Bob
    ] ;
    odrl:permission [
        a odrl:Permission ;
        odrl:target ex:PartA ;
        odrl:action odrl:display;
        odrl:assignee ex:Bob
    ] ;
    odrl:permission [
        a odrl:Permission ;
        odrl:target ex:PartA ;
        odrl:action odrl:print;
        odrl:assignee ex:Bob
    ] ;
    odrl:prohibition [
        a odrl:Prohibition ;
        odrl:target ex:PartB ;
        odrl:action odrl:print ;
        odrl:assignee ex:Bob
    ] .
Retrieved from "https://www.w3.org/2016/poe/wiki/index.php?title=Policy_Conflict&oldid=1220"