Expressive Tractable Description Logics based on SROIQ Rules