The jump from module 6 towards module 7 is too big... This is impossible to follow as a newcomer. Many new terms introduced without any explanation ("Some OWL", D-entailment, "OWL Lite"... ). Maybe the concept of reasoning should have been introduced first at a high level.