Tableau Systems for SHIO and SHIQ. - Jan Hladik; Jörg Model (Description Logics, 2004)

Subsumption in w.r.t. Hybrid TBoxes. - Sebastian Brandt; Jörg Model (KI, 2005)