计算机科学 ›› 2006, Vol. 33 ›› Issue (1): 194-197.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要: 描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。作为一种知识表示的有效机制,描述逻辑被广泛地应用到计算机科学的许多领域中。本文对目前描述逻辑的研究与应用现状进行了综述性的介绍,并且从描述逻辑的定义、描述逻辑的基本语法及语义、体系结构以及描述逻辑在语义Web中的地位等方面做了系统阐述。
关键词: 描述逻辑 知识表示 语义Web 本体 综述 形式化语言 计算机科学 一阶逻辑 基本语法 体系结构
Abstract: Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic. As an effective mechanism of knowledge representation, description logic is extensively applied to various fields of computer science. The
Key words: Description logic, Knowledge representation, Semantic Web, Ontology
. 描述逻辑综述[J]. 计算机科学, 2006, 33(1): 194-197. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2006/V33/I1/194
Cited