Data functions, datalog and negation (extended abstract ), SIGMOD, 1988. ,
DOI : 10.1145/971701.50218
Foundations of Databases, 1995. ,
Universality of data retrieval languages, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, 1979. ,
DOI : 10.1145/567752.567763
Nodb: efficient query execution on raw data files, SIGMOD, 2012. ,
Breaking the memory wall in MonetDB, Communications of the ACM, vol.51, issue.12, 2008. ,
DOI : 10.1145/1409360.1409380
Scaling datalog for machine learning on big data, 2012. ,
Apache flink, IEEE Data Eng. Bull, vol.38, issue.4, p.2015 ,
Jena, Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters , WWW Alt. '04, 2004. ,
DOI : 10.1145/1013367.1013381
Bigtable, ACM Transactions on Computer Systems, vol.26, issue.2, 2008. ,
DOI : 10.1145/1365815.1365816
A relational model of data for large shared data banks, Communications of the ACM, vol.13, issue.6, 1970. ,
RDF Support in the Virtuoso DBMS, Networked Knowledge, 2009. ,
DOI : 10.1007/978-3-642-02184-8_2
Impala: A modern, open-source SQL engine for hadoop, CIDR, 2015. ,
Binary RDF representation for publication and exchange ( HDT ), Web Semantics: Science, Services and Agents on the World Wide Web, 2013. ,
DOI : 10.1016/j.websem.2013.01.002
LUBM: A benchmark for OWL knowledge base systems, Web Semantics: Science, Services and Agents on the World Wide Web, vol.3, issue.2-3, 2005. ,
DOI : 10.1016/j.websem.2005.06.005
RACER System Description, IJCAR, 2001. ,
DOI : 10.1007/3-540-45744-5_59
, , p.2013
Dryad: distributed dataparallel programs from sequential building blocks, EuroSys, 2007. ,
Execution of Recursive Queries in Apache Spark, Euro-Par, 2017. ,
DOI : 10.1137/1.9781611974010.60
KONECT, Proceedings of the 22nd International Conference on World Wide Web, WWW '13 Companion, 2013. ,
DOI : 10.1080/00107510500052444
The DLV system for knowledge representation and reasoning, ACM Transactions on Computational Logic, vol.7, issue.3, 2006. ,
DOI : 10.1145/1149114.1149117
URL : http://www.mat.unical.it/leone/ai/materiale/files/TOCL - dlv.pdf
SNAP Datasets: Stanford large network dataset collection, 2014. ,
Torpedo: Improving the State-of-the-Art RDF Dataset Slicing, 2017 IEEE 11th International Conference on Semantic Computing (ICSC), 2017. ,
DOI : 10.1109/ICSC.2017.79
, , p.2012
Parallel materialisation of datalog programs in centralised, main-memory RDF systems, AAAI, 2014. ,
Pellet: An owl dl reasoner, ISWC, 2004. ,
Technical report: Answering datalog queries with unix shell commands, 2018. ,
DatalogRA, Proceedings of the Fourth International Workshop on Graph Data Management Experiences and Systems, GRADES '16, 2016. ,
DOI : 10.1145/1836089.1836093
Apache Tez, Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, SIGMOD '15, 2015. ,
DOI : 10.1145/1755913.1755940
Optimizing large-scale semi-na¨?vena¨?ve datalog evaluation in hadoop, Int. Workshop on Datalog in Academia and Industry, 2012. ,
Hermit: A highly-efficient owl reasoner, OWLED, 2008. ,
Big Data Analytics with Datalog Queries on Spark, Proceedings of the 2016 International Conference on Management of Data, SIGMOD '16, 2016. ,
DOI : 10.1007/s00778-012-0280-z
Yago, Proceedings of the 16th international conference on World Wide Web , WWW '07, 2007. ,
DOI : 10.1145/1242572.1242667
URL : https://hal.archives-ouvertes.fr/hal-01589462
Fact++ description logic reasoner: System description. Automated reasoning, 2006. ,
Triple Pattern Fragments: A low-cost knowledge graph interface for the Web, Web Semantics: Science, Services and Agents on the World Wide Web, vol.37, issue.38, pp.37-38, 2016. ,
DOI : 10.1016/j.websem.2016.03.003
Wikidata: a free collaborative knowledgebase, Communications of the ACM, vol.57, issue.10, p.2014 ,
Asynchronous and fault-tolerant recursive datalog evaluation in shared-nothing engines, Proceedings of the VLDB Endowment, vol.8, issue.12, p.2015 ,
DOI : 10.14778/2824032.2824052
Parallel Materialization of Datalog Programs with Spark for Scalable Reasoning, 2016. ,
DOI : 10.1145/2247596.2247613
Spark: Cluster computing with working sets, USENIX Workshop on Hot Topics in Cloud Computing, 2010. ,
Incorporating partitioning and parallel plans into the SCOPE optimizer, 2010 IEEE 26th International Conference on Data Engineering (ICDE 2010), 2010. ,
DOI : 10.1109/ICDE.2010.5447802
URL : http://www.research.microsoft.com/%7Ejrzhou/pub/PGS.pdf