Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings - Costantini, Stefania.; Franconi, Enrico.; Van Woensel, William.; Kontchakov, Roman.; Sadri, Fariba.; Roman, Dumitru. (Programming and Software Engineering, 2017)