Abstract
During the past few years mobile phones have become an ubiquitous companion. In parallel the semantic web provides enabling technologies to annotate and match information with a user’s interests. This paper presents a thorough definition of annotations and profiles. The optimizations of annotations and profiles make the mobile phone a first class participant of a semantic environment rather than a mere displaying client of services running elsewhere. The implementation of the system – including a first order model generating theorem prover and a description logic interface – renders the idea viable in the real world. The choosen solution even enables explanations within the matchmaking process. The profile does not have to leave the personal device and ensures privacy by doing so. An additionally benefit is the independence from communication with any reasoning backends.
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
Antoniou, G., van Harmelen, F.: Web ontology language: Owl. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies in Information Systems. Springer, Heidelberg (2003)
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The description logic handbook: theory, implementation, and applications. Cambridge University Press, Cambridge (2003)
Baader, F., Horrocks, I., Sattler, U.: Description logics as ontology languages for the semantic web (2003)
Baumgartner, P.: Hyper Tableaux — The Next Generation. Technical Report 32–97, Universität Koblenz-Landau (1997)
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, 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)
Boley, H., et.al.: RuleML (2005), http://www.ruleml.org
Goré, R.P., Posegga, J., Slater, A., Vogt, H.: System description: card TAP: The first theorem prover on a smart card. In: Kirchner, C., Kirchner, H. (eds.) CADE 1998. LNCS, vol. 1421, pp. 47–50. Springer, Heidelberg (1998)
Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proc. of the Twelfth International World Wide Web Conference (WWW 2003), pp. 48–57. ACM Press, New York (2003)
Haarslev, V., Möller, R.: Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. In: KR 2000: 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, vol. 2083, p. 701. Springer, Heidelberg (2001)
Horrocks, I.: The faCT system. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS, vol. 1397, pp. 307–312. Springer, Heidelberg (1998)
Horrocks, I., Patel-Schneider, P.F., Bechhofer, S., Tsarkov, D.: OWL rules: A proposal and prototype implementation. J. of Web Semantics 3(1), 23–40 (2005)
Kleemann, T.: Towards mobile reasoning. In: Proc. of the workshop on Knowledge Engineering and Software Engineering, Bremen (2006)
Kleemann, T.: Towards OWL reasoning with SWRL. In: Proc. of the Description Logic workshop, ceur-ws.org (2006)
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 Press, New York (2003)
Noia, T.D., Sciascio, E.D., Donini, F.M., Mongiello, M.: Abductive matchmaking using description logics. In: Proc. of IJCAI 2003, pp. 337–342 (2003)
Sinner, A., Kleemann, T.: Krhyper - in your pocket, system description. In: Nieuwenhuis, R. (ed.) CADE 2005. LNCS, vol. 3632, pp. 452–457. Springer, Heidelberg (2005)
Sinner, A., Kleemann, T., von Hessling, A.: Semantic user profiles and their applications in a mobile environment. In: Proc. of Artificial Intelligence in Mobile Systems (2004)
Sutcliffe, G., Suttner, C.: The TPTP Problem Library: CNF Release v1.2.1. Journal of Automated Reasoning 21(2), 177–203 (1998)
Takahshi, H., Yoshie, O.: Ubiquitous maintenance - defining invocation of plant maintanance agents in real workspace by spatial programming. In: Seipel, D., Hanus, M., Geske, U., Bartenstein, O. (eds.) INAP/WLP 2004. LNCS (LNAI), vol. 3392. Springer, Heidelberg (2005)
Veit, D., Muller, J., Schneider, M., Fiehn, B.: Matchmaking for autonomous agents in electronic marketplaces. In: 5th international conference on Autonomous agents AGENTS 2001, pp. 65–66. ACM Press, New York (2001)
Wernhard, C.: System Description: KRHyper. Fachberichte Informatik 14–2003, Universität Koblenz-Landau (2003)
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kleemann, T., Sinner, A. (2006). User Profiles and Matchmaking on Mobile Phones. In: Umeda, M., Wolf, A., Bartenstein, O., Geske, U., Seipel, D., Takata, O. (eds) Declarative Programming for Knowledge Management. INAP 2005. Lecture Notes in Computer Science(), vol 4369. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11963578_11
Download citation
DOI: https://doi.org/10.1007/11963578_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69233-1
Online ISBN: 978-3-540-69234-8
eBook Packages: Computer ScienceComputer Science (R0)