随着越来越多数字内容在Internet上广泛出版与递送,人们迫切希望通过数字权限管理技术来保护数字内容的知识产权,保障作者、出版商......

Web服务有几种形式化表示：WSMO（Web服务建模本体）和OWL-S（Web服务本体语言）。为了分析WSML的逻辑特性,提出用一阶动态逻辑来表示WSML。......

语义Web服务利用语义Web中的语义标注技术使得Web服务可以被计算机所理解，从而实现Web服务的发现、调用、组合等的自动化。分析了目......

针对已有数字权限描述模型的动态语义描述能力较弱问题,提出了一个能够描述权限动 作状态的数字产品权限描述模型DDRM。基于一阶......

针对Web服务本体语言（OWL-S）过程模型语义不完善、难以对其进行有效形式化分析和验证的问题,提出一种OWL-S过程模型的形式化方法。该......