查询词典 semantics

We abandoned the idea of basing Haskell explicitly on OL very early; we violated the goal of embodying only well-tried ideas, notably by the inclusion of type classes; and we never developed a formal semantics.

我们很早就抛弃了显式的把Haskell基于OL的想法；我们违反了仅包含已经很好尝试过想法的目标，特别是在采纳类型类这个事例上；并且我们也从没有开发出形式语义。

During the construction of Chinese hermeneutics, we have to consult Western hermeneutic theories as academic references. Besides, a sufficient understanding and employment of subjects developed during the history of Chinese studies of interpretation, such as the annotative study of Zhang Ju, Xun Gu (text-based semantics), textology and bibliography, is necessary to construct hermeneutic theories based on the interpretation tradition of China.

在中国诠释学的创建过程中，我们一方面要借鉴西方诠释学的理论，以其作为学术参照，另一方面要从中国诠释传统的实际出发，对于在中国诠释历史中所形成的章句之学、训诂学、考据学、目录学等学科有充分的认识和使用，从而创建出立足于中国诠释传统的诠释学理论。

A NF2 extended data model with object—oriented features is presented, and its semantics is formally described. The data model has the following features. Its database schema has NF2 extended structures, the data values can be either atomatic or composed by'set'and'tuple'constructors with a fixed order. The'table'concept unifies classes and relations.

该模型的主要特点有：数据库模式是扩展的非一范式结构，数据值既可以是原子的，也可以通过构造符set，tuple以特定的顺序反复复合而成；用表的概念统一了类和关系；对象标识既可以由用户定义，也可以由系统定义。

This paper researches the basic principle of fuzzy retrieval on multimedia data semantics, designs a fuzzy reasoning mechanism of Agent knowledge base, puts the fuzzy algorithm wich reasoning is forward or backword,and relevant implementation is presented as well.

引 言目前计算机科学的许多研究正沿着&智能化&的方向发展，多媒体数据库的复杂查询正面临着新的挑战〔1〕。因此，将语义学、多 Agent系统、知识库、模糊理论、人工智能等领域知识综合，运用于多媒体数据库数据语义的模糊检索，有着极其重要的研究意义。

Typically, each service needs a certain amount of knowledge by the consuming client (for Web applications, the client of the service is code that runs on the Web server) so the service can be used properly; for example, so the client can gather the appropriate security credentials, perform appropriate data caching, handle the semantics of dealing with the service in terms of tentative and cancelable operations, and so on.

所以这个客户端可以集合适当的安全信任，执行适当的数据高速缓存，执行在试探的和可取消操作的服务，等等。

Type-Logical Grammar is a kind of Categorial Grammar based on Type-Logical Semantics.

七、分析了蒙太格语法的认识论、本体论基础。

The model relationships become the combinatory rules all languages have. The meanings of words and phrases echo the semantics of the model.

模型的相互关系成为所有语言的组合规则，单词和短语的含义反映了模型的语义。

Description Logic is a kind of object based knowledge representation formalism, and also a decidable fragment of first order predicate logic, with well-defined semantics and powerful representation capability.

描述逻辑是一种基于对象的知识表示的形式化系统，它是一阶逻辑的一个可判定的子集，具有合适定义的语义，并且具有很强的表示能力。

Secondly, we will present some variants of the update semantics with dichotomic definition, and thus prove the frame soundness of some epistemic systems and conditional systems with respect to the variants.

其次，我们提出带两分定义的更新语义的某些变种，从而证明某些认知系统和条件句系统相对这些变种有框架可靠性。中山大学逻辑与认知研究所；中山大学哲学系

These thematic roles form implicational hierarchy and thematic role grid or theta grid. As an important part of sentence semantics, sentence meaning is mainly studied from the relation between it and propositions.

句义在句子语义学中有重要的作用，语言学家主要从句义和命题的关系方面来研究，并且对句义进行了形式化，主要是卡茨-福特理论和蒙塔古理论。

The statistical analysis of this large set of mutations has led us to propose a diagnostic strategy that should help with the molecular work-up of optic neuropathies.

这一大系列基因突变的统计学分析引导我们提出一个诊断策略，可以帮助我们对视神经病变进行分子学的诊断检查。

The results show that the pipe grouting changes the mechanical parameters of surrounding rocks to achieve the security of engineering objectives by reinforcing surrounding rocks and bolcking the water.

研究表明：小导管注浆一方面改变了围岩的力学参数，另一方面利用浆液的固结特性可以实现堵水和加固围岩的工程目标，使隧道在开挖过程中的安全得到保障。