Validatable

• Can do machine-enforced type checking.
  • This hr:HRrecord must not be of type hr:OfficeSpace.
• You can verify that some data uses your_hr:healthPlanCode consistently with the rules for hr:healthPlanId.
• DAML/OIL (another ontology) enables further constraints.