查询词典 ontology

To solve this problem, this paper proposes a method of retrieving Web problem resources based on ontology and description logics. It adopts OWL to express ontology and use RACER as a DL reasoner to fulfill description logic inferences.

Web上的题目资源大都以HTML页面的形式存在，由于从题目的语言表述中往往很难使机器获得其语义信息，包括所涉及的知识点、所采用的语言、难度等，因此

So we build a question-answering system using by Ontology-based and Natural language Processing when users ask the questions the system, and build a database for on junior high school social science exam. When users ask the system by input their questions, the system will intercept words by intercept-word-mechanism, then lead-in Ontology to analyze the semanticist. This way is wanted to advance the degree of accuracy in answering.

本研究将本体论研究及自然语言处理导入系统中，建构一套以国中社会科题组内含知识为资料库来源的问答系统；使用者输入查询问时，系统以词汇断词机制所得之断词组合为基础，并透过系统建构之本体论进行语意结构分析，以提升系统搜寻正确回覆题组之机。

And it defined model elements and transformation rules with ontology language in ontology base.

当前由于缺乏完整的转换规则描述和相应的实现机制，难以实现灵活、自动的模型转换。

From 1976 to 1985,he stuck to Dialectical Materialism as a guideline,reflected on the literary and artistic characteristics of the "Art in its special way grasp the world "," Art has its own independent special targets " and other important proposition to do an in-depth exposition. He also made a brilliant insights about artistic typicalness; From 1985 to 1992, he gradually realized Epistemological Literary Theory couldn't explain all the literary phenomenon, so instead of Human Ontology of Literary Theory,on departure from the Human Ontology to interpret the literary phenomenon,str...essing that " Aesthetic is the life of one of the leading activities "," Art is essentially aesthetic ";Before and after 1992, he re-converted research perspective, explaining aesthetic and artistic on the basis of theValue of Philosophy, saying that the beauty is a form of value.

他从1976年到1985年，以辩证唯物主义认识论为指针，反思文学艺术的特性，对"艺术以其特殊的方式掌握世界"、"艺术有自己独立的特殊对象"等重要命题做了深入的阐发，并就艺术典型提出了精辟的见解；从1985年到1992年，他逐渐意识到认识论文艺学无法解释一切文艺现象，于是转而研究人类本体论文艺学，从人类本体论哲学出发去解释文艺现象，强调"审美是人的生命活动主要方式之一"，"艺术在本质上是审美的"；1992年前后，他再度转换研究视角，从价值论哲学出发去解释审美和艺术，认为美就是一种价值形态。

When the knowledge of a domain is represented in a declarative formalism, the set of objects that can be represented is called the universe of discourse.

在人工智能界，最早给出Ontology定义的是Neches等人，他们将Ontology定义为"给出构成相关领域词汇的基本术语和关系，以及利用这些术语和关系构成的规定这些词汇外延的规则的定义"。

In the former representation, if no restrictions are imposed on formulas, then there is no algorithm to realize the reasoning in the resulted knowledge base; in the latter representation, the reasoning in the ontology represented by the description logic is decidable, while in general, for mathematical knowledge described by the first order logic which contains the ontology represented by the description logic, there is no algorithm to realize its reasoning.

在前者的表示中，如果对公式不作任何限制，那么得到的知识库中的推理不是可算法化的；在后者的表示中，以描述逻辑描述的本体中的推理是可算法化的，而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的。

The historicity that Marx advocated in the sense of philosophical ontology is not equal to historicism,therefore Marxists must reject the phronesis of Kantian epistemolog y,and construct the historical ontology of Marx sphilosophy,and so as to show the full truth of Marxist social and historical theory.

马克思主义哲学本体论意义上倡言的历史性不等于历史主义，马克思主义哲学必须放弃康德式近代认识论的思路，打造出一种历史本体论来，方可尽显马克思主义社会历史理论的真义。

He says that, we should say noumenal ontology on noumena, and say phenomenal ontology on phenomena.

他说，我们只有两层存有论，对物自身而言本体界的存有论，对现象而言现象界的存有论。

Historicity that Marx advocated in the sense of philosophical ontology is not equal to historicism,therefore Marxists must reject the phronesis of Kantian epistemology,and construct the historical ontology of Marx'sphilosophy,and so as to show the full truth of Marxist social and historical theory.

马克思主义本体论意义上倡言的性不等于历史主义，马克思主义哲学必须放弃康德式近代认识论的思路，打造出一种历史本体论来，方可尽显马克思主义历史的真义。

The historicity that Marx advocated in the sense of philosophical ontology is not equal to historicism,therefore Marxists must reject the phronesis of Kantian epistemology,and construct the historical ontology of Marx'sphilosophy,and so as to show the full truth of Marxist social and historical theory.

马克思主义哲学本体论意义上倡言的历史性不便是历史主义，马克思主义哲学必须放弃康德式近代相识论的思绪，打造出一种历史本体论来，方可尽显马克思主义社会历史理论的真义。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。