I'm assuming you mean line 11 (`def axiom...`).

That is there as an example. In #276 it is also extended for the OWL-logic-specific callback.