查询词典 semantics

The similarity logic calculus systems based on incomplete information and incomplete case knowledge is constructed by using a first order modal logic and a simplified second order predicate calculus. The grammar、semantics and inference rule are described.

采用传统的一阶模态谓词逻辑和简化的二阶谓词逻辑分别构建了基于信息不完整和实例知识不完整的相似性逻辑演算系统IISL和IKSL，给出了系统的语法、语义和推理规则。

In this paper, description logic is used as the formal foundation of OWL DL, the corresponding relation between OWL DL and description logic is analyzed, every element of OWL DL is interpreted with the semantics of description logic.

针对上述问题，Tim Berners- L ee提出了语义 Web[1 ，2 ] ，它是现有Web的扩展，使得 Web不仅是一个展示信息的平台，而且可以由机器理解并做推理。

Special logical paradox is a kind of rigid logical paradox which can be depicted by modern logical syntax, modern logical semantics and modern logical pragmatics from its form, and it is possible to infer the paradox from acknowledged correct background knowledge or presupposition of rational thinking subjects.

狭义逻辑悖论是指其由以导出的背景知识都是日常进行合理思维的理性主体普遍承认的公共知识或预设，均可通过现代逻辑语形学、逻辑语义学和逻辑语用学的研究使之得到严格的形式塑述和刻画，其推导过程可达到无懈可击的逻辑严格性的悖论。

It is in this background, the famous American logician and philosopher Kripke establish his casual and historical reference theory in the basis of semantics, which have make contributions to the development of analytical philosophy and language philosophy.

正是在此背景下，美国当代杰出的逻辑学和哲学家克里普克在其语义学基础上提出的因果历史指称理论对于分析哲学和语言哲学的发展做出了重大贡献。

By introducing two time operators, the traditional LOTOS is extended and time|based LOTOSs syntax and formal semantics are described.

前 言与传统分布式系统相比，分布式多媒体系统有3个重要特点：连续交互性、提供严格的服务质量机制和实时同步性。

Firstly, the basic concept and convention about formalized stand language LOTOS is introduced, and, the language was improved and extended by adding discrete time domain and time operator to confirm its syntax and semantics rules.

本文首先论述了形式化规范语言 L OTOS的基本概念与约定，对其进行了基于时间的改进和扩充，引入了离散时间域和时间操作算子，然后确定其相应的语法定义和语义规则，通过仔细分析分布式环境下的多媒体同步问题，基于时间扩充的 L OTOS，给出了一种特殊的多媒体同步系统以及具体的算法描述。

Firstly, the basic concept and convention about formalized stand language LOTOS is introduced, and, the language was improved and extended by adding discrete time domain and time operator to confirm its syntax and semantics rules. Then, a special multimedia synchronization system and implement algorithm is proposed by anatomizing multimedia synchronization problems in distributed environment.

本文首先论述了形式化规范语言LOTOS的基本概念与约定，对其进行了基于时间的改进和扩充，引入了离散时间域和时间操作算子，然后确定其相应的语法定义和语义规则，通过仔细分析分布式环境下的多媒体同步问题，基于时间扩充的LOTOS，给出了一种特殊的多媒体同步系统以及具体的算法描述。

So is it all just the slick semantics of the marketeer keen to take advantage of an already nonplussed would-be suit purchaser, or actually a positive new development in men's wear?

那么，这只是商人们为了对本已困惑的潜在买家大加利用而编出的漂亮言辞，还是男装领域真的出现了一个积极的新动向？

In order to improve the efficiency and precision of Web service matchmaking,the paper presents a hybrid matching method based on semantics.

为了提高Web服务匹配的效率和灵活性，提出了一种基于语义的Web服务混合匹配方法。

Alfred Tarski (1936),"On the Concept of Logical Consequence," in Tarski's Logic, Semantics, Metamathematics

上述有效性的模型理论说明源自於塔斯基的模型理论语意学，是本文所要处理的观

Objective:To compare the response control and attention of Schizophrenic patients with that of the healthy controls by Integrated Visual and Auditorycontinuous performance test. To quantitate the impairment of cognitive function in patients, and to explore the relationship between cognitive function and the severity of the disorder.

目的：探讨精神分裂症病人在IVA持续操作测试中的反应控制能力、注意力等，并与健康人进行比较，从而量化精神分裂症病人的认知功能损害，并进一步探讨其认知功能与疾病严重程度的关系。

Main effective factors including subcooling degree, mechanical vibration, gas hydrate reformation, environment temperature, noncondensing gas and surfactant are analyzed.

指出过冷度、机械振动、重复生成水合物、环境温度、不凝性气体、添加剂是影响气体水合物生成的主要因素，还对R152a水合物的放冷进行了实验研究。