[1]王海林.SWRL推理规则在平面几何证明中的应用[J].计算机技术与发展,2010,(09):218-221.
　WANG Hai-lin.An Application of SWRL Rules in Proof of Plane Geometry[J].,2010,(09):218-221.
点击复制

SWRL推理规则在平面几何证明中的应用()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2010年09期
页码:
218-221
栏目:
应用开发研究
出版日期:
1900-01-01

文章信息/Info

Title:
An Application of SWRL Rules in Proof of Plane Geometry
文章编号:
1673-629X（2010）09-0218-04
作者:
王海林
山西财经大学信息管理学院
Author(s):
WANG Hai-lin
College of Information Management,Shanxi University of Finance and Economics
关键词:
OWLDL; SWRL; 平面几何; Jess; 推理规则
Keywords:
OWL DL;  SWRL;  plane geometry;  Jess;  reasoning rule
分类号:
TP181
文献标志码:
A
摘要:
OWL由于其具有较强的知识表示能力目前已成为语义Web知识建模的主要语言,尽管如此,它在知识推理方面存在着许多不足。语义网规则语言（SWRL）是为了弥补OWL的不足发展起来的,它是以OWL的子语言OWL DL以及其它规则标记语言为基础的规则描述语言,将SWRL推理规则引入OWL DL可以大大改善OWL DL的推理能力。运用SWRL推理规则和Jess推理机对平面几何证明题进行了推理和证明,结果验证了SWRL推理规则的有效性和正确性,在实践中同时也发现了SWRL存在的一些问题,有待今后进一步研究
Abstract:
OWL has now become a major modeling-building language of semantic Web because of its strong ability of knowledge representation.Nevertheless,there are a lot of inadequate in its reasoning.Semantic Web Rule Language（SWRL） is developed to compensate for the lack of OWL.It is a rule description language based on OWL DL,an OWL sublanguage,and other rule markup languages.Applying SWRL rules to OWL DL can improve the reasoning ability of OWL DL dramatically.Introduces an application of SWRL rules and Jess reasoner in the proof in plane geometry.It solves a given proving problem of plane geometry by using the reasoner.The result verifies the validity of SWRL rules.At the same time,also found some problems of SWRL in practice,pending further research in the future

相似文献/References:

[1]郭建慧 何丰.奥运项目知识表示与语义推理研究[J].计算机技术与发展,2011,(05):87.
　GUO Jian-hui,HE Feng.Knowledge Representation and Semantic Reasoning Research of Olympics[J].,2011,(09):87.
[2]王晓慧 罗军 余淑良.本体的查询与推理研究[J].计算机技术与发展,2012,(05):130.
　WANG Xiao-hui,LUO Jun,YU Shu-liang.Research on Ontology Querying and Inference[J].,2012,(09):130.
[3]罗军 刘艺茹.本体和描述逻辑在景点查询中的应用研究[J].计算机技术与发展,2012,(06):239.
　LUO Jun,LIU Yi-ru.Research on Ontology and Description Logic Application to Scenery Spot Query[J].,2012,(09):239.

备注/Memo

备注/Memo:
山西省筹资金资助项目（晋留管办发（2009）4号）王海林（1962-），男，山西大同人，副教授，硕士，研究方向为知识推理、领域本体建摸、语义网、XML数据库
更新日期/Last Update: 1900-01-01