This is the code used for my bachelor thesis for TBox abduction in lightweight description logics EL. We implement a simpler algorithm, which use the structure of description trees, in Python for connection minimal abduction that can be run on all devices.