Semantic reasoning on mobile devices: Do Androids dream of efficient reasoners?

However, using semantic APIs and reasoners on current mobile devices is not a trivial task. In this paper, we show that the most popular current available Description Logics (DL) reasoners can be used on Android-based devices, and detail the efforts needed to port them to the Android platform. We also analyze the performance of these reasoners on current smartphones/tablets against more than 300 ontologies from the ORE 2013 ontology set, showing that, despite a notable difference with respect to desktop computers, their use is feasible.