Abstract
Context awareness is one of the key requirements for realizing the vision of ubiquitous computing. Formal representation of context information fosters interoperability, eases evolvability and maintainability of applications, and enables a number of reasoning services. The proposed formal models are mainly based on the emerging standards such as the Web Ontology Language (OWL). Reasoning with ontology based models of context, however, is inherently complex and is further complicated by the dynamism of the context data. In this paper, we advocate an incremental approach for reasoning about dynamic context data; so as to avoid redundant computations and alleviate the cost of reasoning from scratch. The continuity of contextual states and existence of long-lasting subscription queries further encourage this approach. We present the related work on reasoning with dynamic data and conclude that the efforts do not address the problem adequately and are not tailored for specific considerations of context aware systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Resource description framework (rdf): Concepts and abstract syntax (2004), http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/
CC/PP Information Page (2007), http://www.w3.org/Mobile/CCPP/
Baader, F.: The description logic handbook: theory, implementation, and applications. Cambridge University Press, Cambridge (2010)
Bettini, C., Brdiczka, O., Henricksen, K., Indulska, J., Nicklas, D., Ranganathan, A., Riboni, D.: A survey of context modelling and reasoning techniques. Pervasive and Mobile Computing 6(2), 161–180 (2010)
Bikakis, A., Patkos, T., Antoniou, G., Plexousakis, D.: A survey of semantics-based approaches for context reasoning in ambient intelligence. In: Muhlhauser, M., Ferscha, A., Aitenbichler, E. (eds.) Constructing Ambient Intelligence. Communications in Computer and Information Science, vol. 11, pp. 14–23. Springer, Heidelberg (2008)
Bolchini, C., Curino, C.A., Quintarelli, E., Schreiber, F.A., Tanca, L.: A data-oriented survey of context models. SIGMOD Rec. 36, 19–26 (2007)
De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On the update of description logic ontologies at the instance level. In: Proceedings of the 21st National Conference on Artificial Intelligence, vol. 2, pp. 1271–1276. AAAI Press, Menlo Park (2006)
Della Valle, E., Ceri, S., Barbieri, D.F., Braga, D., Campi, A.: A first step towards stream reasoning. In: Domingue, J., Fensel, D., Traverso, P. (eds.) FIS 2008. LNCS, vol. 5468, pp. 72–81. Springer, Heidelberg (2009)
Gu, T., Pung, H.K., Zhang, D.Q.: Toward an osgi-based infrastructure for context-aware applications. IEEE Pervasive Computing 3, 66–74 (2004)
Gupta, A., Mumick, I.S., Subrahmanian, V.S.: Maintaining views incrementally. In: Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, pp. 157–166. ACM, New York (1993)
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)
Halaschek-Wiener, F.C.: Expressive syndication on the web using a description logic-based approach. Ph.D. thesis, University of Maryland, College Park, College Park, MD, USA, aAI3297367 (2007)
Hoareau, C., Satoh, I.: Modeling and processing information for context-aware computing: A survey. New Generation Computing 27, 177–196 (2009)
Lassila, O., Khushraj, D.: Contextualizing applications via semantic middleware. In: Proceedings of the The Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services, pp. 183–191. IEEE Computer Society, Washington, DC, USA (2005)
Lei, H.: Context awareness: a practitioner’s perspective. In: International Workshop on Ubiquitous Data Management, pp. 43–52 (2005)
Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating description logic aboxes. In: International Conference of Principles of Knowledge Representation and Reasoning. AAAI, Menlo Park (2006)
Luther, M., Fukazawa, Y., Wagner, M., Kurakake, S.: Situational reasoning for task-oriented mobile service recommendation. Knowl. Eng. Rev. 23, 7–19 (2008)
McGuinness, D., Harmelen, F.: Owl web ontology language overview 2003, http://www.w3.org/TR/owl-features/
Pan, J.Z., Thomas, E.: Approximating owl-dl ontologies. In: Proceedings of the National Conference on Artificial Intelligence (2007)
Sama, M., Elbaum, S., Raimondi, F., Rosenblum, D.S., Wang, Z.: Context-aware adaptive applications: Fault patterns and their automated identification. IEEE Transactions on Software Engineering 36, 644–661 (2010)
Satyanarayanan, M.: Pervasive computing: vision and challenges. IEEE Personal Communications 8(4), 10–17 (2001)
Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical owl-dl reasoner. Web Semantics: Science, Services and Agents on the World Wide Web 5(2), 51–53 (2007)
Strang, T., Linnhoff-Popien, C.: A context modeling survey. In: 1st Int. Workshop on Advanced Context Modelling, Reasoning and Management (2004)
Unel, G., Roman, D.: Stream reasoning: A survey and further research directions. In: Andreasen, T., Yager, R.R., Bulskov, H., Christiansen, H., Larsen, H.L. (eds.) FQAS 2009. LNCS, vol. 5822, pp. 653–662. Springer, Heidelberg (2009)
Volz, R., Staab, S., Motik, B.: Incrementally maintaining materializations of ontologies stored in logic databases. In: Spaccapietra, S., Hwang, J., Jajodia, S., King, R., McLeod, D., Orlowska, M.E., Strous, L. (eds.) Journal on Data Semantics II. LNCS, vol. 3360, pp. 1–34. Springer, Heidelberg (2005)
Wang, X., Dong, J.S., Chin, C., Hettiarachchi, S., Zhang, D.: Semantic space: An infrastructure for smart spaces. IEEE Pervasive Computing 3, 32–39 (2004)
Weiser, M.: The computer for the 21st century. In: Baecker, R.M., Grudin, J., Buxton, W.A.S., Greenberg, S. (eds.) Human-Computer Interaction, pp. 933–940. Morgan Kaufmann Publishers Inc., San Francisco (1995)
Weithöner, T., Liebig, T., Luther, M., Böhm, S., von Henke, F.W., Noppens, O.: Real-world reasoning with OWL. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 296–310. Springer, Heidelberg (2007)
Gu, T., Pung, H.K., Zhang, D.: Peer-to-peer context reasoning in pervasive computing environments. In: 6th Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2008, pp. 406–411 (2008)
Pung, H., Gu, T., Xue, W., Palmes, P., Zhu, J., Ng, W., Tang, C., Chung, N.: Context-aware middleware for pervasive elderly homecare. IEEE Journal on Selected Areas in Communications 27(4), 510–524 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Oliya, M., Pung, H.K. (2011). Towards Incremental Reasoning for Context Aware Systems. In: Abraham, A., Lloret Mauri, J., Buford, J.F., Suzuki, J., Thampi, S.M. (eds) Advances in Computing and Communications. ACC 2011. Communications in Computer and Information Science, vol 190. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22709-7_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-22709-7_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22708-0
Online ISBN: 978-3-642-22709-7
eBook Packages: Computer ScienceComputer Science (R0)