论文部分内容阅读
文中通过对基于OWL的本体构造方法，Jena通用推理机及推理规则的研究，尝试一种新的本体构造方法，以及针对此类本体所适用的规则。期望可以不局限于推理本体间的关系，而是能够针对本体的活动进行推理。为了证明该方法的可行性，实现了一个推理系统，在本体的构造过程中，加入了时间轴，并对其进行了推理研究。通过该推理系统及特殊的推理规则，可以利用本体间的关系或是本体基于时间轴的活动，推理出目标本体的活动。因此证明了该方法可以基于时间轴，有效地推理本体的活动。