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