- 重点词汇
- techniquen.技术;技能;
- contributionsn.贡献( contribution的名词复数 );捐赠;捐助物;（书、杂志、广播、讨论等部份内容的）一则;
- informationn.消息;数据;问讯处;
- proposedadj.被提议的，所推荐的;
- theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用，指事物或统称的人;用于姓氏的复数形式前，指家庭或夫妇;（指特定用途的事物）足够，恰好;每，一;当前的，本，此;（重读，表示所指的为知名或重要的人或事物）
- ofprep. 关于;属于…的;由…制成;
- thispron.这，这个;这事，这人;这时;下面所说的事;
- mainadj.主要的;
- listn.清单;（船）倾斜;
- 相关例句
1、
2、
An Approach to Data Integration Based on Semantic Web Technique and Ontology
一种基于语义网技术和本体的数据集成方法
互联网摘选
3、
随着研究的深入发展，逻辑悖论研究的重心自然而然转移到了语义悖论上来。
互联网摘选
4、
在教育部统一信息标准的基础上，针对各种语义冲突类型，引入元数据的概念，描述统一的信息标准到各数据源语义定义的映射，并制定映射转换规则。
互联网摘选
5、
可重用的战略性的企业信息应该被看作业务实体的集合，它们应该是标准化的，可以跨整个企业重用，并符合行业标准结构、语义和服务契约。
互联网摘选
6、
必须由提供者系统使用标准协议和语义对其进行发布、查找（发现）和调用。
互联网摘选
7、
例如，UML的标准语义和符号就是用元模型描述的，工具的提供商以一种标准的方法使用元模型来实现UML。
互联网摘选
8、
9、
10、
11、
12、
13、
14、
15、
16、
其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。
互联网摘选
17、
18、
19、
20、
关于公理语义，目前没有见到讨论continue，break，return等的语句的公理化方面的文章，主要原因是这些语句涉及到控制转移问题，用逻辑公式不易描述。
互联网摘选
