From ALC to SHOQ(D):A Survey of Tableau Algorithms for Description Logics

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