Rewriting logical rules as SROIQ axioms : Theory and implementation