In this study, a new classification method of tolerances according to semantics and mathematical representation of basic geometric elements based on DOF is given.

Language, Semantics, Linguistic Representation, and Theory of Mind

语言，语义，语言表征，心理理论&从语言获得建构理论谈心理理论和语言能力的关系

Data Transformation with Semantics

基于语义的数据格式转换

In other words, these linguistic tests for lexical semantic relations provide a building block for a verifiable and language independent theory of lexical semantics.

换句话说，对一个可检验且独立于语言的词汇语意学理论而言，这些测试提供了一个基石。

A Model-Theoretic Semantics for XML

一种XML的模型论语义

The original knowledge which is described in natural language in electronic text is disposed by filtrating, semantic block segmenting, word segmenting, syntax and semantic analyzing, pattern matching. In the end it is expressed in the semantic network and storaged in the multimedia knowledge database.

在本系统中，原始的以电子文本形式存在的自然语言描述的知识经过过滤，切分语义块，分词及语法、语义分析，模式匹配，以语义网络的形式存入多媒体数据库。

A semantic processor based on the semantic pattern matching method

一个基于语义模式匹配方法的语义处理器

With the advantages of formal semantic definition, visually graphical expression, firm mathematical foundation and description based on state, the Petri net is applied to model and optimize the workflow process more and more.

由于Petri网具有形式化的语义定义、直观的图形表达、严格的数学基础以及基于状态的描述等优点，被越来越广泛应用于工作流过程建模和流程优化。

Firstly the method of knowledge representation by OWL ontologies is researched, then the formal and semantic description is introduced, and finally knowledge is represented by an instance.

本文在研究OWL本体进行知识表示的机制后，阐述形式化表示及语义说明方法，并结合实例说明知识的表示。

Some properties of the joint-request are also discussed. Based on the defined action, a teamwork protocol with a formal semantic description is proposed and its application is demonstrated finally.

然后，基于联合请求动作，提出一种主体团队交互协议，并给出了协议的形式化语义，最后讨论了协议的实际应用。

The primary contents are summarized as follows: An overview of the key functions of the EXPRESS modelling language as well as a formal semantic description of the EXPRESS data model is introduced.

对EXPRESS建模语言的核心功能作了概述，并给出了EXPRESS数据模型的一个形式化语义描述。

Based on this model, the corresponding formal semantic description approaches to these five types of the information about customer needs were discussed.

探讨了不同类型的客户需求信息相应的形式化语义描述方法。

All the works of semantic query optimization before are to decrease the cost by rewriting the query sentence to an equivalent and more efficient one.

以往的语义查询优化工作都是利用领域知识进行查询优化，主要是靠重写查询语句为一个等价的、高效的查询来降低费用。

The purpose of semantic query optimization is to improve the effeciency of the query by using the semantic knowledge for the efficient query.

语义查询优化的目的是使用语义知识来进行有效的查询，以提高查询效率。

SDQE: A Semantic Query Optimization in P2P System

适用于P2P的系统查询扩展优化方法

Algorithm of Bottom-up Static Semantic Query Optimization

一种自底向上的静态语义查询优化算法

A Strategy of Semantic Query Optimization

查询语句语义优化的一个方法

Approach to semantic query optimization in deductive database

演绎数据库中的语义查询优化方法

Semantic query optimization technology and application based on association rules

基于关联规则的语义查询优化技术及应用

Based on the semantic analysis of words, concepts and theories, This article discussed the process and methods of semantic structure analysis and the function and role in understanding the connotation of scientific theories and their change.

文章从对词、概念、理论的语义分析入手，讨论了语义结构分析的过程和方法，并阐述了语义分析对理解科学理论的意义及对科学理论发展的功能和作用。

Semantic Structure Extraction and Analysis for Web Forums

论坛消息语义结构的提取与分析