A Web-indexing agent that turns documents into formal Semantic Web-based knowledge
Web索引代理，将文档转变成正式的基于语义 Web 的知识
According to given formal semantic, it has been proven the reliability and completeness of this system.
根据给出的形式语义，可以证明该系统的可靠性和完全性。
A personal agent that USES formal Semantic Web knowledge bases to book holidays or even doctor appointments.
个人代理，使用正式的语义Web知识库来预定假期甚至进行门诊预约。
Lack of adoption of the formal semantic Web does not mean that search is not getting better. There are several instances where semantics are being used to improve search.
缺乏对正式语义网络的采用，并不意味着搜索没有进步，已经有几个例子证明了语义学被用于改良搜索当中。
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数据模型的一个形式化语义描述。
Some NIEM practitioners create more formal CMTs that have separate columns indicating the kind of extension, the base types and elements, and the level of semantic alignment.
有些niem从业者创建更为正式的CMT，即具有单独的列指出扩展的种类、基本类型和元素以及语义排列的级别。
Thus, the semantic characteristics in the provider description (formal or informal) are reflected in the semantic characteristics of the service specification, as shown by the solid arrow in Figure 4.
因此，服务规范的语义特征反映(正式或非正式的)提供者描述中的语义特征，见图4中的实线箭头。
In the spectrum of standards, SKOS contributes by bridging the gap between traditional indexing and formal ontologies for the Semantic Web.
在标准的谱系中，SKOS的作用是衔接传统的索引和语言web的正式本体。
And the three schools of Chinese grammatical study, including formal grammar, functional grammar and semantic grammar, are elaborated.
并且对目前的汉语语法研究的三大流派“形式语法”、“功能语法”以及“语义语法”作了简明阐述。
Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.
其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。
This paper proposes a formal model of feature interactions based on the semantic of message lists in runtime between the object of service logical programming instance and the network entities.
本文通过对业务在执行过程中，业务逻辑实例与外部实体交互消息的分析，提出一个基于消息序列语义的特征交互形式模型。
However, as there are no clear formal distinctions among different types of modality, semantic, formal and pragmatic approaches have been adopted.
但是，由于各类情态在形式上没有明显的区别，人们往往只能从语义、形式和使用上加以考虑。
Situation Semantics is a new semantic theory. Although it is very successful in philosophical interpretations of meaning and common life reference, its formal technique is not mature.
情境语义学是一种新型语义理论，虽然它在意义和日常推理的哲学解释上获得极大成功，但在形式技术上还不够成熟。
Semantic research is the main trend of modern linguistic research, while semantics formal research is the main trend of semantic research, which cannot be avoided.
当代语言学的研究大有语义化之趋向，而语义形式化的研究已经成为当今语义学研究的主流之一，是不可避免的。
Formulized is an operational semantic model of formal functional programming (FFP) language which in essence is an interpreter on the virtual LISP machine.
本文塑造了正式的函数式程序设计(FFP)语言的一种操作性语义模型，它实质上是LISP虚拟机上的一个解释程序。
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本体进行知识表示的机制后，阐述形式化表示及语义说明方法，并结合实例说明知识的表示。
Based on the conception of formal word, the author inquires into the non grammatical factors for determination of segmentation element. They include the semantic factors, phonetic factors.
本文提出了“形式词”概念，并在形式词的基础上，进一步研究了确定切词单位的非语法因素，包括语义因素、语音因素。
The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
According to the theory, there exist two levels of cognitive processing: the formal level or the surface level and the semantic level or the deep level.
根据认知加工层次理论，对单个的词可进行形式和语义即浅层次和深层次加工；
There are many advantages in terms of semantic formal research, but there are also disadvantages about it.
语义形式化的研究有其有利的方面，也有其不利的方面。
The existence or nonexistence of connective marks depends upon the impact of a few factors: semantic factors, pragmatic factors and formal factors.
标记的隐现取决于几种因素的影响：语义因素、语用因素和形式因素。
However, from a systemic functional viewpoint, cohesion, though realized by formal features, is itself a semantic concept.
然而，从系统功能语言学的观点来看，尽管衔接是由形式特征来体现的，但衔接本身是一个语义概念。
Furthermore, this paper finds that the differences in culture and formal structure as well as the semantic fuzziness are three major reasons for the presence of limits in fuzzy numeral translation.
另外，本研究还发现产生这种翻译限度的原因主要是中西方在文化、形式以及数词本身上的语义模糊。
It is also the focus of this paper to integrate the UML and formal language, make up the shortfall of UML semantics, and give precise semantic of real-time behavior model.
把UML和形式化语言进行融合，通过形式化的方法来弥补UML语义上的不足，给出实时行为方面模型的精确语义，也是本文的研究重点。
As a research focus in natural language understanding area, the purpose of semantic analysis is to transfer the mankind's natural language into formal language that computer can understand.
作为自然语言理解的一项研究重点，语义分析旨在将人类的自然语言转化为计算机能够理解的形式化语言。
On the basis of the function of explanation of the context, it focuses on the interpretation of the aesthetic information in phonological, semantic, lexical, and formal deviation.
语境的制约功能对言语的选择起限定作用，语境的解释功能可对语音、语义、词汇、形式变异审美信息进行解读。
Under interpretation 2, instead, the ontology, that underlies a knowledge base, is expressed in terms of suitable formal structures at the semantic level.
而定义2则认为有知识库支持的本体在语义层根据适当形式的结构予以表示。
Finally, an example analysis is done to prove the feasibility of concept lattice-based semantic structure matching model with the formal context through the attribute extraction.
最后通过实例进行分析，通过属性抽取算法提炼出形式背景，并验证基于概念格的语义匹配模型的有效性。
We argue that there is not only a shift from the formal approach to the semantic, functional approach, but also a shift of perspective, i. e. from the perspective of sentence to that of discourse.
回指研究历史不仅是从形式研究往功能、意义研究的转换史，而且是从句内回指往篇章回指的转换史。
We argue that there is not only a shift from the formal approach to the semantic, functional approach, but also a shift of perspective, i. e. from the perspective of sentence to that of discourse.
回指研究历史不仅是从形式研究往功能、意义研究的转换史，而且是从句内回指往篇章回指的转换史。
应用推荐