ELK

TrOWL (http://trowl.org/) Tractable reasoning infrastructure for OWL 2.

Versions

• TrOWL 1.4: Can be converted to Dalvik without any modifications and imported into an Android project directly.