Abstract inheritance

• declarative relation among entities

Inheritance networks

• isa-trees -- partial ordering
• isa/is-not -- bipolar, is-not inference

Non-monotonic reasoning

    Nixon is-a Quaker
    Nixon is-a Republican
    Quakers are Pacifists
    Republicans are not Pacifists
  

Incremental system evolution is in practice non-monotonic!