关键词:本体推理;AllegroGraph(AG);Prolog规则;几何;定理证明 [gap=1419]Key words:ontology reasoning;AllegroGraph (AG);Prolog rules;geometry;theorem proving
基于10个网页-相关网页
本体推理层 Ontology Inferrence Layer
本体推理机 Ontology Reasoner
基于案例的本体推理机 CBOR
本体推理与管理 Reasoning and Management of Ontologies
The method can be used as a foundation of inconsistency elimination as well as a basis for future research on fuzzy ontology reasoning.
该方法可以作为不一致本体消除的理论基础,同样也可以作为模糊本体推理的铺垫。
参考来源 - 用模糊OWL处理不一致本体The research foundation is introduced including research actuality and general research methods. The classification research is analyzed deeply and the two kinds of se- mantic search are augment one based on traditional search and knowledge one based on ontology inference.
文章介绍了语义搜索领域的研究基础,包括研究现状和常用的研究方法,对语义搜索进行了分类研究和深入分析,语义搜索主要可分为基于传统搜索的增强型语义搜索和基于本体推理的知识型语义搜索;文章指出了语义搜索研究中存在的问题,并对未来开展语义搜索研究进行了总结和展望。
参考来源 - 语义搜索研究综述 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
研究了基于本体代数的知识模型集成和基于本体推理、查询的知识模型处理。
The integration of knowledge model is based on ontology algebra and the process of knowledge model is based on ontology inference and query.
本体表示语言与描述逻辑相结合，为本体推理的合理性和有效性提供了保证。
This ontology description languages and description logic had combined together, which ensured the ontology reasoning rationality and validity.
本文最后对现有描述语言和本体语言进行了比较，并研究了本体推理机的推导过程。
At last, the comparison of current definition language and ontology language is given and the reasoning process of the ontology reasoning system is discussed.
应用推荐