Augmenting Datalog± with Customizable Metalogic Features for Powerful Ontological Reasoning