Usability Reasoning Using OWL 2 RL. - Ludger Martin; Manuel Dudda (QUATIC, 2016)