Enhancing a Smart Space with Answer Set Programming

  • Vesa Luukkala
  • Ilkka Niemelä
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6403)

Abstract

The background for this work lies in the visions of ubiquitous systems and semantic web. To realize this vision in embedded domains we have implemented an interoperability platform called Smart-M3, which allows sharing of RDF information. In this paper we investigate integrating reasoning capabilities to this platform for solving problems arising from resource allocation and conflict resolution under preferences in dynamic context sensitive environments. Additional goals for our work is to take into account requirements for efficiency, scalability and localized reasoning. For this we are investigating Answer Set Programming (ASP) techniques in particular. We present an integration framework for using an ASP solver Smodels with Smart-M3 and we demonstrate its use within a use case. Both the framework and the rules described in this paper are available for trial.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American (May 2001)Google Scholar
  2. 2.
    Bonner, A.J.: Workflow, transactions and datalog. In: Proceedings of the Eighteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 1999), pp. 294–305. ACM, New York (1999)CrossRefGoogle Scholar
  3. 3.
    Eiter, T., Ianni, G., Krennwallner, T., Polleres, A.: Rules and ontologies for the semantic web. In: Baroglio, C., Bonatti, P.A., Małuszyński, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web 2008. LNCS, vol. 5224, pp. 1–53. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  4. 4.
    Farrell, J., Saloner, G.: Standardization, compatibility, and innovation. RAND Journal of Economics 16(1), 70–83 ((Spring 1985), http://ideas.repec.org/a/rje/randje/v16y1985ispringp70-83.html CrossRefGoogle Scholar
  5. 5.
    Field, J., Marinescu, M.C.V., Stefansen, C.: Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications. Theor. Comput. Sci. 410(2-3), 168–201 (2009)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Främling, K., Oliver, I., Honkola, J., Nyman, J.: Smart spaces for ubiquitously smart buildings. In: Proceedings of the 3rd International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, UBICOM 2009 (October 2009)Google Scholar
  7. 7.
    Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: clasp: A conflict-driven answer set solver. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 260–265. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  8. 8.
    Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the 5th International Conference on Logic Programming, pp. 1070–1080. The MIT Press, Seattle (August 1988)Google Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    Khushraj, D., Lassila, O., Finin, T.W.: stuples: Semantic tuple spaces. In: Proceedings of the 1st Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous 2004), pp. 268–277 (2004)Google Scholar
  11. 11.
    Korpipää, P., Mäntyjärvi, J., Kela, J., Keränen, H., Malm, E.J.: Managing context information in mobile devices. IEEE, Pervasive Computing 2(3), 42–51 (2003), http://dx.doi.org/10.1109/MPRV.2003.1228526 CrossRefGoogle Scholar
  12. 12.
    Krummenacher, R., Kopecký, J., Strang, T.: Sharing context information in semantic spaces. In: On the Move to Meaningful Internet Systems (OTM Workshops 2005), pp. 229–232 (2005)Google Scholar
  13. 13.
    Lassila, O.: Programming Semantic Web Applications: A Synthesis of Knowledge Representation and Semi-Structured Data. Ph.D. thesis, Helsinki University of Technology (November 2007)Google Scholar
  14. 14.
    Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The dlv system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3), 499–562 (2006)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Lifschitz, V.: Answer set planning. In: Proceedings of the 16th International Conference on Logic Programming, pp. 25–37. The MIT Press, Las Cruces (December 1999)Google Scholar
  16. 16.
    Liu, M.: Extending datalog with declarative updates. J. Intell. Inf. Syst. 20(2), 107–129 (2003)CrossRefGoogle Scholar
  17. 17.
    Marek, W., Truszczyński, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 375–398. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  18. 18.
    Mrohs, B., Luther, M., Vaidya, R., Wagner, M., Steglich, S., Kellerer, W., Arbanowski, S.: OWL-SF—a distributed semantic service framework. In: Proceedings of the Workshop on Context Awareness for Proactive Systems (CAPS 2005), Helsinki, Finland (June 2005)Google Scholar
  19. 19.
    Niemelä, I.: Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence 25(3,4), 241–273 (1999)MathSciNetCrossRefMATHGoogle Scholar
  20. 20.
  21. 21.
    Web ontology language, http://www.w3.org/2004/OWL/
  22. 22.
    Resource description framework, http://www.w3.org/RDF/
  23. 23.
    Rdf vocabulary description language, http://www.w3.org/TR/rdf-schema
  24. 24.
    Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138(1-2), 181–234 (2002)MathSciNetCrossRefMATHGoogle Scholar
  25. 25.
    Simperl, E., Krummenacher, R., Nixon, L.: A coordination model for triplespace computing. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol. 4467, pp. 1–18. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  26. 26.
    Smirnov, A., Kashevnik, A., Shilov, N., Oliver, I., Balandin, S., Boldyrev, S.: Anonymous agent coordination in smart spaces: State-of-the-art. In: Balandin, S., Moltchanov, D., Koucheryavy, Y. (eds.) ruSMART 2009. LNCS, vol. 5764, pp. 42–51. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  27. 27.
  28. 28.
    W3C recommendation: SPARQL query language for RDF, http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115
  29. 29.
    Villalonga, C.: et al.: Mobile ontology: Towards a standardized semantic model for the mobile domain. In: Proceedings of the 1st International Workshop on Telecom Service Oriented Architectures (TSOA 2007) (September 2007)Google Scholar
  30. 30.
    Weiser, M.: The computer for the twenty-first century. Scientific American 265(3), 94–104 (1991)CrossRefGoogle Scholar
  31. 31.
    Wielemaker, J., Hildebrand, M., van Ossenbruggen, J.: Using Prolog as the fundament for applications on the semantic web. In: Proceedings of the 2nd Workshop on Applicatiions of Logic Programming and to the Web, Semantic Web and Semantic Web Services. CEUR Workshop Proceedings, vol. 287, pp. 84–98. CEUR-WS.org. (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Vesa Luukkala
    • 1
  • Ilkka Niemelä
    • 2
  1. 1.NOKIA GROUPNokia Research Center HelsinkiFinland
  2. 2.Department of Information and Computer ScienceAalto UniversityAALTOFinland

Personalised recommendations