Skip to main content
SpringerLink
Log in

Towards Incremental Reasoning for Context Aware Systems

  • Conference paper
Book cover Advances in Computing and Communications (ACC 2011)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 190))

Included in the following conference series:

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

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Resource description framework (rdf): Concepts and abstract syntax (2004), http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/

  2. CC/PP Information Page (2007), http://www.w3.org/Mobile/CCPP/

  3. Baader, F.: The description logic handbook: theory, implementation, and applications. Cambridge University Press, Cambridge (2010)

    MATH  Google Scholar 

  4. 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)

    Article  Google Scholar 

  5. 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)

    Chapter  Google Scholar 

  6. 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)

    Article  Google Scholar 

  7. 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)

    Google Scholar 

  8. 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)

    Chapter  Google Scholar 

  9. Gu, T., Pung, H.K., Zhang, D.Q.: Toward an osgi-based infrastructure for context-aware applications. IEEE Pervasive Computing 3, 66–74 (2004)

    Google Scholar 

  10. 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)

    Chapter  Google Scholar 

  11. 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)

    Chapter  Google Scholar 

  12. 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)

    Google Scholar 

  13. Hoareau, C., Satoh, I.: Modeling and processing information for context-aware computing: A survey. New Generation Computing 27, 177–196 (2009)

    Article  MATH  Google Scholar 

  14. 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)

    Chapter  Google Scholar 

  15. Lei, H.: Context awareness: a practitioner’s perspective. In: International Workshop on Ubiquitous Data Management, pp. 43–52 (2005)

    Google Scholar 

  16. 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)

    Google Scholar 

  17. Luther, M., Fukazawa, Y., Wagner, M., Kurakake, S.: Situational reasoning for task-oriented mobile service recommendation. Knowl. Eng. Rev. 23, 7–19 (2008)

    Article  Google Scholar 

  18. McGuinness, D., Harmelen, F.: Owl web ontology language overview 2003, http://www.w3.org/TR/owl-features/

  19. Pan, J.Z., Thomas, E.: Approximating owl-dl ontologies. In: Proceedings of the National Conference on Artificial Intelligence (2007)

    Google Scholar 

  20. 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)

    Article  Google Scholar 

  21. Satyanarayanan, M.: Pervasive computing: vision and challenges. IEEE Personal Communications 8(4), 10–17 (2001)

    Article  Google Scholar 

  22. 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)

    Article  Google Scholar 

  23. Strang, T., Linnhoff-Popien, C.: A context modeling survey. In: 1st Int. Workshop on Advanced Context Modelling, Reasoning and Management (2004)

    Google Scholar 

  24. 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)

    Chapter  Google Scholar 

  25. 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)

    Chapter  Google Scholar 

  26. 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)

    Article  Google Scholar 

  27. 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)

    Google Scholar 

  28. 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)

    Chapter  Google Scholar 

  29. 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)

    Google Scholar 

  30. 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)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. National University of Singapore, 13 Computing Drive, Singapore, 117417

    Mohammad Oliya & Hung Keng Pung

Authors
  1. Mohammad Oliya
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hung Keng Pung
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Machine Intelligence Research Labs (MIR Labs), Auburn, 98071-2259, Washington, USA

    Ajith Abraham

  2. Department of Communications, Polytechnic University of Valencia, Camino de Vera, 46022, Valencia, Spain

    Jaime Lloret Mauri

  3. Avaya Labs Research, Basking Ridge, NJ, USA

    John F. Buford

  4. University of Massachusetts, 100 Morrissey Blvd., 02125-3393, Boston, MA, USA

    Junichi Suzuki

  5. Rajagiri School of Engineering and Technology, Rajagiri Valley, Kakkanad, 682 039, Kochi, India

    Sabu M. Thampi

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation