Description Logic SROIQ - Foundations of Semantic Web