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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: Description Logic Handbook. Cambridge University Press, Cambridge (2002)
Baumgartner, P.: Hyper Tableaux — The Next Generation. Technical Report 32–97, Universität Koblenz-Landau (1997)
Baumgartner, P., Furbach, U.: PROTEIN: A PROver with a theory extension INterface. In: Conference on Automated Deduction, pp. 769–773 (1994)
Baumgartner, P., Furbach, U., Gross-Hardt, M., Kleemann, T.: Model based deduction for database schema reasoning. In: Biundo, S., Frühwirth, T., Palm, G. (eds.) KI 2004. LNCS (LNAI), vol. 3238, pp. 168–182. Springer, Heidelberg (2004)
Baumgartner, P., Furbach, U., Niemelä, I.: Hyper Tableaux. Technical Report 8–96, Universität Koblenz-Landau (1996)
Baumgartner, P., Furbach, U., Yahya, A.H.: Automated reasoning, knowledge representation and management. In: KI, vol. 1, pp. 5–11 (2005)
Baumgartner, P., Suchanek, F.M.: Automated Reasoning Support for SUMO/KIF. Submitted (2005)
Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proceedings of the Twelfth International World Wide Web Conference (WWW 2003), ACM, New York (2003)
Haarslev, V., Möller, R.: Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. In: KR2000: Principles of Knowledge Representation and Reasoning, pp. 273–284. Morgan Kaufmann, San Francisco (2000)
Haarslev, V., Möller, R.: RACER system description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 701–706. Springer, Heidelberg (2001)
Li, L., Horrocks, I.: A software framework for matchmaking based on semantic web technology. In: Proceedings of the Twelfth International World Wide Web Conference (WWW 2003), pp. 331–339. ACM, New York (2003)
Patel-Schneider, P.F., Swartout, B.: Description-logic knowledge representation system specification (November 1993)
Sinner, A., Kleemann, T., von Hessling, A.: Semantic user profiles and their applications in a mobile environment. Artificial Intelligence in Mobile Systems 2004 (2004)
Sutcliffe, G., Suttner, C.: The TPTP Problem Library: CNF Release v1.2.1. Journal of Automated Reasoning 21(2), 177–203 (1998)
Wahlster, W.: Smartweb: Mobile applications of the semantic web. In: GI Jahrestagung (1), pp. 26–27 (2004)
Wernhard, C.: System Description: KRHyper. Fachberichte Informatik 14–2003, Universität Koblenz-Landau (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sinner, A., Kleemann, T. (2005). KRHyper – In Your Pocket. In: Nieuwenhuis, R. (eds) Automated Deduction – CADE-20. CADE 2005. Lecture Notes in Computer Science(), vol 3632. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11532231_33
Download citation
DOI: https://doi.org/10.1007/11532231_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28005-7
Online ISBN: 978-3-540-31864-4
eBook Packages: Computer ScienceComputer Science (R0)