期刊文章详细信息
从ALC到SHOQ(D):描述逻辑及其Tableau算法
From ALC to SHOQ(D):A Survey of Tableau Algorithms for Description Logics
文献类型：期刊文章
机构地区：[1]北京大学信息科学系,北京100871
年 份：2005
卷 号：32
期 号：3
起止页码：1-11
语 种：中文
收录情况：BDHX、BDHX2004、CSA、CSCD、CSCD2011_2012、IC、JST、RCCSE、UPD、ZGKJHX、核心刊
摘 要：描述逻辑是一类知识表示的形式系统,并成为语义Web的逻辑基础。Tableau是描述逻辑的基本证明论,基于Tableau的算法提供了描述逻辑的推理机。本文系统地阐述了对应于语义Web语言从基本的ALC到SHOQ(D)的描述逻辑基础及其相应的Tableau算法。
关 键 词：ALC 描述逻辑 TABLEAU算法 语义WEB 知识表示
分 类 号：TP18]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
