基于描述逻辑推理的本体构建方法

被引：3

作者：

朱丽 ^{[1
]}

杨青 ^{[2
]}

机构：

[1] 武汉音乐学院公共基础课部

[2] 华中师范大学计算机科学系

来源：

计算机与现代化 | 2013年 / 09期

关键词：

描述逻辑; 推理机制; 本体构建;

D O I：

暂无

中图分类号：

TP18 [人工智能理论]; TP391.1 [文字信息处理];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ; 081203 ;

摘要：

本体是语义网中知识重现和信息检索查询的研究热点,而作为本体描述语言基础的描述逻辑则是知识表示和推理的形式化工具,具有强大的表达能力和高效完备的推理服务机制,被广泛应用于人工智能、数据库、信息协同系统和知识管理等诸多领域。本文深入研究描述逻辑理论和推理机制,提出一种改进Tableaux-RALU推理算法,并在图书本体构建中验证了描述逻辑推理机制的实用性。

引用

页码：13 / 17

页数：5

共 13 条

[1] 一种带缺省推理的描述逻辑 [J].