Augmenting Datalog ± with Customizable Metalogic Features for Powerful Ontological Reasoning