Entailment is the converse of the relation of logical consequence . 导出是逻辑推论关系的逆叙。
2.
35 ian horrocks , peter f patel - schneider . reducing owl entailment to description logic satisfiability . in proc 该方法支持静态知识,动态过程和运行机制的有效的表示和推理。
3.
The incorporation of ontology and rdf forms the knowledge base . that can support some limited inference according to rdf entailment rules 这样领域知识结构和rdf描述结合在一起形成知识库,再根据rdf蕴涵规则就能够进行有限形式的推理。
4.
Abstract : it briefly introduces three basic formalizations of concept learning learning from interpretation , learning from entailment ( learning from partial interpretation ) and learning from satisfiability and discusses the reduction relation among the basic concept learning types 文摘:介绍了3种主要的概念学习形式解释学习、断定学习(部分解释学习)和满足学习，讨论了这3种概念学习形式的归约关系
5.
In so far as it is necessary for our purpose , we shall deal with these points in the following chapter , wherein certain necessary propositions of a general nature will be proposed and the interrelations of the aforementioned orders will be studied with a view to discerning any necessary entailments or lack thereof that may exist between them , for all this has a great bearing on what will follow 就我们的目的而言，这是必须的，我们将在随后的章节中处理这些问题，其中，一些一般性的必要命题将被提出，上述秩序间的相互关系将被审视，以辨别其中是否有所限制或者缺失，因为所有这些对随后的内容有极大的关涉。
6.
In the view of life theory , this paper expounds the present chinese teaching of middle school with developing viewpoint in terms of theory and practice , taking chinese teaching as the medium and the life - consciousness containing in chinese . this view values the digging of the life entailment and the release of life activity for both teachers and students , deep research on the natural life creativity and experience of enjoying life so as to promote life realm and individual life generation at large 本文从生命论视野的角度，以语文教学为媒介，以蕴涵于语文中的生命意识为基础，从理论和实践两方面，以动态生成的观点阐释当今中学语文教学，关注语文教学中师生生命内涵的开掘、生命活力的释放；探究生命本质的创造，生命情趣的体验；促使生命境界得以提升，个体生命总体生成。
