Skip to main content

RDF Query and Inference in Prolog

  • Conference paper
  • First Online:
Knowledge Engineering and Semantic Web (KESW 2016)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 649))

Included in the following conference series:

Abstract

It is presented a system that allows the combination of a declarative language with a Semantic Web framework, namely, the Jena framework (https://jena.apache.org). and XSB Prolog using InterProlog [3], a library allowing the development of combined Java+Prolog applications. Our library allows RDF and SPARQL queries in Prolog predicates. In this way, we can develop Semantic Web applications that makes use of the power of declarative languages to construct sophisticated rule systems within Semantic Web environments. Benchmark results are presented, showing the practical impact of the use of the system.

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

Access this chapter

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 EPUB and 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

Notes

  1. 1.

    http://openjdk.java.net/projects/code-tools/jmh/.

References

  1. Alves, M.B., Damásio, C.V., Correia, N.: SPARQL commands in Jena rules. In: Klinov, P., et al. (eds.) KESW 2015. CCIS, vol. 518, pp. 253–262. Springer, Heidelberg (2015). http://dx.doi.org/10.1007/978-3-319-24543-0_19

    Chapter  Google Scholar 

  2. Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D., Patel-Schneijder, P., Stein, L.A.: OWL web ontology language reference, 10 February 2004

    Google Scholar 

  3. Calejo, M.: InterProlog: towards a declarative embedding of logic programming in Java. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 714–717. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  4. Fortineau, V., Paviot, T., Louis-Sidney, L., Lamouri, S.: SWRL as a rule language for ontology-based models in power plant design. In: Rivest, L., Bouras, A., Louhichi, B. (eds.) Product Lifecycle Management. Towards Knowledge-Rich Enterprises, pp. 588–597. Springer, Heidelberg (2012). http://dx.doi.org/10.1007/978-3-642-35758-9_53

    Chapter  Google Scholar 

  5. Guo, Y., Pan, Z., Heflin, J.: Lubm: a benchmark for owl knowledge base systems. Web Semant 3(2–3), 158–182 (2005). http://dx.doi.org/10.1016/j.websem.2005.06.005

    Article  Google Scholar 

  6. Horrocks, I., Patel-Schneider, P., Bechhofer, S., Tsarkov, D.: Owl rules: a proposal and prototype implementation. Web Semantics: Science, Services and Agents on the World Wide Web 3(1), 23–40 (2005). http://www.websemanticsjournal.org/index.php/ps/article/view/62

    Article  Google Scholar 

  7. Nejdl, W., Wolpers, M., Capelle, C.: The RDF schema specification revisited (2000)

    Google Scholar 

  8. Prud’hommeaux, E., Seaborne, A.: Sparql query language for RDF. Latest version available as http://www.w3.org/TR/rdf-sparql-query/, http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115/

  9. Tauberer, J.: What is RDF (2006)

    Google Scholar 

  10. Vassiliadis, V., Wielemaker, J., Mungall, C.: Processing OWL2 ontologies using Thea: an application of logic programming. In: OWLED 2009 (2009)

    Google Scholar 

  11. Wielemaker, J., Hildebrand, M., van Ossenbruggen, J., Schreiber, G.: Thesaurus-based search in large heterogeneous collections. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 695–708. Springer, Heidelberg (2008). http://dx.doi.org/10.1007/978-3-540-88564-1_44

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to M. B. Alves .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Alves, M.B., Damásio, C.V., Correia, N. (2016). RDF Query and Inference in Prolog. In: Ngonga Ngomo, AC., Křemen, P. (eds) Knowledge Engineering and Semantic Web. KESW 2016. Communications in Computer and Information Science, vol 649. Springer, Cham. https://doi.org/10.1007/978-3-319-45880-9_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-45880-9_15

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-45879-3

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics