Application Details:
Version: 0.9.3
Upload Date: 20 Jun 11
Developer: Thomas Kleemann, Alex Sinner
Distribution Type: Freeware
Downloads: 36
Size: 75 Kb
Pocket KrHyper is a theorem proving library for J2ME mobile phones. It supports reasoning in propositional, first order, and description logic and is aimed at mobile knowledge management or semantic web applications.
· The first reasoner for mobile phones
· Uses little resources
· Interfaces for clausal first order logic and description logic
Comments not found