Epistemic logic ( 3): on semantic tableau proof procedure

The details read as following: Study 1 uses primary-secondary judgment of fuzzy mathematics to assort with Semantic Priming procedure.

具体如下：实验一以模糊主次评判方法配合语义启动技术进行实验。

The study used the primary-secondary judgment of fuzzy mathematics combined with the Semantic Priming procedure.

本研究应用模糊主次评判方法配合语义启动技术进行实验。

Web service discovery provides simple keyword-based search method, which does not support semantic reasoning.

目前Web服务发现机制仅提供了简单的基于关键字的搜索方法，缺乏对语义推理的支持。

Semantic reasoning is the realization of knowledge retrieval another key.

语义推理是实现知识检索的另一个关键。

Semantic reasoning is an important link in developing Semantic Web.

语义推理是语义网技术中的重要一环。

Research on Domain Ontology Model and Semantic Reasoning of Animation Material

动画素材的领域本体模型与语义推理研究

As the construction of feature database for known scenes and the scene recognition experiment all require acquiring laser data at the entrance of the door, we first pick out the door by feature extraction and using semantic scene technique.

机器人在进行场景特征库构建以及认知实验所需的数据都要在房间门口获取，因此本文首先利用特征提取及场景语义化的相关知识进行房门的有效提取。

In this thesis, we show how the cluster label discovery can be accomplished with the use of the Latent Semantic Indexing technique and how to organize the discovered labels into a hierarchical label tree.

本文将详述如何使用隐含语义分析的方法来发现类别标签以及将标签组织为层次型标签树。

Semantic search technique, fortunately, is a hopeful way that leads to the key to the issue of finding exact information from mass number of them effectively.

如何在海量的信息中有效地找到所需信息因而成为了一个关键问题，语义检索技术是解决这一问题非常有潜力的方法。

The main contributions of this paper are list as follows: ⅰ. A concise semantic analysis technique based on categories information is proposed.

论文主要成果如下：①提出了一种基于类标的简明语义分析技术。

Application of Spatial Data Semantic Conversion Technique Based on FME

基于FME的空间数据语义转换技术的应用

An Approach to Data Integration Based on Semantic Web Technique and Ontology

一种基于语义网技术和本体的数据集成方法

With the deepening and development of research, the focus of logical paradox research is naturally shifted to semantical paradox.

随着研究的深入发展，逻辑悖论研究的重心自然而然转移到了语义悖论上来。

Unified the information standard on the foundation of Ministry of Education, in view of each semantic conflict type, we used the concept of metadata, described mapping from the unified information standard to semantics definition of various data sources, and defined mapping transformation rule.

在教育部统一信息标准的基础上，针对各种语义冲突类型，引入元数据的概念，描述统一的信息标准到各数据源语义定义的映射，并制定映射转换规则。

Reusable, strategic enterprise information should be viewed as sets of business entities, standardized for re-use across the entire organization and made compliant with industry standard structures, semantics and service contracts.

可重用的战略性的企业信息应该被看作业务实体的集合，它们应该是标准化的，可以跨整个企业重用，并符合行业标准结构、语义和服务契约。

They must be published, found ( discovered), and invoked by provider systems using standard protocols and semantics.

必须由提供者系统使用标准协议和语义对其进行发布、查找（发现）和调用。

For example, the standard semantics and notation of the UML are described in metamodels that tool vendors use for implementing the UML in a standard way.

例如，UML的标准语义和符号就是用元模型描述的，工具的提供商以一种标准的方法使用元模型来实现UML。

A Temporal Logic Semantics for UML Activity Diagrams

UML活动图的时序逻辑语义

A study of the implicit memory of temporal qualifier semantics

时间修饰词内隐记忆的实验研究

On the other hand, a universal calculation method of the temporal semantics provided in this paper can localize the descriptions of temporal in all languages into the temporal axis.

同时，本文提供通用的时间语义计算方法，将各语言的时间描述映射到时间轴上。