{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:57:02Z","timestamp":1742932622408,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642249075"},{"type":"electronic","value":"9783642249082"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24908-2_14","type":"book-chapter","created":{"date-parts":[[2011,10,20]],"date-time":"2011-10-20T10:38:16Z","timestamp":1319107096000},"page":"81-96","source":"Crossref","is-referenced-by-count":0,"title":["D2R2: Disk-Oriented Deductive Reasoning in a RISC-Style RDF Engine"],"prefix":"10.1007","author":[{"given":"Mohamed","family":"Yahya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Theobald","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Bancilhon, F., Maier, D., Sagiv, Y., Ullman, J.D.: Magic Sets and Other Strange Ways to Implement Logic Programs. In: PODS (1986)","DOI":"10.1145\/6012.15399"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Bancilhon, F., Ramakrishnan, R.: An Amateur\u2019s Introduction to Recursive Query Processing Strategies. In: SIGMOD (1986)","DOI":"10.1145\/16894.16859"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Beeri, C., Ramakrishnan, R.: On the Power of Magic. In: PODS (1987)","DOI":"10.1145\/28659.28689"},{"key":"14_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic Programming and Databases","author":"S. Ceri","year":"1990","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases. Springer, Heidelberg (1990)"},{"key":"14_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 (2003)","DOI":"10.1145\/775152.775160"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Guo, Y., Pan, Z., Heflin, J.: LUBM: A benchmark for OWL knowledge base systems. J. Web Sem.\u00a03(2-3) (2005)","DOI":"10.1016\/j.websem.2005.06.005"},{"key":"14_CR8","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. Technical report, World Wide Web Consortium (May 2004)"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/978-3-642-17746-0_27","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"Z. Kaoudi","year":"2010","unstructured":"Kaoudi, Z., Kyzirakos, K., Koubarakis, M.: SPARQL Query Optimization on Top of DHTs. 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.\u00a06496, pp. 418\u2013435. Springer, Heidelberg (2010)"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Madalinska-Bugaj, E., Nguyen, L.A.: Generalizing the QSQR Evaluation Method for Horn Knowledge Bases. In: New Challenges in Applied Intelligence Technologies (2008)","DOI":"10.1007\/978-3-540-79355-7_14"},{"key":"14_CR11","unstructured":"Nejdl, W.: Recursive strategies for answering recursive queries - the RQA\/FQI strategy. In: VLDB (1987)"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Neumann, T., Weikum, G.: RDF-3X: a RISC-style engine for RDF. In: PVLDB (2008)","DOI":"10.14778\/1453856.1453927"},{"key":"14_CR13","unstructured":"RuleML. The rule markup initiative (July 2010), http:\/\/ruleml.org\/"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Stocker, M., Seaborne, A., Bernstein, A., Kiefer, C., Reynolds, D.: SPARQL basic graph pattern optimization using selectivity estimation. In: WWW (2008)","DOI":"10.1145\/1367497.1367578"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Suchanek, F.M., Kasneci, G., Weikum, G.: Yago: a Core of Semantic Knowledge. In: WWW (2007)","DOI":"10.1145\/1242572.1242667"},{"key":"14_CR16","series-title":"The New Technologies","volume-title":"Principles of Database and Knowledge-Base Systems","author":"J.D. Ullman","year":"1990","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems. The New Technologies, vol.\u00a0II. W. H. Freeman & Co., New York (1990)"},{"key":"14_CR17","unstructured":"Vieille, L.: Recursive Axioms in Deductive Databases: The Query\/Sub-Query Approach. In: Expert Database Conf. (1986)"},{"key":"14_CR18","unstructured":"Vieille, L.: A Database-Complete Proof Procedure Based on SLD Resolution. In: ICLP (1987)"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Warren, D.S.: Memoing for Logic Programs. Commun. ACM\u00a035(3) (1992)","DOI":"10.1145\/131295.131299"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Gallaire, H., Minker, J., Nicolas, J.-M.: Logic and Databases: A deductive approach. ACM Comput. Surv.\u00a016(2) (1984)","DOI":"10.1145\/356924.356929"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Kowalski, R.A., Kuehner, D.: Linear Resolution with Selection Function. Artif. Intell.\u00a02(3\/4) (1971)","DOI":"10.1016\/0004-3702(71)90012-9"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Sagonas, K.F., Swift, T., Warren, D.S.: XSB as an Efficient Deductive Database Engine. In: SIGMOD (1994)","DOI":"10.1145\/191839.191927"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Liang, S., Fodor, P., Wan, H., Kifer, M.: OpenRuleBench: an analysis of the performance of rule engines. In: WWW (2009)","DOI":"10.1145\/1526709.1526790"},{"key":"14_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/3-540-16492-8_66","volume-title":"Third International Conference on Logic Programming","author":"H. Tamaki","year":"1986","unstructured":"Tamaki, H., Sato, T.: Old Resolution with Tabulation. In: Shapiro, E. (ed.) ICLP 1986. LNCS, vol.\u00a0225, pp. 84\u201398. Springer, Heidelberg (1986)"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Neumann, T., Weikum, G.: Scalable Join Processing on Very Large RDF Graphs. In: SIGMOD (2009)","DOI":"10.1145\/1559845.1559911"},{"key":"14_CR26","unstructured":"Warren, D.H.D.: An Abstract Prolog Instruction Set. Technical Report 309, AI Center, SRI International (1983)"},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"Hellerstein, J.M.: Datalog redux: experience and conjecture. In: PODS (2010)","DOI":"10.1145\/1807085.1807087"},{"key":"14_CR28","doi-asserted-by":"crossref","unstructured":"Lam, M.S., Whaley, J., Livshits, V.B., Martin, M.C., Avots, D., Carbin, M., Unkel, C.: Context-sensitive program analysis as database queries. In: PODS (2005)","DOI":"10.1145\/1065167.1065169"}],"container-title":["Lecture Notes in Computer Science","Rule-Based Modeling and Computing on the Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24908-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T01:44:07Z","timestamp":1560822247000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24908-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642249075","9783642249082"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24908-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}