reasoner

1. ReasonerRegistry. getOWLReasoner() returns an OWL reasoner in its standard configuration, which is fine for this simple case.
   getOWLReasoner（）在它的标准配置中返回OWLreasoner，这对于此简单情况已经足够。
2. This operation returns a reasoner ready to apply the ontology's rules.
   此操作返回可以应用本体规则的reasoner。
3. The next step is to bind the reasoner to the WordNet ontology.
   下一步是将reasoner与WordNet本体绑定。
4. Next I'll use the bound reasoner to create an InfModel from the WordNet model.
   然后，将使用绑定的reasoner从WordNet模型创建InfModel。
5. Jena provides several Reasoner types to work with different types of ontology.
   Jena提供了多个Reasoner类型来使用不同类型的本体。
6. Obtaining Ontology Reasoner Serving for Discrete Mathematics Knowledge
   用于离散数学知识检索的本体推理机的获取
7. I do not see how the sloppiest reasoner can evade that
   我不明白最散漫的推理者如何逃避这一点
8. FRESG: A Kind of Fuzzy Description Logic Reasoner
   FRESG：一种模糊描述逻辑推理机
9. From this a reasoner can deduce that if an individual is a Person, then it is also a Mammal.
   一个推理机就可以据此推断：如果某个个体是一个“人”，那么它也是一个“哺乳动物”。
10. Furthermore, an intelligent reasoner is required that can make judicious use of this knowledge and provide a substantial support in the decision making process.
    此外，还需要可以明智地利用这种知识，并在决策过程提供大量的支持的智能推理。
11. We present a case-based reasoner, FORMULA, that designs functional additive formula of oil products.
    开发了一个适用于石油产品添加剂配方设计基于范例的推理器FORMULA。
12. You may receive this dogma of one great thinker, or that dream of another profound reasoner, but what the chaff is to the wheat, that will these be to the pure word of God.
    你可能从一位伟人的思想家得到一些教条，从另外一位深奥的推理学者得到一些梦想。
13. In KBIDSS/ V1 0, a case-based reasoner collaborates with a rule-based reasoner on problem solving.
    在KBIDSS/V10中，问题推理的求解采用基于实例的推理，辅之以基于规则的推理模式。
14. The establishment method of the integrated knowledge database and realization of the integrated reasoner and software design for expert system are presented.
    说明了专家系统综合知识库的建立、综合推理机及软件设计的实现等技术。
15. The algorithm different from the most existing service discovery algorithm because the reasoner can reveal the semantic hierarchy of the classes, inputs and outputs, avoid the simple interface-based or attributed-based matching.
    与当前的大多数服务发现协议的不同之处在于，算法揭示了服务类别、输入参数与输出参数的语义层次及语义关系，避免了简单的接口匹配和属性匹配。
16. On Virtue and Independent Practical Reasoner
    论德性与独立的实践推理者
17. To guarantee the consistency of ontology, we used ontology reasoner to resolve the conflict.
    在本体进化过程中，为了保证本体的一致性，本文设计了由本体推理发现并自动解决冲突的方法。
18. No matter which one it is, the reasoner would check Knowledge Base to ensure consistency before reasoning.
    无论是哪种方法，推理机在进行推理之前都要检查知识库的协调性。
19. Leibniz invented binary system and assumed a "universal characteristic", a symbol system that contained all the human thoughts; the" mechanical reasoner "that he invented contains the ideas, namely reasoning is a deduction system based on formal rule.
    莱布尼茨发明了二进制表示方法，设想了一种普遍文字，能包含人类全部思想的符号系统；他所提出的机械推理机包含这样的思想，即推理是一个根据形式规则进行的演绎系统。
20. For the fuzzy issue of Knowledge Base form, the reasoner parses it and then does fuzzy reasoning by the rules, gives the corresponding results.
    对以知识基形式存在的模糊问题，解析后利用规则进行模糊推理，给出相应的结果，最后还通过一个知识基推理的实验，对本推理机的能力进行了必要的检验。
21. As a result, in-depth studies on the fuzzy description logics 、 the corresponding reasoner and fuzzy OWL which can support the representation and reasoning of fuzzy data information with customized fuzzy data types and predicates are presented in this paper.
    为此，本文对支持自定义模糊数据类型及谓词表示的模糊描述逻辑、相应的推理机以及相应的模糊OWL扩展语言展开了深入的研究。
22. Even though the inconsistency can be detected, there is no solution in reasoner to solve this issue, just leaving it to the system engineer.
    但是本体推理机只能检测到系统的不一致，并没有提供解决办法，而是把这个问题留给了系统工程师和用户。

noun

1. someone who reasons logically

   Synonym:    ratiocinator