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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Sinner, A., & Kleemann, T. (2005). KRHyper - In your pocket system description. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3632 LNAI, pp. 452–457). Springer Verlag. https://doi.org/10.1007/11532231_33
Mendeley helps you to discover research relevant for your work.