Skip to main content
SpringerLink
Log in

An Optimised Semantic Web Query Language Implementation in Prolog

  • Conference paper
Logic Programming (ICLP 2005)

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

Included in the following conference series:

Abstract

The Semantic Web is a rapidly growing research area aiming at the exchange of semantic information over the World Wide Web. The Semantic Web is built on top of RDF, an XML-based exchange language representing a triple-based data model. Higher languages such as the description logic based OWL language family are defined on top of RDF. Making inferences over triple collections is a promising application area for Prolog.

In this article we study query translation and optimization in the context of the SeRQL RDF query language. Queries are translated to Prolog goals, which are optimised by reordering literals. We study the domain specific issues of this general problem. Conjunctions are often large, but the danger of poor performance of the optimiser can be avoided by exploiting the nature of the triple store. We discuss the optimisation algorithms as well as the information required from the low level storage engine.

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. Berners-Lee, T., Hendler, J., Lassila, O.: The semantic Web. Scientific American 284(5), 34–43 (2001)

    Article  Google Scholar 

  2. Brickley, D., Guha, R.V. (eds.): Resource description framework (RDF) schema specification 1.0. W3C Recommendation (March 2000), http://www.w3.org/TR/2000/CR-rdf-schema-20000327/

  3. Broekstra, J., Kampman, A., van Harmelen, F.: Sesame: A generic architecture for storing and querying rdf and rdf schema. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 54–68. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  4. Dean, M., Schreiber, G., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL web ontology language reference. Working draft, W3C (March 2003)

    Google Scholar 

  5. Demoen, B.: Dynamic attributes, their hProlog implementation, and a first evaluation. Report CW 350, Department of Computer Science, K.U.Leuven, Leuven, Belgium (October 2002), URL = http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW350.abs.html

  6. Escalante, C.: A simple model of prolog’s performance: extensional predicates. In: CASCON 1993: Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research, pp. 1119–1132. IBM Press (1993)

    Google Scholar 

  7. Freire, J., Warren, D.S., Sagonas, K., Rao, P., Swift, T.: XSB: A system for efficiently computing well-founded semantics. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 430–440. Springer, Heidelberg (1997)

    Google Scholar 

  8. Googley, M.M., Wah, B.W.: Efficient reordering of PROLOG programs. IEEE Transactions on Knowledge and Data Engineering, 470–482 (1989)

    Google Scholar 

  9. Haase, P., Broekstra, J., Eberhart, A., Volz, R.: A comparison of rdf query languages. In: Proceedings of the Third International Semantic Web Conference, Hiroshima, Japan (November 2004)

    Google Scholar 

  10. Miller, G.: WordNet: A lexical database for english. Comm. ACM 38(11) (November 1995)

    Google Scholar 

  11. Muggleton, S., De Raedt, L.: Inductive Logic Programming: Theory and Method. Journal of Logic Programming 19-20, 629–679 (1994)

    Article  Google Scholar 

  12. Patel, K., Gupta, G.: Semantic processing of the semantic web. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 80–95. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  13. Schreiber, G., Dubbeldam, B., Wielemaker, J., Wielinga, B.: Ontology-based photo annotation. IEEE Intelligent Systems (May/June 2001)

    Google Scholar 

  14. Schrijvers, T., Demoen, B.: The K.U. Leuven CHR system: implementation and application. In: Frühwirth, T., Meister, M. (eds.) First Workshop on Constraint Handling Rules: Selected Contributions, pp. 430–440 (2004) ISSN 0939-5091

    Google Scholar 

  15. 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, p. 364. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  16. Struyf, J., Blockeel, H.: Query optimization in inductive logic programming by reordering literals. In: Horváth, T., Yamamoto, A. (eds.) ILP 2003. LNCS (LNAI), vol. 2835, pp. 329–346. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  17. Wielemaker, J.: Native preemptive threads in SWI-Prolog. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916, pp. 331–345. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  18. Wielemaker, J., Schreiber, G., Wielinga, B.: Prolog-based infrastructure for RDF: performance and scalability. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 644–658. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Human Computer Studies (HCS), University of Amsterdam, Kruislaan 419, 1098 VA, Amsterdam, The Netherlands

    Jan Wielemaker

Authors
  1. Jan Wielemaker
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Scienze dell’Informazione, Università di Bologna, Italy

    Maurizio Gabbrielli

  2. Department of Computer Science, University of Texas at Dallas, 75080, Richardson, TX

    Gopal Gupta

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wielemaker, J. (2005). An Optimised Semantic Web Query Language Implementation in Prolog. In: Gabbrielli, M., Gupta, G. (eds) Logic Programming. ICLP 2005. Lecture Notes in Computer Science, vol 3668. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11562931_12

Download citation

  • DOI: https://doi.org/10.1007/11562931_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29208-1

  • Online ISBN: 978-3-540-31947-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation