一种描述逻辑与DL-safe规则复合逻辑中的规则抽取方法

• 作者: 唐杰 张阔 李涓子 王克宏
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 描述逻辑 DL-safe规则 OWL 语义网
• 年，卷（期）: 2005,（8）
• 所属期刊栏目: 人工智能及图像处理技术
• 页码范围: 121-123
• 页数: 3页
• 分类号: TP3
• 字数: 4681字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2005.08.036

摘要

OWL本体描述语言包含相对丰富的概念定义符,但提供的关系定义符描述能力则较差.将OWL与规则相结合是克服这种表达能力限制的一种常用方法.Motik提出了一种可判定的方法,将SHIQ(D)描述逻辑与规则结合,所结合的规则限定在一种叫做DL-safe规则的范围内.本文提出了一种抽取DL-safe规则的方法,方法利用SHIQ(D)逻辑中的UNION定义符满足一些规则在前件中包含析取逻辑运算符的需求,从而扩展了规则的描述能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王克宏	清华大学计算机系知识工程研究室	69	887	16.0	28.0
2	唐杰	清华大学计算机系知识工程研究室	42	510	13.0	21.0
3	李涓子	清华大学计算机系知识工程研究室	62	1193	19.0	33.0
4	张阔	清华大学计算机系知识工程研究室	10	106	4.0	10.0