//-->
Semantic Integrity Constraints in Knowledge-Based Database Design Systems.
Storey, V.C., (1991)
Unravelling IS-A Structures.
Real World Knowledge for Databases.