Enhancing magic sets with an application to ontological reasoning