基于OWL的规则推理研究及应用

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