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

摘要

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