Bidirectional Reachability-Based Modules. - Riku Nortje; Arina Britz; Thomas Andreas Meyer (Description Logics, 2011)

Module-theoretic Properties of Reachability Modules for SRIQ. - Riku Nortje; Arina Britz; Thomas Meyer 002 (Description Logics, 2013)

Reachability Modules for the Description Logic $ mathcal{SRIQ}$. - Riku Nortje; Katarina Britz; Thomas Meyer 002 (LPAR, 2013)

Relevant Closure: A New Form of Defeasible Reasoning for Description Logics. - Giovanni Casini; Thomas Meyer 002; Kodylan Moodley; Riku Nortje (JELIA, 2014)