|
计算机科学 2009
Logical Implementation Mechanism for ODRL Rights Expression Language
|
Abstract:
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 ...