Reachability Modules for the Description Logic $\mathcal{SRIQ}$.

Riku Nortje, Katarina Britz, Thomas Meyer

Browse the full LPAR paper archive.