- 重点词汇
- basedadj.有根基的;有基地的;
- ofprep. 关于;属于…的;由…制成;
- onprep. (覆盖、附着)在…上;由…支撑着;在(运输工具)上;在(某一天);就在…之后;关于(事或人);(身上)带着;为(某团体或组织)的一员;吃;(表示方向)在,向,对;在,接近(某地);根据;以…支付;通过;与…相比
- datan.数据;资料;材料;(储存在计算机中的)数据资料
- techniquen.技术;技能;
- conversionn.转变,转换;(信仰)改变,皈依;(橄榄球运动中的)附加得分;
- applicationn.应用;应用程序;申请;(尤指理论、发现等的)运用;申请表;申请书;施用;敷用,敷用药;涂抹;勤勉,勤奋,用功;
- spatialadj.空间的;存在于空间的;受空间条件限制的;占大篇幅的;
- semanticadj.<语>语义的,语义学的;
- 相关例句
An Approach to Data Integration Based on Semantic Web Technique and Ontology
一种基于语义网技术和本体的数据集成方法
互联网摘选
随着研究的深入发展,逻辑悖论研究的重心自然而然转移到了语义悖论上来。
互联网摘选
在教育部统一信息标准的基础上,针对各种语义冲突类型,引入元数据的概念,描述统一的信息标准到各数据源语义定义的映射,并制定映射转换规则。
互联网摘选
可重用的战略性的企业信息应该被看作业务实体的集合,它们应该是标准化的,可以跨整个企业重用,并符合行业标准结构、语义和服务契约。
互联网摘选
必须由提供者系统使用标准协议和语义对其进行发布、查找(发现)和调用。
互联网摘选
例如,UML的标准语义和符号就是用元模型描述的,工具的提供商以一种标准的方法使用元模型来实现UML。
互联网摘选
其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。
互联网摘选
关于公理语义,目前没有见到讨论continue,break,return等的语句的公理化方面的文章,主要原因是这些语句涉及到控制转移问题,用逻辑公式不易描述。
互联网摘选
为了说明本文提出的公理语义方案具有一般性,也给出了具有异常处理机制条件下,if语句,while语句,和块等语句的公理语义。
互联网摘选
