Abstract inheritance

1

  • abstract inheritance -- declarative \c{relation}
  • inheritance networks -- non-monotonic \c{reasoning}
  • taxonomic structure -- predicate\ifsli{s}{ calculus}

slide: Section 9.1: Abstract inheritance