Semantics
Link typing
Knowledge representation content types
Meta language for trait investigation
Bootstrapping class structures
Tim BL, MIT & CERN. WWW Fall94