RDFox: A highly-scalable RDF store

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 9367, Issue , 2015, Pages 3-20

  Nenov, Yavor ^a   Piro, Robert ^a   Motik, Boris ^a   Horrocks, Ian ^a   Wu, Zhe ^b   Banerjee, Jay ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b ORACLE CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL EFFICIENCY; RANDOM ACCESS STORAGE;

CENTRALISED; INCREMENTAL UPDATES; MEMORY USAGE; PHYSICAL CORE; REASONING ALGORITHMS; SPARQL QUERIES; SYSTEM ARCHITECTURES; SYSTEM DESCRIPTION;

SEMANTIC WEB;

EID: 84952653591     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-25010-6_1     Document Type: Conference Paper

References (22)

1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. AW (1995)
2. Baader, F., Nipkow, T.: Term Rewriting and All That. CUP (1998)
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)
4. Chong, E.I., Das, S., Eadon, G., Srinivasan, J.: An efficient SQL-based RDF querying scheme. In: Proc. VLDB, pp. 1216–1227 (2005)
5. Flum, J., Frick, M., Grohe, M.: Query Evaluation via Tree-Decompositions. Journal of the ACM 49(6), 716–752 (2002)
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)
7. Guo, Y., Pan, Z., Heflin, J.: LUBM: A benchmark for OWL knowledge base systems. JWS 3(2–3), 158–182 (2005)
8. Gupta, A., Mumick, I.S., Subrahmanian, V.S.: Maintaining views incrementally. In: Proc. SIGMOD, pp. 157–166 (1993)
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)
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)
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)
12. Manola, F., Miller, E., McBride, B.: RDF Primer. W3C Rec. 10, 1–107 (2004)
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)
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)
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)
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)
17. Motik, B., Nenov, Y., Piro, R.E.F., Horrocks, I.: Handling owl:sameAs via rewriting. In: Proc. AAAI, pp. 231–237 (2015)
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)
19. Neumann, T., Weikum, G.: The RDF-3X Engine for Scalable Management of RDF Data. VLDB Journal 19(1), 91–113 (2010)
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)
21. SPARQL 1.1 Overview. W3C Recommendation (March 21, 2013)
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)