From ALC to SHOQ(D):A Survey of Tableau Algorithms for Description Logics
Mei Jin · 2005
Description logics are a family of knowledge representation formalisms which become logical foundation of semantic Web. Tableaux are basic proof theories for description logics. Tableau-based algorithms provide the reason- ing engines for description logics. In this paper,we survey various description logics and the corresponding tableau a1- gorithms with respect from ALC to SHOQ(D) of the semantic Web languages.