Skip to main content
SpringerLink
Log in

Meta Programming with Answer Sets for Smart Spaces

  • Conference paper
Web Reasoning and Rule Systems (RR 2012)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 7497))

Included in the following conference series:

Abstract

A smart space is an ecosystem of interacting computational objects embedded in some environment. The space seamlessly provides users with information and services using the best available resources. In this paper, the interoperability of heterogeneous objects participating in a smart space is enhanced by publishing their behavioral rules as RDF triples, i.e., in the same way as any other information in the space. This enables the use of answer-set programming (ASP) as the underlying paradigm for rule-based reasoning. The main idea of this paper is to apply meta programming techniques to reified ASP rules published in the smart space. Such techniques enable syntactic and semantic transformations of rules without essentially changing the underlying computational platform so that standard ASP tools can be used to implement inference over rules. These ideas are illustrated in several ways. In addition to basic meta evaluation tasks, we describe a meta grounder for ASP rules involving variables. Moreover, we demonstrate how the qualitative aspects of reasoning can be taken into account in our approach and how meta programming techniques are made available to users.

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 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. Apt, K., Blair, H., Walker, A.: Towards a theory of declarative knowledge. In: Foundations of Deductive Databases and Logic Programming, pp. 89–148. Morgan Kaufmann (1988)

    Google Scholar 

  2. Aziz, R.A., Janhunen, T., Luukkala, V.: Distributed Deadlock Handling for Resource Allocation in Smart Spaces. In: Balandin, S., Koucheryavy, Y., Hu, H. (eds.) NEW2AN 2011 and ruSMART 2011. LNCS, vol. 6869, pp. 87–98. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  3. Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American, 29–37 (2001)

    Google Scholar 

  4. Boldyrev, S., Oliver, I., Brown, R., Tuupola, J., Palin, A., Lappeteläinen, A.: Network and content aware information management. In: Proc. ICITST 2009, pp. 1–7. IEEE (2009)

    Google Scholar 

  5. Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Proc. AAAI 2007, pp. 385–390. AAAI Press (2007)

    Google Scholar 

  6. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Proc. IJCAI 2005, pp. 90–96. Professional Book Center (2005)

    Google Scholar 

  7. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 273–287. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  8. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A RuleML syntax for answer-set programming. In: Proc. ALPSWS 2006, pp. 107–108 (2006)

    Google Scholar 

  9. Främling, K., Oliver, I., Honkola, J., Nyman, J.: Smart spaces for ubiquitously smart buildings. In: Proc. UBICOMM 2009, pp. 295–300 (2009)

    Google Scholar 

  10. Gebser, M., Kaminski, R., Schaub, T.: Complex optimization in answer set programming. TPLP 11(4-5), 821–839 (2011)

    MathSciNet  MATH  Google Scholar 

  11. Gebser, M., Pührer, J., Schaub, T., Tompits, H.: A meta-programming technique for debugging answer-set programs. In: Proc. AAAI 2008, pp. 448–453. AAAI Press (2008)

    Google Scholar 

  12. Green, T.J.: Containment of conjunctive queries on annotated relations. Theory Comput. Syst. 49(2), 429–459 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  13. Hall, R.J.: Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol. 2477, p. 2. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  14. Honkola, J., Laine, H., Brown, R., Oliver, I.: Cross-Domain Interoperability: A Case Study. In: Balandin, S., Moltchanov, D., Koucheryavy, Y. (eds.) ruSMART 2009. LNCS, vol. 5764, pp. 22–31. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  15. Katasonov, A., Palviainen, M.: Towards ontology-driven development of applications for smart environments. In: Proc. PerCom 2010, pp. 696–701. IEEE (2010)

    Google Scholar 

  16. Lewis, G.A., Morris, E.J., Simanta, S., Wrage, L.: Why standards are not enough to guarantee end-to-end interoperability. In: Proc. ICCBSS 2008, pp. 164–173. IEEE (2008)

    Google Scholar 

  17. Lifschitz, V.: Answer set planning. In: Proc. ICLP 1999, pp. 25–37. MIT Press (1999)

    Google Scholar 

  18. Luukkala, V., Binnema, D., Börzsei, M., Corongiu, A., Hyttinen, P.: Experiences in implementing a cross-domain use case by combining semantic and service level platforms. In: Proc. ISCC 2010, pp. 1071–1076. IEEE (2010)

    Google Scholar 

  19. Luukkala, V., Niemelä, I.: Enhancing a Smart Space with Answer Set Programming. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 89–103. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  20. Marek, V., Truszczyński, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm: A 25-Year Perspective, pp. 375–398. Springer (1999)

    Google Scholar 

  21. Niemelä, I.: Logic programs with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell. 25(3-4), 241–273 (1999)

    Article  MATH  Google Scholar 

  22. Ouksel, A.M., Sheth, A.P.: Semantic interoperability in global information systems: A brief introduction to the research area and the special section. SIGMOD Record 28(1), 5–12 (1999)

    Article  Google Scholar 

  23. Pantsar-Syväniemi, S., Ovaska, E., Ferrari, S., Cinotti, T.S., Zamagni, G., Roffia, L., Mattarozzi, S., Nannini, V.: Case study: Context-aware supervision of a smart maintenance process. In: Proc. SAINT 2011, pp. 309–314. IEEE Computer Society (2011)

    Google Scholar 

  24. Peeters, J., Van Der Vlist, B., Niezen, G., Hu, J., Feijs, L.: Controlling smart home environments with semantic connections: a tangible and an AR approach. In: Proc. DeSForM (to appear, 2012)

    Google Scholar 

  25. Schlipf, J.: The expressive powers of the logic programming semantics. Journal of Computer and System Sciences 51(1), 64–86 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  26. Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138(1-2), 181–234 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  27. Weiser, M.: The computer for the twenty-first century. Scientific American 265(3), 94–104 (1991)

    Article  Google Scholar 

  28. Wielemaker, J., Hildebrand, M., van Ossenbruggen, J.: Prolog as the fundament for applications on the semantic web. In: Proc. ALPSWS 2007. CEUR-WS.org, vol. 287 (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Aalto University Department of Information and Computer Science, Finland

    Tomi Janhunen

  2. Nokia Research Center, Finland

    Vesa Luukkala

Authors
  1. Tomi Janhunen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vesa Luukkala
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Oxford, Parks Road, Wolfson Building, OX1 3QD, Oxford, UK

    Markus Krötzsch

  2. ISTI - CNR, Via G. Moruzzi, 1, 56124, Pisa, Italy

    Umberto Straccia

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Janhunen, T., Luukkala, V. (2012). Meta Programming with Answer Sets for Smart Spaces. In: Krötzsch, M., Straccia, U. (eds) Web Reasoning and Rule Systems. RR 2012. Lecture Notes in Computer Science, vol 7497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33203-6_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33203-6_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-33202-9

  • Online ISBN: 978-3-642-33203-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation