發送短信: Complexity Boundaries for Horn Description Logics.