Towards Efficient Reasoning for Description Logics with Inverse Roles. - Yu Ding 004; Volker Haarslev (Description Logics, 2005)

Tableau Caching for Description Logics with Inverse and Transitive Roles. - Yu Ding 004; Volker Haarslev (Description Logics, 2006)

An ExpTime Tableau Decision Procedure for ALCQI. - Yu Ding 004; Volker Haarslev (Description Logics, 2007)

A New Mapping from ALCI to ALC. - Yu Ding 004; Volker Haarslev; Jiewen Wu (Description Logics, 2007)