C.  Shimizu, Hitzler, P., Eberhart, A., Hirt, Q., Stevens, C., Myers, C. W., Maruyama, B., Kupitz, C., and Salvucci, D., ?An Ontology of Instruction 1.0?, 2020.