{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T22:30:05Z","timestamp":1778106605053,"version":"3.51.4"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319250090","type":"print"},{"value":"9783319250106","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25010-6_1","type":"book-chapter","created":{"date-parts":[[2015,10,13]],"date-time":"2015-10-13T18:00:11Z","timestamp":1444759211000},"page":"3-20","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":116,"title":["RDFox: A Highly-Scalable RDF Store"],"prefix":"10.1007","author":[{"given":"Yavor","family":"Nenov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Piro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boris","family":"Motik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhe","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jay","family":"Banerjee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,10,24]]},"reference":[{"key":"1_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. AW (1995)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Nipkow, T.: Term Rewriting and All That. CUP (1998)","DOI":"10.1017\/CBO9781139172752"},{"issue":"1","key":"1_CR3","doi-asserted-by":"crossref","first-page":"33","DOI":"10.3233\/SW-2011-0026","volume":"2","author":"B Bishop","year":"2011","unstructured":"Bishop, B., Kiryakov, A., Ognyanoff, D., Peikov, I., Tashev, Z., Velkov, R.: OWLIM: A family of scalable semantic repositories. Sem. Web 2(1), 33\u201342 (2011)","journal-title":"Sem. Web"},{"key":"1_CR4","unstructured":"Chong, E.I., Das, S., Eadon, G., Srinivasan, J.: An efficient SQL-based RDF querying scheme. In: Proc. VLDB, pp. 1216\u20131227 (2005)"},{"issue":"6","key":"1_CR5","doi-asserted-by":"publisher","first-page":"716","DOI":"10.1145\/602220.602222","volume":"49","author":"J Flum","year":"2002","unstructured":"Flum, J., Frick, M., Grohe, M.: Query Evaluation via Tree-Decompositions. Journal of the ACM 49(6), 716\u2013752 (2002)","journal-title":"Journal of the ACM"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: WWW, pp. 48\u201357 (2003)","DOI":"10.2139\/ssrn.460986"},{"issue":"2\u20133","key":"1_CR7","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.websem.2005.06.005","volume":"3","author":"Y Guo","year":"2005","unstructured":"Guo, Y., Pan, Z., Heflin, J.: LUBM: A benchmark for OWL knowledge base systems. JWS 3(2\u20133), 158\u2013182 (2005)","journal-title":"JWS"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Gupta, A., Mumick, I.S., Subrahmanian, V.S.: Maintaining views incrementally. In: Proc. SIGMOD, pp. 157\u2013166 (1993)","DOI":"10.1145\/170036.170066"},{"key":"1_CR9","unstructured":"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\u201367 (2006)"},{"key":"1_CR10","unstructured":"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)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-642-17746-0_28","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"V Kolovski","year":"2010","unstructured":"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\u2013452. Springer, Heidelberg (2010)"},{"key":"1_CR12","first-page":"1","volume":"10","author":"F Manola","year":"2004","unstructured":"Manola, F., Miller, E., McBride, B.: RDF Primer. W3C Rec. 10, 1\u2013107 (2004)","journal-title":"W3C Rec."},{"key":"1_CR13","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 Web Ontology Language Profiles, 2nd edn. W3C Rec. (2012)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Motik, B., Nenov, Y., Piro, R., Horrocks, I.: Incremental update of datalog materialisation: the backward\/forward algorithm. In: Proc. AAAI, pp. 1560\u20131568 (2015)","DOI":"10.1609\/aaai.v29i1.9409"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"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\u2013137 (2014)","DOI":"10.1609\/aaai.v28i1.8730"},{"key":"1_CR16","unstructured":"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)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Motik, B., Nenov, Y., Piro, R.E.F., Horrocks, I.: Handling owl:sameAs via rewriting. In: Proc. AAAI, pp. 231\u2013237 (2015)","DOI":"10.1609\/aaai.v29i1.9187"},{"key":"1_CR18","first-page":"17","volume":"27","author":"B Motik","year":"2009","unstructured":"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)","journal-title":"W3C Rec."},{"issue":"1","key":"1_CR19","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s00778-009-0165-y","volume":"19","author":"T Neumann","year":"2010","unstructured":"Neumann, T., Weikum, G.: The RDF-3X Engine for Scalable Management of RDF Data. VLDB Journal 19(1), 91\u2013113 (2010)","journal-title":"VLDB Journal"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Nieuwenhuis, R., Rubio, A.: Paramodulation-based theorem proving. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. I, chap. 7, pp. 371\u2013443. Elsevier Science (2001)","DOI":"10.1016\/B978-044450813-3\/50009-6"},{"key":"1_CR21","unstructured":"SPARQL 1.1 Overview. W3C Recommendation (March 21, 2013)"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"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\u20131248 (2008)","DOI":"10.1109\/ICDE.2008.4497533"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2015"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25010-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,15]],"date-time":"2023-08-15T07:36:19Z","timestamp":1692084979000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25010-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319250090","9783319250106"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25010-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"24 October 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}