Added one intersection (ClassG = ClassD and ClassE and ClassF) in the example ontology and the corresponding recursive rule in the rule base