Papers
Topics
Authors
Recent
Search
2000 character limit reached

SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog [Experiment, Analysis and Benchmark]

Published 11 Jul 2023 in cs.DB | (2307.06119v1)

Abstract: Over the past decade, Knowledge Graphs have received enormous interest both from industry and from academia. Research in this area has been driven, above all, by the Database (DB) community and the Semantic Web (SW) community. However, there still remains a certain divide between approaches coming from these two communities. For instance, while languages such as SQL or Datalog are widely used in the DB area, a different set of languages such as SPARQL and OWL is used in the SW area. Interoperability between such technologies is still a challenge. The goal of this work is to present a uniform and consistent framework meeting important requirements from both, the SW and DB field.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (36)
  1. Renzo Angles and Claudio Gutiérrez. 2008. The Expressive Power of SPARQL. In The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings (Lecture Notes in Computer Science), Amit P. Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy W. Finin, and Krishnaprasad Thirunarayan (Eds.), Vol. 5318. Springer, Berlin, Heidelberg, 114–129. https://doi.org/10.1007/978-3-540-88564-1_8
  2. Renzo Angles and Claudio Gutiérrez. 2016a. The Multiset Semantics of SPARQL Patterns. In The Semantic Web - ISWC 2016 - 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part I (Lecture Notes in Computer Science), Paul Groth, Elena Simperl, Alasdair J. G. Gray, Marta Sabou, Markus Krötzsch, Freddy Lécué, Fabian Flöck, and Yolanda Gil (Eds.), Vol. 9981. Springer International Publishing, Cham, 20–36. https://doi.org/10.1007/978-3-319-46523-4_2
  3. Renzo Angles and Claudio Gutiérrez. 2016b. Negation in SPARQL. In 10th Alberto Mendelzon International Workshop on Foundations of Data Management (CEUR Workshop Proceedings), Vol. 1644. CEUR-WS.org, Aachen.
  4. Expressive Languages for Querying the Semantic Web. ACM Trans. Database Syst. 43 (2018), 13:1–13:45.
  5. On the Semantics of SPARQL. In Semantic Web Information Management - A Model-Based Perspective, Roberto De Virgilio, Fausto Giunchiglia, and Letizia Tanca (Eds.). Springer, 281–307. https://doi.org/10.1007/978-3-642-04329-1_13
  6. gMark: Schema-Driven Generation of Graphs and Queries. In 33rd IEEE International Conference on Data Engineering, ICDE 2017, San Diego, CA, USA, April 19-22, 2017. IEEE Computer Society, 63–64. https://doi.org/10.1109/ICDE.2017.38
  7. Graal: A Toolkit for Query Answering with Existential Rules. In Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings (Lecture Notes in Computer Science), Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, and Dumitru Roman (Eds.), Vol. 9202. Springer International Publishing, Cham, 328–344. https://doi.org/10.1007/978-3-319-21542-6_21
  8. Extending Decidable Cases for Rules with Existential Variables. In IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009, Craig Boutilier (Ed.). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 677–682.
  9. On rules with existential variables: Walking the decidability line. Artif. Intell. 175, 9-10 (2011), 1620–1654.
  10. The Vadalog System: Datalog-based Reasoning for Knowledge Graphs. PVLDB 11 (2018), 975–987.
  11. Datalog: Bag Semantics via Set Semantics. In 22nd International Conference on Database Theory, ICDT 2019, March 26-28, 2019, Lisbon, Portugal (LIPIcs), Pablo Barceló and Marco Calautti (Eds.), Vol. 127. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Wadern, Germany, 16:1–16:19. https://doi.org/10.4230/LIPIcs.ICDT.2019.16
  12. An analytical study of large SPARQL query logs. The VLDB Journal 29 (2019), 655 – 679.
  13. Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. J. Artif. Intell. Res. 48 (2013), 115–174.
  14. Datalog±plus-or-minus{}^{\mbox{{$\pm$}}}start_FLOATSUPERSCRIPT ± end_FLOATSUPERSCRIPT: a unified approach to ontologies and integrity constraints. In Database Theory - ICDT 2009, 12th International Conference, St. Petersburg, Russia, March 23-25, 2009, Proceedings (ACM International Conference Proceeding Series), Ronald Fagin (Ed.), Vol. 361. Association for Computing Machinery, New York, NY, USA, 14–30. https://doi.org/10.1145/1514894.1514897
  15. Advanced Processing for Ontological Queries. PVLDB 3, 1 (2010), 554–565.
  16. Query Answering under Non-guarded Rules in Datalog+/-. In Web Reasoning and Rule Systems - Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings (Lecture Notes in Computer Science), Pascal Hitzler and Thomas Lukasiewicz (Eds.), Vol. 6333. Springer Berlin Heidelberg, Berlin, Heidelberg, 1–17. https://doi.org/10.1007/978-3-642-15918-3_1
  17. VLog: A Rule Engine for Knowledge Graphs. In The Semantic Web - ISWC 2019 - 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part II (Lecture Notes in Computer Science), Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtech Svátek, Isabel F. Cruz, Aidan Hogan, Jie Song, Maxime Lefrançois, and Fabien Gandon (Eds.), Vol. 11779. Springer International Publishing, Cham, 19–35. https://doi.org/10.1007/978-3-030-30796-7_2
  18. RDF 1.1 Concepts and Abstract Syntax (W3C Recommendation). https://www.w3.org/TR/rdf11-concepts/.
  19. hex-Programs with Existential Quantification. In Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers (Lecture Notes in Computer Science), Michael Hanus and Ricardo Rocha (Eds.), Vol. 8439. Springer International Publishing, Cham, 99–117. https://doi.org/10.1007/978-3-319-08909-6_7
  20. Data exchange: semantics and query answering. Theor. Comput. Sci. 336, 1 (2005), 89–124.
  21. Steve Harris and Andy Seaborne. 2013. SPARQL 1.1 Query Language (W3C Recommendation). https://www.w3.org/TR/sparql11-query/.
  22. David S. Johnson and Anthony C. Klug. 1984. Testing Containment of Conjunctive Queries under Functional and Inclusion Dependencies. J. Comput. Syst. Sci. 28, 1 (1984), 167–189.
  23. SPARQL with Property Paths. In The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part I (Lecture Notes in Computer Science), Marcelo Arenas, Óscar Corcho, Elena Simperl, Markus Strohmaier, Mathieu d’Aquin, Kavitha Srinivas, Paul Groth, Michel Dumontier, Jeff Heflin, Krishnaprasad Thirunarayan, and Steffen Staab (Eds.), Vol. 9366. Springer, 3–18. https://doi.org/10.1007/978-3-319-25007-6_1
  24. The Magic of Duplicates and Aggregates. In International Conference on Very Large Databases (VDLB). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 264–277.
  25. Inderpal Singh Mumick and Oded Shmueli. 1993. Finiteness Properties of Database Queries. In Proc. ADC ’93. World Scientific, Toh Tuck Link Singapore, 274–288.
  26. RDFox: A Highly-Scalable RDF Store. In The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II (Lecture Notes in Computer Science), Marcelo Arenas, Óscar Corcho, Elena Simperl, Markus Strohmaier, Mathieu d’Aquin, Kavitha Srinivas, Paul Groth, Michel Dumontier, Jeff Heflin, Krishnaprasad Thirunarayan, and Steffen Staab (Eds.), Vol. 9367. Springer International Publishing, Cham, 3–20. https://doi.org/10.1007/978-3-319-25010-6_1
  27. Axel Polleres. 2007. From SPARQL to rules (and back). In Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007, Carey L. Williamson, Mary Ellen Zurko, Peter F. Patel-Schneider, and Prashant J. Shenoy (Eds.). Association for Computing Machinery, New York, NY, USA, 787–796. https://doi.org/10.1145/1242572.1242679
  28. Axel Polleres and Roman Schindlauer. 2007. DLVHEX-SPARQL: A SPARQL Compliant Query Engine Based on DLVHEX. In Proceedings of the ICLP’07 Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, ALPSWS 2007, Porto, Portugal, September 13th, 2007 (CEUR Workshop Proceedings), Axel Polleres, David Pearce, Stijn Heymans, and Edna Ruckhaus (Eds.), Vol. 287. CEUR-WS.org, Aachen.
  29. Axel Polleres and Johannes Peter Wallner. 2013. On the relation between SPARQL1.1 and Answer Set Programming. Journal of Applied Non-Classical Logics 23 (2013), 159–212.
  30. Eric Prud’hommeaux and Andy Seaborne. 2008. SPARQL Query Language for RDF (W3C Recommendation). https://www.w3.org/TR/rdf-sparql-query/.
  31. Recursive Query Facilities in Relational Databases: A Survey. In Database Theory and Application, Bio-Science and Bio-Technology - International Conferences, DTA and BSBT 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings (Communications in Computer and Information Science), Yanchun Zhang, Alfredo Cuzzocrea, Jianhua Ma, Kyo-Il Chung, Tughrul Arslan, and Xiaofeng Song (Eds.), Vol. 118. Springer, 89–99. https://doi.org/10.1007/978-3-642-17622-7_10
  32. FEASIBLE: A Feature-Based SPARQL Benchmark Generation Framework. In International Semantic Web Conference.
  33. How Representative Is a SPARQL Benchmark? An Analysis of RDF Triplestore Benchmarks. In The World Wide Web Conference, WWW 2019, San Francisco, CA, USA, May 13-17, 2019, Ling Liu, Ryen W. White, Amin Mantrach, Fabrizio Silvestri, Julian J. McAuley, Ricardo Baeza-Yates, and Leila Zia (Eds.). Association for Computing Machinery, New York, NY, USA, 1623–1633. https://doi.org/10.1145/3308558.3313556
  34. SP2Bench: A SPARQL Performance Benchmark. ArXiv abs/0806.4627 (2009).
  35. BeSEPPI: Semantic-Based Benchmarking of Property Path Implementations. In The Semantic Web - 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2-6, 2019, Proceedings (Lecture Notes in Computer Science), Pascal Hitzler, Miriam Fernández, Krzysztof Janowicz, Amrapali Zaveri, Alasdair J. G. Gray, Vanessa López, Armin Haller, and Karl Hammar (Eds.), Vol. 11503. Springer International Publishing, Cham, 475–490. https://doi.org/10.1007/978-3-030-21348-0_31
  36. Victor Vianu. 2021. Datalog Unchained. In PODS’21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Virtual Event, China, June 20-25, 2021, Leonid Libkin, Reinhard Pichler, and Paolo Guagliardo (Eds.). ACM, 57–69. https://doi.org/10.1145/3452021.3458815
Citations (1)
View on Semantic Scholar

Summary

No one has generated a summary of this paper yet.

Sign Up to Summarize

Paper to Video (Beta)

No one has generated a video about this paper yet.

Sign Up to Generate All Videos Subscribe on YouTube

Whiteboard

No one has generated a whiteboard explanation for this paper yet.

Sign Up to Generate

Open Problems

We haven't generated a list of open problems mentioned in this paper yet.

Generate Now

Continue Learning

We haven't generated follow-up questions for this paper yet.

Generate Now