中文摘要：

权利描述语言用来构造许可证，描述数字内容的使用权利．鉴于现存的权利描述语言存在表达力不足、缺乏正式语义等问题，提出一种基于逻辑框架的数字版权管理语言LucScript．对该语言框架的逻辑语义、语法和触发运行机制进行了分析和说明，描述了该语言的实现方法，并对该语言的应用和使用控制过程进行了示例．该语言基于统一的具有单一稳态结构的Active—U—Datalog语义，具有比现存权限描述语言更强的表达力和灵活性．LucScript语言可有效地提高DRM系统对数据内容使用的灵活性和实时控制能力．

英文摘要：

DRM technology is becoming one of the critical techniques to protect digital rights in the Internet. Rights expression languages （RELs） in DRM system are langugges devised to construct licenses and describe usage rights of digital content. Most of current rights expression languages are based on XML, which lack a formal semantics and when the conditions of user become complex, the syntax of the languages are complicated and obscure. Due to the problems, the rights expression language LucScript is presented, which is a language based on logical framework that owns logical advantages of expressiveness, flexibility and semantic integrity to XML-based languages. The logic semantic, syntax and triggering mechanism of the language framework are analyzed and explained. And the implementation mechanism of the language is discussed. Finally, the application and process of usage control of the language are exampled. The language is based on integral semantics of Active-U-Datalog that owns a unique stable model, which makes the language own more expressiveness and flexibility than other logic-based rights expression languages. A comparative analysis between LucScript and LicenseScript language which owns the most powerful expressiveness at the preseni time is also shown at the end of the paper. LucScript language can improve usage flexibility and capability of real-time control of digital content in DRM system effectively.