Bobed, C. Yus, R. Bobillo, F. Mena, E. Semantic reasoning on mobile devices: Do Androids dream of efficient reasoners? Journal of Web Semantics 10.1016/j.websem.2015.09.002 2015 2015