moonsheep_liu的专栏

关于推理 1. Protege 4.1内置了一个叫做HermiT的推理器。 功能： （1）分类，推断本体有无逻辑错误。 2. There are other reasoners available for Protege 4.1, including Pellet and FaCT++. These reasoners are available for download from the

本体作为一种能在语义和知识层次上描述领域概念的建模工具，其目标是捕获相关领域的知识，确 定该领域内共同认可的词汇，通过概念之间的关系来描述概念的语义，提供对该领域知识的共同理解。语义Web（the Semantic Web）是在本体理论基础之上对现有Web所进行的扩展[15]，其目标是使Web上的信息具有计算机可以理解的语义，在本体的支持下实现信息系统间语义 上的互操作性，以及对Web资源所进行的