您要查找的是不是：
- Description Logic Reasoning Semantic Web Web本体语言（OWL）
- description logics reasoning 描述逻辑推理
- Instance Store - Instance Store: Java application for (Description Logic) reasoning over large numbers of individuals. 这个Java应用程序用于在大量个体之上进行(描述逻辑)推理。
- Its logical reasoning cannot be gainsaid. 合乎逻辑的推理是不容否定的。
- Description logics are fragments of the first-order logic，which contain concepts，roles，and concept and role constructors；and have features of strong expressivity and decidable reasoning. 摘要描述逻辑是包含了概念、角色以及概念和角色构造子的一阶逻辑的子逻辑，具有表达能力强且推理可判定的特征。
- The definitions of syntax structure, semantic interpretation, knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic. 定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题。
- Logic Reasoning A fourth-grade teacher was giving her pupils a lesson on logic. 逻辑推理小学四年级的教师正在给学生们上一堂逻辑课。
- An extended fuzzy description logic is proposed to increase expressive power for complex fuzzy information. 摘要为了提高对复杂模糊信息的表示能力，提出一种扩展的模糊描述逻辑。
- Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic. 描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。
- Inducing, analysising, logical reasoning and contrast argument. 归纳、分析,运用逻辑推理和对比论证。
- Your thesis lacks the logical reasoning to prove its correctness. 你的论文缺少能证明你的论点的正确推理.
- Therefore the official takes a test has logic reasoning this abnormal topic, extrapolates the real meaning from some ambiguous words. 所以公务员考试就有逻辑推理这种变态的题目，从一些模棱两可的话中推测真实含义。
- Inquiry into the nature of things based on logical reasoning rather than empirical methods. 自然科学基于逻辑推理而不是凭经验得来的方法来探究事物的本质。
- The thesis achieves next results:Firstly, this paper introduces the Description Logic ALCR+, the epistemic description logic ALCK and the conjunctive query in the Description Logic. 本文的工作主要围绕以下几个方面展开:论文首先介绍了描述逻辑ALCR+,认知描述逻辑ALCK以及在描述逻辑中的合取查询。
- One learns mathematics by practicing logical reasoning on traditional problems. 一个人通过对传统问题进行逻辑推理的实践来学习数学。
- Of, relating to, marked by, or skilled in methodical and logical reasoning. 推理的用理性或逻辑方法进行推理的，与之有关的，以此为特点的或善于推理的
- Logical Reasoning is half of your score on the LSAT - and this is good news. 实际上逻辑推理是你稳拿一半分数的部分。
- He gave a description of what he had seen. 他描述了他所见到的一切。
- Feature Model Based on Description Logics 基于描述逻辑的特征模型
- Fuzzy ER Modeling with Description Logics 基于描述逻辑的模糊ER模型
