Enhancing magic sets with an application to ontological reasoning

Open in new window