| OWL DL的形式化基础研究 |
| |
| 引用本文： | 宋峻峰,张维明,姚莉,肖卫东.OWL DL的形式化基础研究[J].小型微型计算机系统,2005,26(2):297-301. |
| |
| 作者姓名： | 宋峻峰 张维明 姚莉 肖卫东 |
| |
| 作者单位： | 国防科技大学,管理科学与工程系,湖南,长沙,410073 |
| |
| 基金项目： | 国家自然科学基金 (60 172 0 12 )资助，湖南省自然科学基金 (0 3JJY3 110 )资助 . |
| |
| 摘 要： | W3C正在制定的OWL DL是一种面向语义Web的知识表示标记语言，具有较强的知识表达能力并适合大规模应用的推理效率，是语义Web领域对适合语义Web应用的知识表示标记语言进行研究的最新综合．在知识表示领域，为了对知识表达能力和推理效率做合适的折衷，进行了大量关于描述逻辑的研究，本文以描述逻辑作为OWL DL的形式化基础，详细分析了OWL DL和描述逻辑间的对应关系，用描述逻辑的语义解释了OWL DL的各个基本元素，从而可以将描述逻辑领域研究的大量成果应用到OWL DL上来，为进一步研究OWL DL的知识表示、推理等问题奠定了基础．
|
| 关 键 词： | OWL DL 描述逻辑 语义Web 本体 知识表示 |
| 文章编号： | 1000-1220(2005)02-0297-05 |
Research on the Formal Foundation of OWL DL |
| |
| SONG Jun-feng,ZHANG Wei-ming,YAO Li,XIAO Wei-dong.Research on the Formal Foundation of OWL DL[J].Mini-micro Systems,2005,26(2):297-301. |
| |
| Authors: | SONG Jun-feng ZHANG Wei-ming YAO Li XIAO Wei-dong |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
