Added benchmarks of DL-programs over EL ontologies