检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]南京邮电大学计算机学院,江苏南京210003
出 处:《计算机技术与发展》2013年第7期144-146,166,共4页Computer Technology and Development
基 金:国家"973"重点基础研究发展计划项目(2006AA01Z201)
摘 要:文中通过对基于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.
分 类 号:TP31[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222