ODRL权利描述语言逻辑实施机制研究

来源 :计算机科学 | 被引量 : 0次 | 上传用户:get_to_do
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对缺乏正式语义使基于XML的ODRL等权利描述语言的确切含义依赖应用程序的特定理解、易产生二义性和不确定性等问题,将ODRL语言转换成一种基于逻辑的权利描述语言,为ODRL语言提供了正式语义和策略实施的逻辑框架,为ODRL语言实施提供可信和形式化分析基础。在ODRL规范基础上对转换方法进行了说明和示例,最后描述了实施平台。
其他文献
主动网络是一种新型的网络体系,不仅可以传送数据包,而且还可以执行数据包中特定的运算任务。主动网络为用户提供了可编程的接口,用户可通过网络中的节点动态地注入所需的服务。
对于现有的BurstMode异步控制电路综合方法而言,由于在状态归约与赋值阶段需要进行完备的状态空间搜索,面临状态空间爆炸问题,因此仅仅适用于中小规模控制电路。为了提高电路的
分析了现有的几种XML文档前缀编码方法,研究了在XML文档树不同位置插入节点时的更新代价,提出了一种基于位置信息的前缀编码方案,对更新代价较大的节点预留较大的空间。设计了更
文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构。在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊
构造了一组新的广义模糊粗糙近似算子,将其拓展到区间上。在由任意的二元区间值模糊关系构成的广义近似空间中,证明了该组近似算子与区间化的广义Dubois模糊粗糙近似算子是等价
在程序代码中自动识别设计模式可以为面向设计模式的软件理解、维护和重构等活动提供自动化支持。比较系统地分析了该领域十余年来的研究状况和存在的问题,提出了一套以准确和
提出了一种基于综合骨架段特征的形状图像检索方法。首先提取图像中目标的骨架,然后根据骨架上的特征点(端点、分叉点)把整个骨架分割成若干骨架段,用矩特征来描述各段骨架。最后通过MSHP(Most Similar Highest Priority)原理对两幅图像中的骨架段对进行相似性度量,从而得到整幅图像之间的距离。实验表明,该方法较传统的基于整个骨架特征的匹配方法能得到更好的检索结果。
软硬件划分是软硬件协同设计的关键技术之一,划分结果对最终的设计方案有非常重要的影响。软硬件划分根据优化目标的数量,可分为单目标划分和多目标划分。多目标划分问题是一
软件可靠性模型为软件的费用模型提供了很好的依据。在软件可靠性增长模型的测试阶段和操作运行阶段,环境的不同导致了两个阶段故障检测率的不同。在多版本较准的软件可靠性模
语言中的明喻可以看作是带标记的隐喻,比较容易识别,为隐喻的理解和生成提供了很好的知识源。利用Web搜索引擎大规模获取明喻实例,自动构建明喻知识库。基于明喻知识库,考察了汉