EL−ifying Ontologies (Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR−2014), 2014)

(untitled) - Carral, D; Feier, C; Grau, B; Hitzler, P; Horrocks, I