Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Kongresse
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Veranstaltungskalender Awards MyNewsletter Firmensuche
Kunden Login
Über Einzelzugang informieren
Über Unternehmenszugang informieren
Referenzkunden
12. Internationaler Motorenkongress 2025 | 25. + 26. Februar 2025

Treffpunkt der Community für Antriebe und nachhaltige Kraftstoffe

Der Kongress beleuchtet die zukünftige Rolle des Verbrennungsmotors und seiner nichtfossilen Kraftstoffe aus globaler Sicht mit führenden Experten. Seien Sie dabei! Weitere Informationen und Buchungsmöglichkeiten finden Sie auf unserer Website.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Kapitel lesen Erstes Kapitel lesen

2025 | OriginalPaper | Buchkapitel

Compiling SHACL Into SQL

verfasst von : Maxime Jakubowski, Jan Van den Bussche

Erschienen in: The Semantic Web – ISWC 2024

Verlag: Springer Nature Switzerland

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Constraints on graph data expressed in the Shapes Constraint Language (SHACL) can be quite complex. This brings the challenge of efficient validation of complex SHACL constraints on graph data. This challenge is remarkably similar to the processing of analytical queries, investigated intensively in the database community. Motivated by this observation, we have devised an efficient compilation technique from SHACL into SQL, under a natural relational representation of RDF graphs. Our conclusion is that the powerful processing and optimization techniques, already offered by modern SQL engines, are more than up to the challenge.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Expanding the Scope: Inductive Knowledge Graph Reasoning with Multi-starting Progressive Propagation
Nächstes Kapitel DUNKS: Chunking and Summarizing Large and Heterogeneous Data for Dataset Search
Fußnoten
1
An alternative, automata-based, but equally interesting and popular approach to shapes is taken in the language ShEx [14, 29, 55].
 
2
In the early days of data analytics, analytical querying was referred to as OLAP and was typically focused on data cube operations [31, 43]. Later, the term broadened to complex SQL querying; it is in this sense that we use the term “analytical query” in the present paper.
 
3
We are leaving as out of scope a discussion of the advances in cloud database systems.
 
4
Alternatively we could have used the Hyper API https://​www.​tableau.​com/​developer/​tools/​hyper-api.
 
5
This operator is defined by the Operator Mapping in SPARQL [32].
 
6
Actually, in the case of targetclass, we simplify to only targeting direct type declarations.
 
