text: provide a language that is called Description Logic or DL for short. One of the key features of DL is that 
  these superclass-subclass relationships (aka subsumption relationships) can be computed automatically by 
  a reasoner – more on this later. Figure 3.3 shows a representation of some classes containing individuals – 
  classes are represented as ovals, like sets in Venn diagrams. 