关键词:本体推理;AllegroGraph(AG);Prolog规则;几何;定理证明 [gap=1419]Key words:ontology reasoning;AllegroGraph (AG);Prolog rules;geometry;theorem proving
基于10个网页-相关网页
ontology reasoning rule 本体推理规则
Inconsistent ontology reasoning 不一致本体推理
The method can be used as a foundation of inconsistency elimination as well as a basis for future research on fuzzy ontology reasoning.
该方法可以作为不一致本体消除的理论基础,同样也可以作为模糊本体推理的铺垫。
参考来源 - 用模糊OWL处理不一致本体·2,447,543篇论文数据，部分数据来源于NoteExpress
The key task of ontology reasoning is to analyze semantic relationships and to define, formalize and optimize reasoning rules.
本体知识推理的关键任务是分析语义关系、定义和形式化推理规则并对其优化。
This ontology description languages and description logic had combined together, which ensured the ontology reasoning rationality and validity.
本体表示语言与描述逻辑相结合，为本体推理的合理性和有效性提供了保证。
The model can carry out the ontology reasoning. And the experimental results show that information retrieval efficiency to a certain extent is improved.
实验结果表明，该模型能够进行本体的语义推理，在一定程度上增强信息检索系统的语义处理能力，检索效率得到了改善。
应用推荐