认知描述逻辑ALCKR+:描述逻辑的一个非单调扩展 |
| |
引用本文: | 曹逸,徐德智,王建新.认知描述逻辑ALCKR+:描述逻辑的一个非单调扩展[J].计算机科学,2008,35(7):185-187. |
| |
作者姓名: | 曹逸 徐德智 王建新 |
| |
作者单位: | 中南大学信息科学与工程学院,长沙410083 |
| |
基金项目: | 湖南省自然科学基金,教育部跨世纪优秀人才培养计划 |
| |
摘 要: | 描述逻辑是语义Web的逻辑基础,是形式化表达领域知识的工具.但是描述逻辑只能表达单调推理,不能处理不完全知识.认知描述逻辑因其非单调特性和良好的时间复杂度等特点在处理不完全知识方面有较好的优势.本文在认知描述逻辑ALCK的基础上提出了新的认知描述逻辑语言ALCKR ,保留了描述逻辑原有的优点,加入传递角色属性,增强了表达能力,并通过认知查询拥有了非单调推理的能力.设计了ALCKR 的语法、语义以及表算法.
|
关 键 词: | 描述逻辑 认知描述逻辑 传递角色 认知查询 |
本文献已被 维普 万方数据 等数据库收录! |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|