SWRL推理规则在平面几何证明中的应用

• 作者: 王海林
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: OWL DL SWRL 平面几何 Jess 推理规则
• 年，卷（期）: 2010,（9）
• 页码范围: 218-221,226
• 分类号: TP181
• 字数: 4235字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2010.09.053

摘要

OWL由于其具有较强的知识表示能力目前已成为语义Web知识建模的主要语言,尽管如此,它在知识推理方面存在着许多不足.语义网规则语言(SWRL)是为了弥补OWL的不足发展起来的,它是以OWL的子语言OWL DL以及其它规则标记语言为基础的规则描述语言,将SWRL推理规则引入OWL DL可以大大改善OWL DL的推理能力.运用SWRL推理规则和Jess推理机对平面几何证明题进行了推理和证明,结果验证了SWRL推理规则的有效性和正确性,在实践中同时也发现了SWRL存在的一些问题,有待今后进一步研究.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王海林	山西财经大学信息管理学院	11	37	4.0	6.0