在教育部统一信息标准的基础上,针对各种语义冲突类型,引入元数据的概念,描述统一的信息标准到各数据源语义定义的映射,并制定映射转换规则。
互联网摘选
多实例MI是一种重要的工作流模式,由于它引入了许多与工作流语言的语义和系统实现相关的问题,在许多情况下难以被直接有效地实现。
互联网摘选
请注意这里匹配的优势:我们不仅仅处理通配符,而且处理语言语义。
互联网摘选
认知语言学认为语义结构等同于概念结构,而概念结构源于人类与周围世界的身体接触。
互联网摘选
Fixpoint Semantics and Reasoning of Terminological Cycles in Description Logic ε LN
描述逻辑εLN循环术语集的不动点语义及推理
互联网摘选
MapReduce的关键特点是它能够对开发人员隐藏操作并行语义&并行编程的具体工作方式。
互联网摘选
该元模型既支持CMM软件过程的抽象语法和规则语义,也支持利用UML CASE工具操作CMM软件过程模型。
互联网摘选
语法和语义异构的数据采集是网络管理平台的基础和难题。
互联网摘选
另一个说法,本体提供了用来描述数据的含义的显式概念,从而提供了对某个领域的共享的和公共的理解。
互联网摘选
信息共享需要在元数据的交换格式、标记格式、元素内容结构、元素语义和数据元等方面能够互操作,需要建立一套完整的标准体系。
互联网摘选
XML和本体作为系统采用的关键技术分别从语法、语义两个方面解决了数据的异构问题,对上层用户屏蔽了底层数据源物理和逻辑的差异性,实现了应用层的透明访问。
互联网摘选
论述了如何构建语义信息资源目录,尤其是如何深度发掘数据暗含语义,设计了四类规则促进语义的发掘。(3)设计了在大规模数据源上进行语义查询的DSQ算法。
互联网摘选
本体作为共享概念的形式化说明,用于表达数据源的语义、识别和建立概念间的语义关联、达成语义一致,提供了语义异构问题的解决途径。
互联网摘选
So, this paper addresses how to define program semantics on dynamic data structures.
本文针对这种情况,研究了如何正确刻划动态数据结构的程序语义问题。
互联网摘选
基于变量抽象,我们定义了部分最强后置条件,进而定义了程序的保守近似语义。
互联网摘选
