Skip to main content

A Modeling and Reasoning Approach Using Description Logic for Context-Aware Pervasive Computing

  • Conference paper
Emerging Research in Artificial Intelligence and Computational Intelligence (AICI 2012)

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

Abstract

The paper proposes an approach to modeling and reasoning through the context-aware knowledge using Description Logic to solve the problems such as model uncertainty and lack of automatic reasoning technique for context-aware computing. It first suggests a context model framework which models the context with a two-level structure, Meta Ontology and Domain-specific Ontology, to capture the concepts expressed in different abstract hierarchy. Then an algorithm is provided to convert the context model into the knowledge in the form of Description Logic SHOIN(D). A case study is given to illustrate the practicality of the method. The advantage of the method is that it can provide a flexible modeling mechanism with an automatic reasoning technique for multiple applications of context-aware pervasive computing.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. Gui, N., et al.: Toward architecture-based context-aware deployment and adaptation. Journal of Systems and Software, 185–197 (2011)

    Google Scholar 

  2. Ohbyung, K.: The potential roles of context-aware computing technology in optimization-based intelligent decision-making. Expert Systems with Applications, 629–642 (2006)

    Google Scholar 

  3. Henricksen, K., Indulska, J.: Modelling and using imperfect context information. In: Proceedings of the 2nd IEEE Annual Conf.on Pervasive Computing and Communications Workshops, pp. 33–37 (2004)

    Google Scholar 

  4. Sheng, Q.Z., Benatallah, B.: ContextUML:A uml-based modeling language for model driven development of context-aware web services. In: Proceedings of the International Conf. on Mobile Business, pp. 206–212 (2005)

    Google Scholar 

  5. Tao, G., Pung, H.K., Zhang, D.Q.: A middleware for building context-aware mobile services. In: Proceedings of IEEE 59th Vehicular Technology Conference, vol. 5, pp. 2656–2660 (2004)

    Google Scholar 

  6. Liu, D., Meng, X.W., Chen, J.L., Xia, X.M.: Algorithms for Rule Generation and Matchmaking in Context-Aware System. Journal of Software 20(10), 2655–2666 (2009)

    Article  MATH  Google Scholar 

  7. Lu, J.J., Zhang, Y.F., Miao, Z., et al.: Semantic Web Principle and Technology. Science Press, Beijing (2007)

    Google Scholar 

  8. Zheng, D.: Research on Key Technologies of Component Oriented Middleware based on the Context-aware Service. National University of Defense Technology, Changsha (2008)

    Google Scholar 

  9. Horrocks, I., Sattler, U.: A tableau decision procedure for SHOIQ. Journal of Automated Reasoning 39(3), 249–276 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  10. Yang, S.J.H., Zhang, J., Chen, I.Y.L.: A JESS-enabled context elicitation system for providing context-aware Web services. Expert Systems whith Applications 34(4), 2254–2266 (2008)

    Article  MathSciNet  Google Scholar 

  11. Parsia, B., et al.: Cautiously Approaching SWRL. Preprint Submitted to Elsevier Science (EB/OL) (2005), http://www.mindswap.org/papers/CautiousSWRL.pdf

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hu, B., Wang, Z., Dong, Q. (2012). A Modeling and Reasoning Approach Using Description Logic for Context-Aware Pervasive Computing. In: Lei, J., Wang, F.L., Deng, H., Miao, D. (eds) Emerging Research in Artificial Intelligence and Computational Intelligence. AICI 2012. Communications in Computer and Information Science, vol 315. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34240-0_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34240-0_21

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34239-4

  • Online ISBN: 978-3-642-34240-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics