1. Baader, F., Calvanese, D., McGuinness, D., Patel-Schneider, P., Nardi, D., et al.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
2. Badea, L., Nienhuys-Cheng, S.H.: A refinement operator for description logics. In: ILP (2000)
3. Bin, S., Bühmann, L., Lehmann, J., Ngomo, A.C.N.: Towards SPARQL-based induction for large-scale RDF data sets. In: ECAI (2016)
4. Bin, S., Westphal, P., Lehmann, J., Ngonga, A.: Implementing scalable structured machine learning for big data in the sake project. In: 2017 IEEE International Conference on Big Data (Big Data), pp. 1400–1407. IEEE (2017)
5. Borgida, A., Franconi, E., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F.: Explaining ALC subsumption. In: ECAI, pp. 209–213 (2000)