A port of the JFact DL Reasoner to Android. It uses the pizza.owl ontology to classify different items as example.