Logical Implementation Mechanism for ODRL Rights Expression Language
Liu Feng-yu · 2009
The absence of formal semantics of ODRL rights expression language and the others that are based on XML makes the exact meaning of these languages rely heavily on the specific interpretation of application programs,which brings the ambiguous and uncertain problems.The paper transited the ODRL language to a logic-based rights expression language,which brings a formal semantics and a logic implementation framework to the language,and also a foundation of trust and formal analysis to the language.Based on the ODRL specification,the methods of transition were discussed and exampled,and an implementation platform was also described.