描述逻辑综述

摘要：

描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集.作为一种知识表示的有效机制,描述逻辑被广泛地应用到计算机科学的许多领域中.本文对目前描述逻辑的研究与应用现状进行了综述性的介绍,并且从描述逻辑的定义、描述逻辑的基本语法及语义、体系结构以及描述逻辑在语义Web中的地位等方面做了系统阐述.

关键词：描述逻辑、知识表示、语义Web、本体

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

资助基金：中国科学院资助项目60273080;60473003;吉林省杰出青年科学基金20030107

在线出版日期：2006-03-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：194-197,225