从ALC到SHOQ(D):描述逻辑及其Tableau算法

摘要：

描述逻辑是一类知识表示的形式系统,并成为语义Web的逻辑基础.Tableau 是描述逻辑的基本证明论,基于Tableau的算法提供了描述逻辑的推理机,本文系统地阐述了对应于语义Web语言从基本的ALC到SHOQ(D)的描述逻辑基础及其相应的Tableau算法.

关键词：描述逻辑、Tableau-算法、语义 Web

所属期刊栏目：32

分类号：TP3;O14

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

页数：共12页

页码：1-11,35