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

CORC > 北京大学 > 信息科学技术学院

	从ALC到SHOQ(D):描述逻辑及其Tableau算法; From ALC to SHOQ(D): A Survey of Tableau Algorithms for Description Logics
	梅婧 ; 林作铨
刊名	计算机科学
	2005
关键词	描述逻辑,Tableau-算法,语义 Web
DOI	10.3969/j.issn.1002-137X.2005.03.001
英文摘要	描述逻辑是一类知识表示的形式系统,并成为语义Web的逻辑基础.Tableau 是描述逻辑的基本证明论,基于Tableau的算法提供了描述逻辑的推理机,本文系统地阐述了对应于语义Web语言从基本的ALC到SHOQ(D)的描述逻辑基础及其相应的Tableau算法.; 中文核心期刊要目总览(PKU); 中国科学引文数据库(CSCD); 0; 3; 1-11,35; 32
语种	中文
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/175846]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	梅婧,林作铨. 从ALC到SHOQ(D):描述逻辑及其Tableau算法, From ALC to SHOQ(D): A Survey of Tableau Algorithms for Description Logics[J]. 计算机科学,2005.
APA	梅婧,&林作铨.(2005).从ALC到SHOQ(D):描述逻辑及其Tableau算法.计算机科学.
MLA	梅婧,et al."从ALC到SHOQ(D):描述逻辑及其Tableau算法".计算机科学 (2005).