Literatur
1.
2.
Ahlstrøm Jakobsen, K., Andersen, A., Hose, K., Bach Pedersen, T.: Optimizing RDF data cubes for efficient processing of analytical queries. In: Hartig, O., Sequeda, J., et al. (eds.) Proceedings 6th International Workshop on Consuming Linked Data. CEUR Workshop Proceedings, vol. 1426 (2015)
3.
Ahmetaj, S., David, R., Ortiz, M., Polleres, A., Shehu, B., Simkus, M.: Reasoning about explanations for non-validation in SHACL. In: Bienvenu, M., Lakemeyer, G., et al. (eds.) Proceedings 18th International Conference on Principles of Knowledge Representation and Reasoning, pp. 12–21. IJCAI Organization (2021)
4.
Ahmetaj, S., David, R., Polleres, A., Simkus, M.: Reparing SHACL constraint violations using answer set programming. In: Sattler, U., et al. (eds.) Proceedings 21st International Semantic Web Conference. LNCS, vol. 13489, pp. 375–391. Springer (2022)
5.
Ahmetaj, S., Löhnert, B., Ortiz, M., Simkus, M.: Magic shapes for SHACL validation. Proc. VLDB Endowment 15(10), 2284–2296 (2022)CrossRef
6.
Ahmetaj, S., Ortiz, M., Oudshoorn, A., Simkus, M.: Reconciling SHACL and ontologies: Semantics and validation via rewriting. In: Gal, K., Nowé, A., et al. (eds.) Proceedings 26th European Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications, vol. 372, pp. 27–35. IOS Press (2023)
7.
Andreşel, M., Corman, J., Ortiz, M., Reutter, J., Savkovic, O., Simkus, M.: Stable model semantics for recursive SHACL. In: Huang, Y., King, I., Liu, T.Y., van Steen, M. (eds.) Proceedings WWW’20, pp. 1570–1580. ACM (2020)
8.
Arroyuelo, D., Hogan, A., Navarro, G., Rojas-Ledesma, J.: Time- and space-efficient regular path queries. In: Proceedings 38th International Conference on Data Engineering, pp. 3091–3105. IEEE (2022)
9.
Bahadur Thapa, R., Giese, M.: Optimizing SPARQL queries with SHACL. In: Payne, T., Presutti, V., Qi, G., et al. (eds.) Proceedings 22nd International Semantic Web Conference. LNCS, vol. 14265, pp. 41–60. Springer (2023)
10.
Bogaerts, B., Jakubowski, M.: Fixpoint semantics for recursive SHACL. In: Formisano, A., Liu, Y., et al. (eds.) Proceedings 37th International Conference on Logic Programming (Technical Communications). Electronic Proceedings in Theoretical Computer Science, vol. 345, pp. 41–47 (2021)
11.
12.
Boncz, P., Kersten, M., Manegold, S.: Breaking the memory wall in MonetDB. Commun. ACM 51(12), 77–85 (2008)CrossRef
13.
Boncz, P., Zukowski, M., Nes, N.: MonetDB/X100: Hyper-pipelining query execution. In: Proceedings 2nd Biennial Conference on Innovative Data Systems Research, pp. 225–237. www.​cidrdb.​org (2005)
14.
Boneva, I., Labra Gayo, J.E., Prud’hommeaux, E.G.: Semantics and validation of shapes schemas for RDF. In: d’Amato, C., Fernandez, M., Tamma, V., Lecue, F., Cudré-Mauroux, P., Sequeda, J., Lange, C., Heflin, J. (eds.) ISWC 2017. LNCS, vol. 10587, pp. 104–120. Springer, Cham (2017). https://​doi.​org/​10.​1007/​978-3-319-68288-4_​7CrossRef
15.
Chmurovic, A., Simkus, M.: Well-founded semantics for recursive SHACL. In: Alviano, M., Pieris, A. (eds.) Datalog 2.0 2022: Fourth International Workshop on the Resurgence of Datalog in Academia and Industry. CEUR Workshop Proceedings, vol. 3203, pp. 2–13 (2022)
16.
Corman, J., Florenzano, F., Reutter, J., Savkovic, O.: Validating SHACL constraints over a SPARQL endpoint. In: Ghidini et al. [30], pp. 145–163
17.
Corman, J., Reutter, J.L., Savković, O.: Semantics and validation of recursive SHACL. In: Vrandečić, D., Bontcheva, K., Suárez-Figueroa, M.C., Presutti, V., Celino, I., Sabou, M., Kaffee, L.-A., Simperl, E. (eds.) ISWC 2018. LNCS, vol. 11136, pp. 318–336. Springer, Cham (2018). https://​doi.​org/​10.​1007/​978-3-030-00671-6_​19CrossRef
18.
19.
De Leo, D., Boncz, P.: Extending SQL for computing shortest paths. In: Boncz, P., Larriba-Pey, J. (eds.) Proceedings 5th International Workshop on Graph Data management Experiences & Systems, pp. 10:1–10:8. ACM (2017)
20.
Dedecker, R., Slabbinck, W., Wright, J., et al.: What’s in a Pod? a knowledge graph interpretation for the Solid ecosystem. In: Saleem, M., et al. (eds.) Proceedings 6th Workshop on Storing, Querying and Benchmarking Knowledge Graphs. CEUR Workshop Proceedings, vol. 3279, pp. 81–96 (2022)
21.
Delva, T., Dimou, A., Jakubowski, M., Van den Bussche, J.: Data provenance for SHACL. In: Stoyanovich, J., Teubner, J., et al. (eds.) Proceedings 26th International Conference on Extending Database Technology, pp. 285–297. OpenProceedings.org (2023)
22.
Eich, M., Fender, P., Moerkotte, G.: Efficient generation of query plans containing group-by, join, and groupjoin. VLDB J. 27(5), 617–641 (2018)CrossRef
23.
24.
Erling, O.: Virtuoso, a hybrid RDBMS/graph column store. IEEE Data Eng. Bull. 35(1), 3–8 (2012)
25.
Erling, O., Mikhailov, I.: RDF support in the Virtuoso RDBMS. In: Auer, S., Bizer, C., Müller, C., Zhdanova, A. (eds.) Proceedings 1st Conference on Social Semantic Web. Lecture Notes in Informatics, vol. P-113, pp. 59–68. GI (2007)
26.
Fent, P., Neumann, T.: A practical approach to groupjoin and nested aggregates. Proc. VLDB Endowment 14(11), 2383–2396 (2021)CrossRef
27.
Figuera, M., Rohde, P., Vidal, M.E.: Trav-SHACL: efficiently validating networks of SHACL constraints. In: Leskovec, J., et al. (eds.) Proceedings WWW 2021, pp. 3337–3348. ACM (2021)
28.
Ganski, R., Wong, H.: Optimization of nested SQL queries revisited. SIGMOD Record 16(3), 23–33 (1987)CrossRef
29.
Gayo, J., Prud’hommeaux, E., Boneva, I., Kontokostas, D.: Validating RDF data. Synthesis Lectures on the Semantic Web: Theory and Technology 16 (2018)
30.
Ghidini, C., Hartig, O., Maleshkova, M., Svátek, V., et al. (eds.): Proceedings 18th International Semantic Web Conference. LNCS, vol. 11778. Springer (2019)
31.
Gray, J., et al.: Data cube: A relational aggregation operator generalizing group-by, cross-tab, and sub totals. Data Mining Knowl. Discovery 1(1), 29–53 (1007)
32.
Harris, S., Seaborne, A.: SPARQL 1.1 query language. W3C Recommendation, March 2013
33.
Hogan, A., Riveros, C., Rojas, C., Soto, A.: A worst-case optimal join algorithm for SPARQL. In: Ghidini et al. [30], pp. 258–275
34.
Ibragimov, D., Hose, K., Pedersen, T.B., Zimányi, E.: Processing aggregate queries in a federation of SPARQL endpoints. In: Gandon, F., Sabou, M., Sack, H., d’Amato, C., Cudré-Mauroux, P., Zimmermann, A. (eds.) ESWC 2015. LNCS, vol. 9088, pp. 269–285. Springer, Cham (2015). https://​doi.​org/​10.​1007/​978-3-319-18818-8_​17CrossRef
35.
Kemper, A., Neumann, T.: HyPer: a hybrid OLTP &OLAP main memory database system based on virtual memory snapshots. In: Proceedings 27th International Conference on Data Engineering, pp. 195–206. IEEE Computer Society (2011)
36.
Kersten, T., Leis, V., et al.: Everything you always wanted to know about compiled and vectorized queries but were afraid to ask. Proc. VLDB Endowment 11(13), 2209–2222 (2018)CrossRef
37.
Knublauch, H., Kontokostas, D.: Shapes constraint language (SHACL). W3C Recommendation, July 2017
38.
Kohn, A., Leis, V., Neumann, T.: Tidy tuples and flying start: fast compilation and fast execution of relational queries in Umbra. VLDB J. 30(5), 883–905 (2021)CrossRef
39.
40.
Leinberger, M., Seifer, P., Rienstra, T., Lämmel, R., Staab, S.: Deciding SHACL shape containment through description logics reasoning. In: Pan, J.Z., Tamma, V., d’Amato, C., Janowicz, K., Fu, B., Polleres, A., Seneviratne, O., Kagal, L. (eds.) ISWC 2020. LNCS, vol. 12506, pp. 366–383. Springer, Cham (2020). https://​doi.​org/​10.​1007/​978-3-030-62419-4_​21CrossRef
41.
Lieber, S., Dimou, A., Verborgh, R.: Statistics about data shape use in RDF. In: Taylor, K., et al. (eds.) Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice, vol. 2721. CEUR Workshop Proceedings (2020)
42.
Moerkotte, G., Neumann, T.: Accelerating queries with group-by and join by groupjoin. Proc. VLDB Endowment 4, 843–851 (2011)CrossRef
43.
Morfonios, K., et al.: ROLAP implementations of the data cube. ACM Comput. Surv. 39(4), 12:1–12:53 (2007)
44.
Neumann, T., Weikum, G.: The RDF-3X engoine for scalable management of RDF data. VLDB J. 19(1), 91–113 (2010)CrossRef
45.
Pareti, P., Konstantinidis, G.: A review of SHACL: From data validation to schema reasoning for RDF graphs. In: Šimkus, M., Varzinczak, I. (eds.) Reasoning Web: Declarative Artificial Intelligence. Lecture Notes in Computer Science, vol. 13100, pp. 115–144. Springer (2022)
46.
Pareti, P., Konstantinidis, G., Mogavero, F.: Satisfiability and containment of recursive SHACL. J. Web Semantics 74, 100721 (2022)CrossRef
47.
Raasveld, M., Mühleisen, H.: DuckDB: an embeddable analytical database. In: Proceedings 2019 International Conference on Management of Data, pp. 1981–1984. ACM (2019)
48.
Rabbani, K., Lissandrini, M., Hose, K.: Optimizing SPARQL queries using shape statistics. In: Velegrakis, Y., Zeinalipour-Yazti, D., et al. (eds.) Proceedings 24th International Conference on Extending Database Technology, pp. 505–510. OpenProceedings.org (2021)
49.
RDF 1.1 primer. W3C Working Group Note, June 2014
50.
Robinson, J., Voronkov, A. (eds.): Handbook of Automated Reasoning. Elsevier and MIT Press (2001)
51.
Rohde, P., et al.: SHACL-ACL: Access control with SHACL. In: Pesquita, C., Skaf-Molli, H., et al. (eds.) The Semantic Web: ESWC Satellite Events. LNCS, vol. 13998, pp. 22–26 (2023)
52.
Schaffenrath, R., Proksch, D., Kopp, M., Albasini, I., Panasiuk, O., Fensel, A.: Benchmark for performance evaluation of SHACL implementations in graph databases. In: Gutiérrez-Basulto, V., Kliegr, T., Soylu, A., Giese, M., Roman, D. (eds.) RuleML+RR 2020. LNCS, vol. 12173, pp. 82–96. Springer, Cham (2020). https://​doi.​org/​10.​1007/​978-3-030-57977-7_​6CrossRef
53.
SHACL test suite and implementation report. W3C Document, January 2024
54.
55.
56.
Stonebraker, M., et al.: C-Store: a column-oriented DBMS. In: Böhm, K., Jensen, C., et al. (eds.) Proceedings 31th International Conference on Very Large Data Bases, pp. 553–564. ACM (2005)
57.
TPC benchmark H decision support standard specification revision 3.0.1. Transaction Processing Performance Council (1993–2022)
58.
59.
Werbrouck, J., et al.: Pattern-based access control in a decentralised collaboration environment. In: Poveda-Villalón, M., Roxin, A., et al. (eds.) Proceedings 8th Linked Data in Architecture and Construction Workshop. CEUR Workshop Proceedings, vol. 2636, pp. 118–131 (2020)
Metadaten
Titel
Compiling SHACL Into SQL
verfasst von
Maxime Jakubowski
Jan Van den Bussche
Copyright-Jahr
2025
Buch
The Semantic Web – ISWC 2024

Print ISBN: 978-3-031-77849-0

Electronic ISBN: 978-3-031-77850-6

Copyright-Jahr: 2025

DOI
https://doi.org/10.1007/978-3-031-77850-6_4

Premium Partner

    Bildnachweise