A Model-Theoretic Semantics for 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

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

Taking the "N_ ( adv)· V ·'zhi'" as an example, this paper tries to show the essentiality of the semantic structure's analysis in the study of ancient Chinese grammar.

本文试以名词状语句的分析为例，说明古汉语语法研究中语义结构分析的重要性。

It's also a new method for semantic differentiation of homomorphic words, semantic structure analysis of NP phrase, semantic understanding of newcome words.

这可解决同形词的语义识别、多项NP语义结构分析、未登陆词的语义理解等等。

Proposed an automatic SEs extraction method based on transformation and mapping: It firstly used link grammar and transformation for lower level semantic structure analysis of English, and through statistical word alignment to find the correspondence of the source language and the target language.

提出基于转换和映射的语义单元自动获取方法：利用链语法分析和转换实现英语的浅层语义结构分析，并且通过统计词语对齐找到双语的对应关系。

The grammaticalization mechanisms for the development of content words into affixes in the Modern Chinese Language chiefly include the syntactic mechanism, the semantic mechanism, the phonetic mechanism and the cognitive mechanism.

实词演变为现代汉语词缀的语法化机制主要有：句法机制、语义机制、语音机制和认知机制。