Meilicke, C., Ruffinelli, D., Nolle, A., Paulheim, H. and Stuckenschmidt, H. (2017). Fast ABox consistency checking using incomplete reasoning and caching.
In Costantini, S., Rules and Reasoning : International Joint Conference : RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings (S. 168-183). Lecture Notes in Computer Science,
Springer International Publishing: Cham.
Ruffinelli, D. (2017). Towards scalable ontological reasoning using machine learning.
In Bassiliades, N., RuleML+RR 2017 : Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017) London, UK, July 11-15, 2017 (S. Paper 5). CEUR Workshop Proceedings,