1. A.V. Aho, M.R. Garey, J.D. Ullman, The transitive reduction of a directed graph. SIAM J. Comp. 1(2), 131–137 (1972)
2. Algergawy, A., Babalou, S., Klan, F., Koenig-Ries, B., 2016. OAPT: A tool for ontology analysis and partitioning, in Proceedings of the 19th International Conference on Extending Database Technology, March 15–18, 2016, Bordeaux, France (2016), pp. 644–647
3. A. Artale, D. Calvanese, R. Kontchakov, M. Zakharyaschev, The DL-Lite family and relations. J. Artif. Intell. Res. 36, 1–69 (2009)
4. F. Baader, W. Nutt, Basic description logics, in The Description Logic Handbook: Theory, Implementation and Applications (Cambridge University Press, Cambridge, UK, 2003), pp. 43–95
5. J.A. Bergstra, J. Heering, P. Klint, Module algebra. J. ACM 37(2), 335–372 (1990)