作者：张阔; 李涓子; 唐杰; 王克宏描述逻辑owl语义网抽取方法safe复合概念定义能力限制逻辑运算符
摘要：OWL本体描述语言包含相对丰富的概念定义符,但提供的关系定义符描述能力则较差.将OWL与规则相结合是克服这种表达能力限制的一种常用方法.Motik提出了一种可判定的方法,将SHIQ(D)描述逻辑与规则结合,所结合的规则限定在一种叫做DL-safe规则的范围内.本文提出了一种抽取DL-safe规则的方法,方法利用SHIQ(D)逻辑中的UNION定义符满足一些规则在前件中包含析取逻辑运算符的需求,从而扩展了规则的描述能力.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
