{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T00:33:43Z","timestamp":1776386023152,"version":"3.51.2"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030006709","type":"print"},{"value":"9783030006716","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-00671-6_19","type":"book-chapter","created":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T22:33:02Z","timestamp":1537223582000},"page":"318-336","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":40,"title":["Semantics and Validation of Recursive SHACL"],"prefix":"10.1007","author":[{"given":"Julien","family":"Corman","sequence":"first","affiliation":[]},{"given":"Juan L.","family":"Reutter","sequence":"additional","affiliation":[]},{"given":"Ognjen","family":"Savkovi\u0107","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,18]]},"reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-23441-5_2","volume-title":"Semantics in Data and Knowledge Bases","author":"W Akhtar","year":"2011","unstructured":"Akhtar, W., Cort\u00e9s-Calabuig, \u00c1., Paredaens, J.: Constraints in RDF. In: Schewe, K.-D., Thalheim, B. (eds.) SDKB 2010. LNCS, vol. 6834, pp. 23\u201339. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23441-5_2"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-642-03754-2_4","volume-title":"Reasoning Web. Semantic Technologies for Information Systems","author":"M Arenas","year":"2009","unstructured":"Arenas, M., Gutierrez, C., P\u00e9rez, J.: Foundations of RDF databases. In: Tessaris, S., et al. (eds.) Reasoning Web 2009. LNCS, vol. 5689, pp. 158\u2013204. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03754-2_4"},{"key":"19_CR3","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"F Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"issue":"5","key":"19_CR4","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T Berners-Lee","year":"2001","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Sci. Am. 284(5), 34\u201343 (2001)","journal-title":"Sci. Am."},{"key":"19_CR5","unstructured":"Boneva, I.: Comparative expressiveness of ShEx and SHACL (early working draft) (2016)"},{"key":"19_CR6","unstructured":"Boneva, I., Labra-Gayo, J.E., Hym, S., Prud\u2019hommeau, E.G., Solbrig, H.R., Staworko, S.: Validating RDF with shape expressions. CoRR, abs\/1404.1270 (2014)"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-319-68288-4_7","volume-title":"The Semantic Web \u2013 ISWC 2017","author":"I Boneva","year":"2017","unstructured":"Boneva, I., Labra Gayo, J.E., Prud\u2019hommeaux, E.G.: Semantics and validation of shapes schemas for RDF. In: d\u2019Amato, C., et al. (eds.) ISWC 2017. LNCS, vol. 10587, pp. 104\u2013120. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68288-4_7"},{"key":"19_CR8","unstructured":"Corman, J., Reutter, J.L., Savkovic, O.: Semantics and validation of recursive SHACL (extended version). Technical report KRDB18-1. KRDB Research Center, Free Univ. Bozen-Bolzano (2018)"},{"key":"19_CR9","unstructured":"Corman, J., Reutter, J.L., Savkovic, O.: Validating graph data against recursive constraints: a semantics for SHACL. AMW (2018, to appear)"},{"issue":"3","key":"19_CR10","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374\u2013425 (2001)","journal-title":"ACM Comput. Surv."},{"issue":"2","key":"19_CR11","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/505372.505373","volume":"3","author":"FM Donini","year":"2002","unstructured":"Donini, F.M., Nardi, D., Rosati, R.: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Log. (TOCL) 3(2), 177\u2013225 (2002)","journal-title":"ACM Trans. Comput. Log. (TOCL)"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Ekaputra, F.J., Lin, X.: SHACL4P: SHACL constraints validation within Prot\u00e9g\u00e9 ontology editor. In: ICoDSE (2016)","DOI":"10.1109\/ICODSE.2016.7936162"},{"key":"19_CR13","unstructured":"Fischer, P.M., Lausen, G., Sch\u00e4tzle, A., Schmidt, M.: RDF constraint checking. In: Proceedings of the Workshops of the EDBT\/ICDT 2015 Joint Conference, EDBT\/ICDT, Brussels, Belgium, 27 March 2015, pp. 205\u2013212 (2015)"},{"key":"19_CR14","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming, pp. 1070\u20131080. MIT Press (1988)"},{"key":"19_CR15","unstructured":"Harris, S., Seaborne, A., Prud\u2019hommeaux, E.: SPARQL 1.1 query language. W3C Recomm. 21(10) (2013)"},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-25007-6_1","volume-title":"The Semantic Web - ISWC 2015","author":"EV Kostylev","year":"2015","unstructured":"Kostylev, E.V., Reutter, J.L., Romero, M., Vrgo\u010d, D.: SPARQL with property paths. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9366, pp. 3\u201318. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25007-6_1"},{"issue":"2","key":"19_CR17","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1016\/j.websem.2009.02.001","volume":"7","author":"B Motik","year":"2009","unstructured":"Motik, B., Horrocks, I., Sattler, U.: Bridging the gap between OWL and relational databases. Web Semant.: Sci. Serv. Agents World Wide Web 7(2), 74\u201389 (2009)","journal-title":"Web Semant.: Sci. Serv. Agents World Wide Web"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Patel-Schneider, P.F.: Using description logics for RDF constraint checking and closed-world recognition. In: AAAI (2015)","DOI":"10.1609\/aaai.v29i1.9177"},{"key":"19_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/978-3-642-35176-1_28","volume-title":"The Semantic Web \u2013 ISWC 2012","author":"PF Patel-Schneider","year":"2012","unstructured":"Patel-Schneider, P.F., Franconi, E.: Ontology constraints in incomplete and complete data. In: Cudr\u00e9-Mauroux, P., et al. (eds.) ISWC 2012. LNCS, vol. 7649, pp. 444\u2013459. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-35176-1_28"},{"issue":"1\u20132","key":"19_CR20","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1080\/11663081.2013.798992","volume":"23","author":"A Polleres","year":"2013","unstructured":"Polleres, A., Wallner, J.P.: On the relation between SPARQL1.1 and answer set programming. J. Appl. Non-Class. Log. 23(1\u20132), 159\u2013212 (2013)","journal-title":"J. Appl. Non-Class. Log."},{"key":"19_CR21","unstructured":"Staworko, S., Boneva, I., Labra-Gayo, J.E., Hym, S., Prud\u2019hommeaux, E.G., Solbrig, H.: Complexity and expressiveness of ShEx for RDF. In: ICDT (2015)"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Tao, J., Sirin, E., Bao, J., McGuinness, D.L.: Integrity constraints in OWL. In: AAAI (2010)","DOI":"10.1609\/aaai.v24i1.7525"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2018"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00671-6_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T17:47:29Z","timestamp":1709833649000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-00671-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030006709","9783030006716"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00671-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"18 September 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISWC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Semantic Web Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Monterey, CA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"semweb2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/iswc2018.semanticweb.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}