Skip to main content
Springer Nature Link
Log in

Enhancing a Smart Space with Answer Set Programming

  • Conference paper
Semantic Web Rules (RuleML 2010)

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

  • 655 Accesses

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.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

Similar content being viewed by others

References

  1. Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American (May 2001)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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

    Article  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

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

    Chapter  Google Scholar 

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

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

    Article  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  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. Liu, M.: Extending datalog with declarative updates. J. Intell. Inf. Syst. 20(2), 107–129 (2003)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  20. Openm3 release, http://sourceforge.net/projects/smart-m3/

  21. Web ontology language, http://www.w3.org/2004/OWL/

  22. Resource description framework, http://www.w3.org/RDF/

  23. Rdf vocabulary description language, http://www.w3.org/TR/rdf-schema

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

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  27. Sofia project, http://www.sofia-project.eu

  28. W3C recommendation: SPARQL query language for RDF, http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115

  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. Weiser, M.: The computer for the twenty-first century. Scientific American 265(3), 94–104 (1991)

    Article  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. NOKIA GROUP, Nokia Research Center Helsinki, P.O. Box 407, FI-00045, Finland

    Vesa Luukkala

  2. Department of Information and Computer Science, Aalto University, P.O. Box 15400, FI-00076, AALTO, Finland

    Ilkka Niemelä

Authors
  1. Vesa Luukkala
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ilkka Niemelä
    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

Luukkala, V., Niemelä, I. (2010). Enhancing a Smart Space with Answer Set Programming. 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_9

Download citation

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

  • 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