1) ontology reasoner
本体推理机
1.
In the paper we do research on analyzing and comparing several popular ontology reasoners.
通过对当前一些主流本体推理机详细的分析和比较,从系统功能,用户和开发者三个不同角度设计一整套本体推理机测试对比方案,实验证明测试方案是可行和有效的,根据研究结果推荐适用于教学的离散数学知识获取的本体推理机。
3) Ontology Inference
本体推理
1.
Research on Retrival-Oriented Ontology Inference in Semantic Web;
语义Web中面向查询的本体推理机制的研究
4) Inconsistent ontology reasoning
不一致本体推理
5) ontology reasoning rule
本体推理规则
1.
2) Personalized situation ontology reasoning rules in the E-Learning environment are presented.
2)提出了E-Learning环境中的个性化情形本体推理规则。
6) text inference
文本推理
补充资料：推理机
分子式：
CAS号：
性质：推理机位于自动推理系统中用户和知识库之间，它主要执行两个任务：一是检验已有的事实和规则，以及加进新的事实(如可能时)；二是确定推理路线，多次调用知识库中的知识，进行逻辑推理，最后得到问题的结论。一个自动推理系统的推理机包括推理机制和控制机制。推理机制的基本类型有：假言推理、不确定推理、分解法。控制机制的基本类型有：前向推理和后向推理；深度优先推理和广度优先推理。
CAS号：
性质：推理机位于自动推理系统中用户和知识库之间，它主要执行两个任务：一是检验已有的事实和规则，以及加进新的事实(如可能时)；二是确定推理路线，多次调用知识库中的知识，进行逻辑推理，最后得到问题的结论。一个自动推理系统的推理机包括推理机制和控制机制。推理机制的基本类型有：假言推理、不确定推理、分解法。控制机制的基本类型有：前向推理和后向推理；深度优先推理和广度优先推理。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条