Example Transformations

• Ontological document validation

  • Document conforms to ontology
    • Term conformance
    • Properties enforcement (Necessary, Sufficient)
    • Consistency conditions met
    • Restrictions not violated (e.g., Cardinality)
    • Ensure covering axioms
    • Recognize value partitions
  • Not really a transform