A better uncle for OWL: nominal schemas for integrating rules and ontologies