Reasoning Approaches for Nominal Schemas