The SAT-Tableau Calculus.
Uwe Keller, Stijn Heymans · 2008
Recently, [7] pointed out that the increasing use of Description Logics (DLs) in areas such as e-Science and the Semantic Web is already stretching the capabilities of exist-ing DL systems, posing a range of challenges for future research on reasoning methods for DL. A key problem is the provision of efficient algorithms that allow (advanced)