OWL DL的形式化基础研究

被引：21

作者：

宋峻峰

张维明

姚莉

肖卫东

机构：

[1] 国防科技大学管理科学与工程系

[2] 国防科技大学管理科学与工程系湖南长沙

[3] 湖南长沙

来源：

小型微型计算机系统 | 2005年 / 02期

基金：

湖南省自然科学基金;

关键词：

OWL DL; 描述逻辑; 语义Web; 本体; 知识表示;

D O I：

暂无

中图分类号：

TP393 [计算机网络];

学科分类号：

081201 ; 1201 ;

摘要：

W3C正在制定的 OWL DL 是一种面向语义 Web的知识表示标记语言 ,具有较强的知识表达能力并适合大规模应用的推理效率 ,是语义 Web领域对适合语义 Web应用的知识表示标记语言进行研究的最新综合 .在知识表示领域 ,为了对知识表达能力和推理效率做合适的折衷 ,进行了大量关于描述逻辑的研究 .本文以描述逻辑作为 OWL DL的形式化基础 ,详细分析了OWL DL 和描述逻辑间的对应关系 ,用描述逻辑的语义解释了 OWL DL 的各个基本元素 ,从而可以将描述逻辑领域研究的大量成果应用到 OWL DL上来 ,为进一步研究 OWL DL的知识表示、推理等问题奠定了基础 .

引用

页码：297 / 301

页数：5