文中通过对基于OWL的本体构造方法,Jena通用推理机及推理规则的研究,尝试一种新的本体构造方法,以及针对此类本体所适用的规则。期望可以不局限于推理本体间的关系,而是能够针对本体的活动进行推理。为了证明该方法的可行性,实现了一个推理系统,在本体的构造过程中,加入了时间轴,并对其进行了推理研究。通过该推理系统及特殊的推理规则,可以利用本体间的关系或是本体基于时间轴的活动,推理出目标本体的活动。因此证明了该方法可以基于时间轴,有效地推理本体的活动。
Through research of the ontology construction method based on OWL and Jena generic reasoning machine and rules of inference engine, try a new ontology construction method, and the rules applicable for such body. Expecting may not be limited to the relationship between the ontology, but is capable of reasoning its activities. In order to prove the feasibility of the method, built a reasoning sys- tem,in the construction process of the ontology adding a timeline, and did the reasoning research. Through the inference system and special rules,it' s possible to reason the activities of the target ontology by the relationships between the ontologies or ontology timeline based activities. This test proved that the method can be effective reasoning ontology activities based on timeline.