Skip to main content
Download book PDF
View expanded cover

International Semantic Web Conference

ISWC 2015: The Semantic Web - ISWC 2015 pp 3–20Cite as

RDFox: A Highly-Scalable RDF Store

Part of the Lecture Notes in Computer Science book series (LNISA,volume 9367)

Abstract

We present RDFox—a main-memory, scalable, centralised RDF store that supports materialisation-based parallel datalog reasoning and SPARQL query answering. RDFox uses novel and highly-efficient parallel reasoning algorithms for the computation and incremental update of datalog materialisations with efficient handling of owl:sameAs. In this system description paper, we present an overview of the system architecture and highlight the main ideas behind our indexing data structures and our novel reasoning algorithms. In addition, we evaluate RDFox on a high-end SPARC T5-8 server with 128 physical cores and 4TB of RAM. Our results show that RDFox can effectively exploit such a machine, achieving speedups of up to 87 times, storage of up to 9.2 billion triples, memory usage as low as 36.9 bytes per triple, importation rates of up to 1 million triples per second, and reasoning rates of up to 6.1 million triples per second.

Keywords

  • Resource Description Framework
  • Indexing Scheme
  • SPARQL Query
  • Triple Pattern
  • Query Answering

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Download conference paper PDF

References

  1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. AW (1995)

    Google Scholar 

  2. Baader, F., Nipkow, T.: Term Rewriting and All That. CUP (1998)

    Google Scholar 

  3. Bishop, B., Kiryakov, A., Ognyanoff, D., Peikov, I., Tashev, Z., Velkov, R.: OWLIM: A family of scalable semantic repositories. Sem. Web 2(1), 33–42 (2011)

    Google Scholar 

  4. Chong, E.I., Das, S., Eadon, G., Srinivasan, J.: An efficient SQL-based RDF querying scheme. In: Proc. VLDB, pp. 1216–1227 (2005)

    Google Scholar 

  5. Flum, J., Frick, M., Grohe, M.: Query Evaluation via Tree-Decompositions. Journal of the ACM 49(6), 716–752 (2002)

    MathSciNet  CrossRef  MATH  Google Scholar 

  6. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: WWW, pp. 48–57 (2003)

    Google Scholar 

  7. Guo, Y., Pan, Z., Heflin, J.: LUBM: A benchmark for OWL knowledge base systems. JWS 3(2–3), 158–182 (2005)

    CrossRef  Google Scholar 

  8. Gupta, A., Mumick, I.S., Subrahmanian, V.S.: Maintaining views incrementally. In: Proc. SIGMOD, pp. 157–166 (1993)

    Google Scholar 

  9. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR2006), pp. 57–67 (2006)

    Google Scholar 

  10. Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A semantic web rule language combining OWL and RuleML. W3C Member Submission (2004)

    Google Scholar 

  11. Kolovski, V., Wu, Z., Eadon, G.: Optimizing enterprise-scale OWL 2 RL reasoning in a relational database system. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 436–452. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

  12. Manola, F., Miller, E., McBride, B.: RDF Primer. W3C Rec. 10, 1–107 (2004)

    Google Scholar 

  13. Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 Web Ontology Language Profiles, 2nd edn. W3C Rec. (2012)

    Google Scholar 

  14. Motik, B., Nenov, Y., Piro, R., Horrocks, I.: Incremental update of datalog materialisation: the backward/forward algorithm. In: Proc. AAAI, pp. 1560–1568 (2015)

    Google Scholar 

  15. Motik, B., Nenov, Y., Piro, R., Horrocks, I., Olteanu, D.: Parallel materialisation of datalog programs in centralised, main-memory RDF systems. In: Proc. AAAI, pp. 129–137 (2014)

    Google Scholar 

  16. Motik, B., Nenov, Y., Piro, R.E.F., Horrocks, I.: Combining rewriting and incremental materialisation maintenance for datalog programs with equality. In: Proc. (to appear 2015)

    Google Scholar 

  17. Motik, B., Nenov, Y., Piro, R.E.F., Horrocks, I.: Handling owl:sameAs via rewriting. In: Proc. AAAI, pp. 231–237 (2015)

    Google Scholar 

  18. Motik, B., Patel-Schneider, P.F., Parsia, B., Bock, C., Fokoue, A., Haase, P., Hoekstra, R., Horrocks, I., Ruttenberg, A., Sattler, U., et al.: OWL 2 web ontology language: Structural specification and functional-style syntax. W3C Rec. 27, 17 (2009)

    Google Scholar 

  19. Neumann, T., Weikum, G.: The RDF-3X Engine for Scalable Management of RDF Data. VLDB Journal 19(1), 91–113 (2010)

    CrossRef  Google Scholar 

  20. Nieuwenhuis, R., Rubio, A.: Paramodulation-based theorem proving. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. I, chap. 7, pp. 371–443. Elsevier Science (2001)

    Google Scholar 

  21. SPARQL 1.1 Overview. W3C Recommendation (March 21, 2013)

    Google Scholar 

  22. Wu, Z., Eadon, G., Das, S., Chong, E.I., Kolovski, V., Annamalai, M., Srinivasan, J.: Implementing an inference engine for RDFS/OWL constructs and user-defined rules in oracle. In: ICDE, pp. 1239–1248 (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Oxford, Oxford, UK

    Yavor Nenov, Robert Piro, Boris Motik & Ian Horrocks

  2. Oracle Corporation, Redwood Shores, CA, USA

    Zhe Wu & Jay Banerjee

Authors
  1. Yavor Nenov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Robert Piro
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Boris Motik
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ian Horrocks
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Zhe Wu
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Jay Banerjee
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yavor Nenov .

Editor information

Editors and Affiliations

  1. Pontificia Universidad Católica de Chile, Santiago de Chile, Chile

    Marcelo Arenas

  2. Universidad Politecnica de Madrid, Boadilla del Monte, Spain

    Oscar Corcho

  3. University of Southampton, Southampton, United Kingdom

    Elena Simperl

  4. Sozialwissenschaften eV, GESIS Leibniz-Institut, Köln, Nordrhein-Westfalen, Germany

    Markus Strohmaier

  5. The Open University, Milton Keynes, United Kingdom

    Mathieu d'Aquin

  6. IBM Research, Yorktown Heights, New York, USA

    Kavitha Srinivas

  7. Elsevier Labs., Amsterdam, The Netherlands

    Paul Groth

  8. School of Medicine, Stanford University, Stanford, California, USA

    Michel Dumontier

  9. Lehigh University, Bethlehem, Pennsylvania, USA

    Jeff Heflin

  10. DAYTON, Ohio, USA

    Krishnaprasad Thirunarayan

  11. University of Koblenz-Landau, Koblenz, Rheinland-Pfalz, Germany

    Steffen Staab

Rights and permissions

Reprints and Permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Nenov, Y., Piro, R., Motik, B., Horrocks, I., Wu, Z., Banerjee, J. (2015). RDFox: A Highly-Scalable RDF Store. In: , et al. The Semantic Web - ISWC 2015. ISWC 2015. Lecture Notes in Computer Science(), vol 9367. Springer, Cham. https://doi.org/10.1007/978-3-319-25010-6_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-25010-6_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-25009-0

  • Online ISBN: 978-3-319-25010-6

  • eBook Packages: Computer ScienceComputer Science (R0)