{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T03:58:34Z","timestamp":1768708714099,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,4,19]],"date-time":"2021-04-19T00:00:00Z","timestamp":1618790400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,4,19]]},"DOI":"10.1145\/3442381.3449877","type":"proceedings-article","created":{"date-parts":[[2021,6,3]],"date-time":"2021-06-03T19:01:20Z","timestamp":1622746880000},"page":"3337-3348","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["Trav-SHACL: Efficiently Validating Networks of SHACL Constraints"],"prefix":"10.1145","author":[{"given":"M\u00f3nica","family":"Figuera","sequence":"first","affiliation":[{"name":"L3S Research Center and University of Bonn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp D.","family":"Rohde","sequence":"additional","affiliation":[{"name":"TIB Leibniz Information Centre for Science and Technology and L3S Research Center, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria-Esther","family":"Vidal","sequence":"additional","affiliation":[{"name":"TIB Leibniz Information Centre for Science and Technology and L3S Research Center, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,6,3]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Diefficiency Metrics: Measuring the Continuous Efficiency of Query Processing Approaches. In International Semantic Web Conference ISWC. Springer, 3\u201319","author":"Acosta Maribel","year":"2017","unstructured":"Maribel Acosta , Maria-Esther Vidal , and York Sure-Vetter . 2017 . Diefficiency Metrics: Measuring the Continuous Efficiency of Query Processing Approaches. In International Semantic Web Conference ISWC. Springer, 3\u201319 . Maribel Acosta, Maria-Esther Vidal, and York Sure-Vetter. 2017. Diefficiency Metrics: Measuring the Continuous Efficiency of Query Processing Approaches. In International Semantic Web Conference ISWC. Springer, 3\u201319."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Medina Andre\u015fel Julien Corman Magdalena Ortiz Juan\u00a0L. Reutter Ognjen Savkovi\u0107 and Mantas \u0160imkus. 2020. Stable Model Semantics for Recursive SHACL. In ACM\u2013The Web Conference. 1570\u20131580.  Medina Andre\u015fel Julien Corman Magdalena Ortiz Juan\u00a0L. Reutter Ognjen Savkovi\u0107 and Mantas \u0160imkus. 2020. Stable Model Semantics for Recursive SHACL. In ACM\u2013The Web Conference. 1570\u20131580.","DOI":"10.1145\/3366423.3380229"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3227609.3227689"},{"key":"e_1_3_2_1_4_1","volume-title":"The International Data Spaces Information Model - An Ontology for Sovereign Exchange of Digital Content. In International Semantic Web Conference ISWC.","author":"Bader R.","year":"2020","unstructured":"Sebastian\u00a0 R. Bader , Jaroslav Pullmann , Christian Mader , Sebastian Tramp , Christoph Quix , Andreas\u00a0 W. M\u00fcller , Haydar Aky\u00fcrek , Matthias B\u00f6ckmann , Benedikt\u00a0 T. Imbusch , Johannes Lipp , Sandra Geisler , and Christoph Lange . 2020 . The International Data Spaces Information Model - An Ontology for Sovereign Exchange of Digital Content. In International Semantic Web Conference ISWC. Sebastian\u00a0R. Bader, Jaroslav Pullmann, Christian Mader, Sebastian Tramp, Christoph Quix, Andreas\u00a0W. M\u00fcller, Haydar Aky\u00fcrek, Matthias B\u00f6ckmann, Benedikt\u00a0T. Imbusch, Johannes Lipp, Sandra Geisler, and Christoph Lange. 2020. The International Data Spaces Information Model - An Ontology for Sovereign Exchange of Digital Content. In International Semantic Web Conference ISWC."},{"key":"e_1_3_2_1_5_1","volume-title":"Semantics and Validation of Shapes Schemas for RDF. In International Semantic Web Conference ISWC. Springer, 104\u2013120","author":"Boneva Iovka","year":"2017","unstructured":"Iovka Boneva , Jose\u00a0 E. Labra\u00a0Gayo , and Eric\u00a0 G. Prud\u2019hommeaux . 2017 . Semantics and Validation of Shapes Schemas for RDF. In International Semantic Web Conference ISWC. Springer, 104\u2013120 . Iovka Boneva, Jose\u00a0E. Labra\u00a0Gayo, and Eric\u00a0G. Prud\u2019hommeaux. 2017. Semantics and Validation of Shapes Schemas for RDF. In International Semantic Web Conference ISWC. Springer, 104\u2013120."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"e_1_3_2_1_7_1","volume-title":"Astrea: Automatic Generation of SHACL Shapes from Ontologies. In The Semantic Web \u2013 ESWC","author":"Cimmino Andrea","year":"2020","unstructured":"Andrea Cimmino , Alba Fern\u00e1ndez-Izquierdo , and Ra\u00fal Garc\u00eda-Castro . 2020 . Astrea: Automatic Generation of SHACL Shapes from Ontologies. In The Semantic Web \u2013 ESWC 2020. Springer , 497\u2013513. Andrea Cimmino, Alba Fern\u00e1ndez-Izquierdo, and Ra\u00fal Garc\u00eda-Castro. 2020. Astrea: Automatic Generation of SHACL Shapes from Ontologies. In The Semantic Web \u2013 ESWC 2020. Springer, 497\u2013513."},{"key":"e_1_3_2_1_8_1","volume-title":"International Semantic Web Conference ISWC Satellite Events.","author":"Corman Julien","year":"2019","unstructured":"Julien Corman , Fernando Florenzano , Juan\u00a0 L. Reutter , and Ognjen Savkovi\u0107 . 2019 . SHACL2SPARQL: Validating a SPARQL Endpoint against Recursive SHACL Constraints . In International Semantic Web Conference ISWC Satellite Events. Julien Corman, Fernando Florenzano, Juan\u00a0L. Reutter, and Ognjen Savkovi\u0107. 2019. SHACL2SPARQL: Validating a SPARQL Endpoint against Recursive SHACL Constraints. In International Semantic Web Conference ISWC Satellite Events."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30793-6_9"},{"key":"e_1_3_2_1_10_1","volume-title":"Semantics and Validation of Recursive SHACL. In International Semantic Web Conference ISWC. Springer, 318\u2013336","author":"Corman Julien","year":"2018","unstructured":"Julien Corman , Juan\u00a0 L. Reutter , and Ognjen Savkovi\u0107 . 2018 . Semantics and Validation of Recursive SHACL. In International Semantic Web Conference ISWC. Springer, 318\u2013336 . Julien Corman, Juan\u00a0L. Reutter, and Ognjen Savkovi\u0107. 2018. Semantics and Validation of Recursive SHACL. In International Semantic Web Conference ISWC. Springer, 318\u2013336."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Nicholson DN and Greene CS. 2020. Constructing knowledge graphs and their biomedical applications.Comput Struct Biotechnol J.(2020).  Nicholson DN and Greene CS. 2020. Constructing knowledge graphs and their biomedical applications.Comput Struct Biotechnol J.(2020).","DOI":"10.1016\/j.csbj.2020.05.017"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.06.005"},{"key":"e_1_3_2_1_13_1","unstructured":"Aidan Hogan Eva Blomqvist Michael Cochez Claudia d\u2019Amato Gerard de Melo Claudio Gutierrez Jos\u00e9 Emilio\u00a0Labra Gayo Sabrina Kirrane Sebastian Neumaier Axel Polleres Roberto Navigli Axel-Cyrille\u00a0Ngonga Ngomo Sabbir\u00a0M. Rashid Anisa Rula Lukas Schmelzeisen Juan\u00a0F. Sequeda Steffen Staab and Antoine Zimmermann. 2020. Knowledge Graphs. CoRR abs\/2003.02320(2020).  Aidan Hogan Eva Blomqvist Michael Cochez Claudia d\u2019Amato Gerard de Melo Claudio Gutierrez Jos\u00e9 Emilio\u00a0Labra Gayo Sabrina Kirrane Sebastian Neumaier Axel Polleres Roberto Navigli Axel-Cyrille\u00a0Ngonga Ngomo Sabbir\u00a0M. Rashid Anisa Rula Lukas Schmelzeisen Juan\u00a0F. Sequeda Steffen Staab and Antoine Zimmermann. 2020. Knowledge Graphs. CoRR abs\/2003.02320(2020)."},{"key":"e_1_3_2_1_14_1","unstructured":"Holger Knublauch James\u00a0A. Hendler and Kingsley Idehen. 2011. SPIN - Overview and Motivation. W3C Submission. https:\/\/www.w3.org\/Submission\/2011\/SUBM-spin-overview-20110222\/  Holger Knublauch James\u00a0A. Hendler and Kingsley Idehen. 2011. SPIN - Overview and Motivation. W3C Submission. https:\/\/www.w3.org\/Submission\/2011\/SUBM-spin-overview-20110222\/"},{"key":"e_1_3_2_1_15_1","unstructured":"Holger Knublauch and Dimitris Kontokostas. 2017. Shapes Constraint Language (SHACL). W3C Recommendation. https:\/\/www.w3.org\/TR\/2017\/REC-shacl-20170720\/  Holger Knublauch and Dimitris Kontokostas. 2017. Shapes Constraint Language (SHACL). W3C Recommendation. https:\/\/www.w3.org\/TR\/2017\/REC-shacl-20170720\/"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-62419-4_21"},{"key":"e_1_3_2_1_17_1","volume-title":"OWLED 2007 - OWL: Experiences and Directions","author":"Motik Boris","year":"2007","unstructured":"Boris Motik , Ian Horrocks , and Ulrike Sattler . 2007 . Adding Integrity Constraints to OWL . In OWLED 2007 - OWL: Experiences and Directions , Vol.\u00a0258. CEUR Workshop Proceedings (CEUR-WS.org), Aachen. Boris Motik, Ian Horrocks, and Ulrike Sattler. 2007. Adding Integrity Constraints to OWL. In OWLED 2007 - OWL: Experiences and Directions, Vol.\u00a0258. CEUR Workshop Proceedings (CEUR-WS.org), Aachen."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2009.02.001"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3331166"},{"key":"e_1_3_2_1_20_1","volume-title":"SHACL Satisfiability and Containment. In International Semantic Web Conference ISWC. Springer.","author":"Pareti Paolo","year":"2020","unstructured":"Paolo Pareti , George Konstantinidis , Fabio Mogavero , and Timothy\u00a0 J. Norman . 2020 . SHACL Satisfiability and Containment. In International Semantic Web Conference ISWC. Springer. Paolo Pareti, George Konstantinidis, Fabio Mogavero, and Timothy\u00a0J. Norman. 2020. SHACL Satisfiability and Containment. In International Semantic Web Conference ISWC. Springer."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1567274.1567278"},{"key":"e_1_3_2_1_22_1","volume-title":"Towards Improving the Quality of Knowledge Graphs with Data-driven Ontology Patterns and SHACL. In International Semantic Web Conference ISWC Satellite Events. 103\u2013117","author":"Spahiu Blerina","year":"2018","unstructured":"Blerina Spahiu , Andrea Maurino , and Matteo Palmonari . 2018 . Towards Improving the Quality of Knowledge Graphs with Data-driven Ontology Patterns and SHACL. In International Semantic Web Conference ISWC Satellite Events. 103\u2013117 . Blerina Spahiu, Andrea Maurino, and Matteo Palmonari. 2018. Towards Improving the Quality of Knowledge Graphs with Data-driven Ontology Patterns and SHACL. In International Semantic Web Conference ISWC Satellite Events. 103\u2013117."},{"key":"e_1_3_2_1_23_1","volume-title":"ABSTAT: Ontology-Driven Linked Data Summaries with Pattern Minimalization. In The Semantic Web\u2013 ESWC 2016 Satellite Events","author":"Spahiu Blerina","year":"2016","unstructured":"Blerina Spahiu , Riccardo Porrini , Matteo Palmonari , Anisa Rula , and Andrea Maurino . 2016 . ABSTAT: Ontology-Driven Linked Data Summaries with Pattern Minimalization. In The Semantic Web\u2013 ESWC 2016 Satellite Events . Springer . Blerina Spahiu, Riccardo Porrini, Matteo Palmonari, Anisa Rula, and Andrea Maurino. 2016. ABSTAT: Ontology-Driven Linked Data Summaries with Pattern Minimalization. In The Semantic Web\u2013 ESWC 2016 Satellite Events. Springer."},{"key":"e_1_3_2_1_24_1","volume-title":"Integrity Constraints in OWL. In AAAI Conference on Artificial Intelligence (AAAI).","author":"Tao Jiao","year":"2010","unstructured":"Jiao Tao , Evren Sirin , Jie Bao , and Deborah\u00a0 L. McGuinness . 2010 . Integrity Constraints in OWL. In AAAI Conference on Artificial Intelligence (AAAI). Jiao Tao, Evren Sirin, Jie Bao, and Deborah\u00a0L. McGuinness. 2010. Integrity Constraints in OWL. In AAAI Conference on Artificial Intelligence (AAAI)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-21348-0_39"}],"event":{"name":"WWW '21: The Web Conference 2021","location":"Ljubljana Slovenia","acronym":"WWW '21","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web"]},"container-title":["Proceedings of the Web Conference 2021"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3442381.3449877","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3442381.3449877","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:31Z","timestamp":1750195471000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3442381.3449877"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,19]]},"references-count":25,"alternative-id":["10.1145\/3442381.3449877","10.1145\/3442381"],"URL":"https:\/\/doi.org\/10.1145\/3442381.3449877","relation":{},"subject":[],"published":{"date-parts":[[2021,4,19]]},"assertion":[{"value":"2021-06-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}