Skip to content

Commit

Permalink
Update index.html
Browse files Browse the repository at this point in the history
  • Loading branch information
fornaran authored Oct 10, 2024
1 parent 7bb1036 commit 25c1a0c
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion formal-semantics/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -158,7 +158,9 @@ <h2>Semantics of Permission, Prohibition, and Obligation</h2>
</ul>
<hr/>
<p>
The concepts (objects) to be understood by an ODRL Evaluator therefore include: Policy, Permission, Prohibition, Obligation, Condition, Consequence, Remedy, Refinement, Constraint and State of the World.
The concepts (objects) to be understood by an ODRL Evaluator therefore include: Policy, Permission,
Prohibition, Obligation, Condition (Duty), Consequence, Remedy, Refinement,
Constraint, State of the World, and attempted action.
Here follows a list of properties (with their possible values) needed by the ODRL Evaluator:</p>
<ul> <!-- attributes of the main objects -->
<li>Permission, Prohibition, and Obligation, <!-- and Condition --> have a property called
Expand Down

0 comments on commit 25c1a0c

Please sign in to comment.