On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions.

Jean Christoph Jung, Carsten Lutz, Thomas Zeume

Browse the full KR paper archive.