A Formal Foundation for ODRL

ODRL is a popular XML-based language for stating the conditions under which resources can be accessed. The language is underspecified, and can be reasonably interpreted in a number of ways. To remove the ambiguity, we propose a formal semantics for a representative fragment of the language. We also define when a permission is implied by a set of ODRL statements.

• Type: Journal
• Year: 2006
• Where: CORR
• Authors: Riccardo Pucella, Vicky Weissman
• Keywords: CORR 2006, Education, Formal Semantics, ODRL, Popular Xml-based Language