查询词典 reasoners

As the Roman nose expresses energy, force and deficient patience, it is not usual with profound reasoners, original thinkers, or inventors, for deep thought and invention require great patience and untiring effort.

正如罗马鼻表示精力，力量和缺乏耐心，因此在深刻的推理家，创意的思想家或发明家中并不多见，深思和发明都需要极大的耐心和不知疲倦的努力。

Reasoners for OWL DL, while dealing with a decidable sublanguage, will be subject to higher worst-case complexity.

而OWL DL的推理机处理的尽管是一个可判定的子语言，会有更高的最坏情况复杂度。

They just recite, learn phrases. They have lost their ability to be independent reasoners.

他们只是重复背诵学会的经文，他们已经丧失了独立思考判断的能力。

They have lost their ability to be independent reasoners.

他们的家人十分担心他们会因为不服药而得病致死，因为他们在互联网上读到许多在中国的李洪志追随者因此丧命的故事。

Reasoners of such a temper were scarcely inclined to wrangle about their respective modes of faith, or of worship.

有如此脾气的理性主义者们很少会愿意就他们的信仰模式而发生口角。

Reasoners for OWL Lite will have desirable computational properties.

OWL Lite的推理机会有良好的计算性质。

Thus, current logic programming solvers and description logic reasoners are employed to implement the reasoning services, such as querying etc.

然后，调用现有逻辑程序求解器与描述逻辑推理机来实现查询等推理任务。

In addition, catering-oriented model based on ontology has been eastablished with relevant ontology techniques, such as ontology modelling based on Protege, semantic inquiry based on Jena API and reasoners based on Racer.

此外，通过建立面向餐饮领域的本体模型，实现了对基于Protege的本体建模、基于Jena API的语义查询和基于Racer的逻辑推理，并在此基础上，设计出相应的测试实例，并对其结果进行验证和评价。

In addition, the potential advantages and constraints of using a dual-hypothesis testing strategy were discussed, as well as its relation with the reasoners' working memory. In Experiment 2, a group of university students were instructed on the limited dual-hypothesis testing developed by the researchers. Their performance in the rule-discovery task significantly improved when compared with the contrast group.c

我们讨论采用双假设测试法的可能优势并考虑工作记忆资源的限制，据此我们指导另一组大学生采用一种「有限的双假设测试策略」，结果一般大学生在假设检验推理作业上的成功率由26.7%大幅提升至81.8%。

Through analyzing a lot of current Ontology reasoners in detail, this paper concludes a general system structure for Ontology reasoners. After introducing three typical Ontology reasoners (Pellet, Racer, FaCT++), it proposes and implements a test plan for Ontology reasoners from the system, user and developer's point. The experiment results show that the test plan is feasible and effective. At last, the paper analyzes the disadvantages of current Ontology reasoner and gives some ideas on Ontology reasoners' future development.

通过对当前一些主流本体推理机详细的分析研究，得出本体推理机的一般系统结构，在介绍三个典型的推理机系统（Pellet， Racer， FaCT++）后，从系统功能，用户和开发者三个不同角度设计并实现一套比较不同本体推理机的测试方案，实验证明测试方案是可行有效的，最后总结当前本体推理机存在的一些问题和未来发展趋势。

We are interested in your suggestions about appointing us to be the single dealer.

对贵方建议由我方担任独家经销商一事，我们颇感兴趣。

Three types of empty-shell marriages have been identified. In a devitalized relationship husband and wife lack excitement or any real interest in their spouse or their marriage.

一种是死气沉沉的婚姻：在这种婚姻关系中夫妻俩对于配偶或婚姻缺乏激情，或者缺乏真正的兴趣。