计算机科学 ›› 2005, Vol. 32 ›› Issue (8): 121-123.
• • 上一篇 下一篇
张阔 李涓子 唐杰 王克宏
出版日期:
发布日期:
基金资助:
Zhang Kuo;Li JuanZi;Tang Jie;Wang KeHong
Online:
Published:
摘要： OWL本体描述语言包含相对丰富的概念定义符，但提供的关系定义符描述能力则较差。将OWL与规则相结合是克服这种表达能力限制的一种常用方法。Motik提出了一种可判定的方法，将SHIQ（D）描述逻辑与规则结合，所结合的规则限定在一种叫做DL-safe规则的范围内。本文提出了一种抽取DL-safe规则的方法，方法利用SHIQ（D）逻辑中的UNION定义符满足一些规则在前件中包含析取逻辑运算符的需求，从而扩展了规则的描述能力。
关键词: 描述逻辑 DL-safe规则 OWL 语义网 抽取方法 safe 复合 概念定义 能力限制 逻辑运算符
Abstract: Although the ontology languages like OWL include a relatively rich set of class constructors, it provides much weaker constructors for roles. One way to overcome this expressive limitation of OWL would be to extend it with rules. Motik presented a decidab
Key words: Description logics, DL-safe rule, OWL, Semantic web
张阔 李涓子 唐杰 王克宏. 一种描述逻辑与DL—safe规则复合逻辑中的规则抽取方法[J]. 计算机科学, 2005, 32(8): 121-123. https://doi.org/
Zhang Kuo;Li JuanZi;Tang Jie;Wang KeHong. [J]. Computer Science, 2005, 32(8): 121-123. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2005/V32/I8/121
Cited
首页