JCEL (http://jcel.sourceforge.net/) is a reasoner for the EL+ profile, based on the CEL reasoner.
Can be converted to Dalvik without any modifications and imported into an Android project directly.