非一致OWL本体的推理方法研究

• 作者: 丁松 刘坤 唐胜群 张亮 秦学
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 回答集程序 本体 非单调推理 网络本体语言(0WL) 非一致性 描述逻辑
• 年，卷（期）: 2011,（9）
• 所属期刊栏目: 博士论坛
• 页码范围: 21-24
• 分类号: TP311
• 字数: 4389字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2011.09.006

摘要

针对目前OWL推理机无法在非一致本体上进行推理的问题,提出了一种基于回答集程序的非一致本体推理方式,将OWL本体翻译为一类逻辑程序:HEX回答集程序,把本体推理问题规约为回答集程序求解问题.并通过在非一致本体上的推理实验,验证了该类方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张亮	武汉大学软件工程国家重点实验室	46	171	9.0	11.0
2	唐胜群	武汉大学软件工程国家重点实验室	38	896	13.0	29.0
3	刘坤	武汉大学软件工程国家重点实验室	15	151	5.0	12.0
4	丁松	武汉大学软件工程国家重点实验室	4	50	3.0	4.0
5	秦学	武汉大学软件工程国家重点实验室	1	10	1.0	1.0