Added LUBMdefault benchmark (university ontology with default rules on top)