An approach to multi action commitments in KARO logical framework was made, and it was interpreted using Kripke style possible world semantics.

This is also shown by the vagueness of KaKbp → Kap in possible world semantics.

可传递性公式KaKbp→Kap在可能世界语义学上的模糊性，也表明了这一点。

However, though the Possible World Semantics makes us understanding of modal expressions more intuitively, many problems emerge still.

然而，尽管可能世界语义学能让我们更直观地理解模态逻辑表达式，但是依然衍生出许多问题。

Criticisms of Situation Semantics on the Extensional Model Theory and the Possible World Semantics

情境语义学对外延模型论和可能世界语义学的批判

Meanwhile, the neuron is connected according to semantic relation between the concept, which is very good to solve the difficult problems that the fuzzy on semantic and the differentiation of morphology.

它语义神经网络以概念之间的语义关系为依托，这又能很好地解决汉语语义上的模糊性和词性划分上的困难问题。

Semantic generalization and differentiation leads to Affix and relationships before and after changes in composition and structure, on the contrary, structural changes in semantic false cause, and then to affix generated.

语义的泛化和分化导致词缀与前后成分结构关系发生变化，反之，结构改变引起语义虚化，从而词缀产生。

Lexical Collocation and Semantic Differentiation in Chinese The Definition and Overview of the Word Collocation

汉语的词语搭配和义征的提取辨析

The Semantic Differentiation, Structure and Features of Argots

论隐喻的语义识别、语义结构和特征

Semantic Differentiation and Analysis of the Concept of Music

关于音乐概念的语义学辨析

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.

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