基于描述逻辑的推理系统设计与实现

被引：8

作者：

文坤梅

卢正鼎

吴杰文

李瑞轩

孙小林

机构：

[1] 华中科技大学计算机科学与技术学院

来源：

小型微型计算机系统 | 2008年 / 01期

关键词：

语义Web; 描述逻辑; Tableaux算法; 推理系统;

D O I：

暂无

中图分类号：

TP311.52 []; TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

语义Web的出现使得描述逻辑成为近期的研究热点,作为本体描述语言的基础,描述逻辑具有较强的表达能力.设计并实现了基于描述逻辑Tableaux算法的推理系统,实验结果表明,该系统可实现本体基本推理功能、TBox及ABox推理功能,且能融入到语义Web的实际应用系统中,减少对计算机的人工干预,在一定程度上提高了机器的理解能力.

引用

页码：57 / 60

页数：4