Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Rules and Rule Markup Languages for the Semantic Web

RuleML 2010: Semantic Web Rules pp 74–88Cite as

Rule-Based Contextual Reasoning in Ambient Intelligence

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6403))

Abstract

Context, Context Representation and Contextual Reasoning constitute central notions in the Ambient Intelligence vision to transform our living and working environments into ’intelligent spaces’. Ontology-based models have been argued to satisfy all demands concerning context representation. Rule-based reasoning has already been successfully integrated in ontology-based applications for domains with similar requirements (e.g. the Web), while it offers significant advantages concerning its deployment in the Ambient Intelligence domain. In this paper, we analyze the general challenges of contextual reasoning, argue about the suitability of rule-based reasoning, and describe the deployment of such methods in two different settings; in a centralized semantics-based context management framework for Ambient Intelligence, and in a totally distributed system of logic-based abient agents.

This is a preview of subscription content, 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   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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Strang, T., Linnhoff-Popien, C.: A context modeling survey. In: First International Workshop on Advanced Context Modelling, Reasoning And Management (2004)

    Google Scholar 

  2. Samulowitz, M., Michahelles, F., Linnhoff-Popien, C.: CAPEUS: An Architecture for Context-Aware Selection and Execution of Services. In: Proceedings of the IFIP TC6 / WG6.1 Third International Working Conference on New Developments in Distributed Applications and Interoperable Systems, Deventer, The Netherlands, pp. 23–40. Kluwer, B.V., Dordrecht (2001)

    Google Scholar 

  3. Indulska, J., Robinson, R., Rakotonirainy, A., Henricksen, K.: Experiences in Using CC/PP in Context-Aware Systems. In: Chen, M.-S., Chrysanthis, P.K., Sloman, M., Zaslavsky, A. (eds.) MDM 2003. LNCS, vol. 2574, pp. 247–261. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  4. Henricksen, K., Indulska, J.: A Software Engineering Framework for Context-Aware Pervasive Computing. In: Proceedings of PERCOM 2004: Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom 2004), Washington, DC, USA. IEEE Computer Society Press, Los Alamitos (2004)

    Google Scholar 

  5. Cheverst, K., Mitchell, K., Davies, N.: Design of an object model for a context sensitive tourist GUIDE. Computers & Graphics 23(6), 883–891 (1999)

    Article  Google Scholar 

  6. Ranganathan, A., Campbell, R.H.: An infrastructure for context-awareness based on first order logic. Personal Ubiquitous Comput. 7(6), 353–364 (2003)

    Article  Google Scholar 

  7. Bolchini, C., Curino, C.A., Quintarelli, E., Schreiber, F.A., Tanca, L.: A data-oriented survey of context models. SIGMOD Rec. 36(4), 19–26 (2007)

    Article  Google Scholar 

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

  9. von Hessling, A., Kleemann, T., Sinner, A.: Semantic User Profiles and their Applications in a Mobile Environment. Fachberichte Informatik 2–2005, Universität Koblenz-Landau (2005)

    Google Scholar 

  10. Turhan, A.Y., Springer, T., Berger, M.: Pushing Doors for Modeling Contexts with OWL DL a Case Study. In: PERCOMW 2006: Proceedings of the 4th annual IEEE International Conference on Pervasive Computing and Communications Workshops, Washington, DC, USA. IEEE Computer Society Press, Los Alamitos (2006)

    Google Scholar 

  11. Toninelli, A., Montanari, R., Kagal, L., Lassila, O.: A Semantic Context-Aware Access Control Framework for Secure Collaborations in Pervasive Computing Environments. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 5–9. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  12. Agostini, A., Bettini, C., Riboni, D.: Experience Report: Ontological Reasoning for Context-aware Internet Services. In: PERCOMW 2006: Proceedings of the 4th annual IEEE International Conference on Pervasive Computing and Communications Workshops, Washington, DC, USA. IEEE Computer Society, Los Alamitos (2006)

    Google Scholar 

  13. Antoniou, G., Bikakis, A., Karamolegou, A., Papachristodoulou, N., Stratakis, M.: A context-aware meeting alert using semantic web and rule technology. International Journal of Metadata Semantics and Ontologies 2(3), 147–156 (2007)

    Article  Google Scholar 

  14. Gu, T., Pung, H.K., Zhang, D.Q.: A Bayesian Approach for Dealing with Uncertain Contexts. In: Proceedings of the Second International Conference on Pervasive Computing, Vienna, Austria, Austrian Computing Society (2004)

    Google Scholar 

  15. Henricksen, K., Indulska, J.: Modelling and Using Imperfect Context Information. In: Proceedings of PERCOMW 2004, Washington, DC, USA, pp. 33–37. IEEE Computer Society, Los Alamitos (2004)

    Google Scholar 

  16. Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL rules language. In: Proceedings of the 13th International Conference on World Wide Web, WWW 2004, May 17-20, pp. 723–731. ACM, New York (2004)

    Google Scholar 

  17. Sintek, M., Decker, S.: TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 364–378. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  18. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: WWW, pp. 48–57 (2003)

    Google Scholar 

  19. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic 7(3), 499–562 (2006)

    Article  MathSciNet  Google Scholar 

  20. Grosof, B.N., Gandhe, M.D., Finin, T.W.: SweetJess: Translating DAMLRuleML to JESS. In: RuleML. CEUR Workshop Proceedings, vol. 60. CEUR-WS.org. (2002)

    Google Scholar 

  21. Bassiliades, N., Antoniou, G., Vlahavas, I.P.: DR-DEVICE: A Defeasible Logic System for the Semantic Web. In: Ohlbach, H.J., Schaffert, S. (eds.) PPSWR 2004. LNCS, vol. 3208, pp. 134–148. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  22. Antoniou, G., Bikakis, A.: DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web. IEEE Transactions on Knowledge and Data Engineering 19(2), 233–245 (2007)

    Article  Google Scholar 

  23. Patkos, T., Chrysakis, I., Bikakis, A., Plexousakis, D., Antoniou, G.: A Reasoning Framework for Ambient Intelligence. In: Konstantopoulos, S., Perantonis, S., Karkaletsis, V., Spyropoulos, C.D., Vouros, G. (eds.) SETN 2010. LNCS, vol. 6040, pp. 213–222. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  24. Bikakis, A., Antoniou, G.: Contextual Argumentation in Ambient Intelligence. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 30–43. Springer, Heidelberg (2009); an extended version of this paper has been accepted for publication in IEEE Transactions on Knowledge and Data Engineering

    Chapter  Google Scholar 

  25. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2), 255–287 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  26. Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence 65(1) (1994)

    Google Scholar 

  27. Ghidini, C., Giunchiglia, F.: Local Models Semantics, or contextual reasoning=locality+compatibility. Artificial Intelligence 127(2), 221–259 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  28. Bikakis, A., Antoniou, G., Hassapis, P.: Alternative strategies for conflict resolution in multi-context systems. In: AIAI, pp. 31–40 (2009); an extended version of this paper has been accepted for publication in Knowledge and Information Systems

    Google Scholar 

  29. Bikakis, A., Antoniou, G.: Local and Distributed Defeasible Reasoning in Multi-Context Systems. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2008. LNCS, vol. 5321, pp. 135–149. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  30. Antoniou, G., Papatheodorou, C., Bikakis, A.: Reasoning about Context in Ambient Intelligence Environments: A Report from the Field. In: KR, pp. 557–559. AAAI Press, Menlo Park (2010)

    Google Scholar 

  31. Bikakis, A., Antoniou, G.: Distributed Defeasible Contextual Reasoning in Ambient Computing. In: Aarts, E., Crowley, J.L., de Ruyter, B., Gerhäuser, H., Pflaum, A., Schmidt, J., Wichert, R. (eds.) AmI 2008. LNCS, vol. 5355, pp. 308–325. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  32. Denti, E., Omicini, A., Ricci, A.: tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 184–198. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  33. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding Defeasible Logic into Logic Programming. Theory Pract. Log. Program. 6(6), 703–735 (2006)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, FO.R.T.H., Vassilika Voutwn, P.O. Box 1385, GR 71110, Heraklion, Greece

    Antonis Bikakis & Grigoris Antoniou

Authors
  1. Antonis Bikakis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Grigoris Antoniou
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Raytheon BBN Technologies, 3658 Wagner Ridge Ct, 48103, Ann Arbor, MI, USA

    Mike Dean

  2. Model Systems, 15-19 Cavendish Place, W1G 0DD, London, UK

    John Hall

  3. CIRSFID, University of Bologna, Via Galliera 3, 40121, Bologna, Italy

    Antonino Rotolo

  4. Inferware Corporation, 24 Magnolia Road, 01760, Natick, MA, USA

    Said Tabet

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bikakis, A., Antoniou, G. (2010). Rule-Based Contextual Reasoning in Ambient Intelligence. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds) Semantic Web Rules. RuleML 2010. Lecture Notes in Computer Science, vol 6403. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16289-3_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-16289-3_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-16288-6

  • Online ISBN: 978-3-642-16289-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation