|
|||||
|
|
| 描述逻辑综述 | |
| 引用本文： | 石莲,孙吉贵.描述逻辑综述[J].计算机科学,2006,33(1):194-197. |
| 作者姓名： | 石莲 孙吉贵 |
| 作者单位： | 1. 吉林大学计算机科学与技术学院,长春,130012 2. 吉林大学符号计算与知识工程教育部重点实验室,长春,130012 |
| 基金项目： | 中国科学院资助项目;吉林省杰出青年科学基金 |
| 摘 要： | 描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。作为一种知识表示的有效机制，描述逻辑被广泛地应用到计算机科学的许多领域中。本文对目前描述逻辑的研究与应用现状进行了综述性的介绍，并且从描述逻辑的定义、描述逻辑的基本语法及语义、体系结构以及描述逻辑在语义Web中的地位等方面做了系统阐述。 |
| 关 键 词： | 描述逻辑 知识表示 语义Web 本体 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |
