Sciweavers

CADE
2005
Springer

KRHyper - In Your Pocket

13 years 9 months ago
KRHyper - In Your Pocket
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper tableau calculus. The development of Pocket KRHyper was motivated by the arising need for reasoning on mobile devices for mobile semantic web applications. To satisfy this need, a Description Logics (DL) interface is provided, which allows DL reasoning by transforming DL Expressions into first order clausal logic.
Alex Sinner, Thomas Kleemann
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CADE
Authors Alex Sinner, Thomas Kleemann
Comments (0)