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

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