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
Like it? Share with your friends!
Requirements:MIDP 2.0, CLDC 1.0
Other Java Freeware of Developer «Thomas Kleemann, Alex Sinner»:
Fit2Go Fit2Go is a linear and quadratic function graphing tool and curve fitter
Numbers Teach to your kids with this simple app...Enjoy
Math for Kids - English Welcome to AL KALAM mobile application. You can using this application for learn 1, 2, 3 in English. Have fun learning with AL KALAM mobile a
HexNumber This is a number converter. You can enter a decimal, hexdecimal, binary or octal number and see what it is in the other formats. The full version has a very much better interface plus you can convert to and from any base, it's available only for 0.5$