MetaProperties
The basis of OntoClean are the domain-independent properties of classes, the OntoClean metaproperties: identity, unity, rigidity, and dependence. Recent work by Welty & BillAndersen has added two more metaproperties: permanence and actuality.
Read more about this topic: Onto Clean