Skip to main content
Springer Nature Link
Log in

Functional-Logic Programming for Web Knowledge Representation, Sharing and Querying

  • Conference paper
Knowledge Engineering and Knowledge Management (EKAW 2014)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8876))

  • 1319 Accesses

Abstract

We propose a unified approach to semantically rich knowledge representation, querying and exchange for the Web, based on functional-logic programming. JavaScript- and JSON-based so-called information scripts serve as a unified knowledge representation and query format, with logical reasoning being a constraint solving or narrowing task. This way, our framework provides a highly versatile, easy to use and radically different alternative compared to conventional forms of knowledge representation and exchange for the Web.

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. http://www.w3.org/TR/json-ld/

  2. Gallaire, H., Minker, J. (eds.): Logic and Data Bases, Symposium on Logic and Data Bases, Centre d’études et de recherches de Toulouse (1977); Advances in Data Base Theory (1978)

    Google Scholar 

  3. Boley, H.: Markup Languages for Functional-Logic Programming. Procs. 9th WFLP 2000 (2000)

    Google Scholar 

  4. Polleres, A., Wallner, J.: On the Relation Between SPARQL1.1 and Answer Set Programming. Journal of Applied Non-Classical Logics (JANCL) 23(1-2), 159–212 (2013)

    Article  MathSciNet  Google Scholar 

  5. Oren, E., Heitmann, B., Decker, S.: ActiveRDF: Embedding Semantic Web data into object-oriented languages. In: Web Semantics: Science, Services and Agents on the World Wide Web (2008)

    Google Scholar 

  6. Hanus, M., Lucas, S.: An Evaluation Semantics for Narrowing-Based Functional Logic Languages. Journal of Functional and Logic Programming 2001(2) (2001)

    Google Scholar 

  7. Byrd, W.: Relational Programming in miniKanren: Techniques, Applications, and Implementations. PhD dissertation (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Insight Centre for Data Analytics and Department of Information Technology, National University of Ireland, Galway, Republic of Ireland

    Matthias Nickles

Authors
  1. Matthias Nickles
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Geography, University of California, Santa Barbara, CA, USA

    Krzysztof Janowicz

  2. Dept. of Computer Science, VU University Amsterdam, The Netherlands

    Stefan Schlobach

  3. University of Linköping, Sweden

    Patrick Lambrix

  4. Aalto University, Finland

    Eero Hyvönen

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Nickles, M. (2014). Functional-Logic Programming for Web Knowledge Representation, Sharing and Querying. In: Janowicz, K., Schlobach, S., Lambrix, P., Hyvönen, E. (eds) Knowledge Engineering and Knowledge Management. EKAW 2014. Lecture Notes in Computer Science(), vol 8876. Springer, Cham. https://doi.org/10.1007/978-3-319-13704-9_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-13704-9_26

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-13703-2

  • Online ISBN: 978-3-319-13704-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics