{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:10:10Z","timestamp":1750201810965,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T00:00:00Z","timestamp":1587340800000},"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":[[2020,4,20]]},"DOI":"10.1145\/3366423.3380229","type":"proceedings-article","created":{"date-parts":[[2020,5,4]],"date-time":"2020-05-04T08:11:44Z","timestamp":1588579904000},"page":"1570-1580","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Stable Model Semantics for Recursive SHACL"],"prefix":"10.1145","author":[{"given":"Medina","family":"Andresel","sequence":"first","affiliation":[{"name":"Vienna University of Technology"}]},{"given":"Julien","family":"Corman","sequence":"additional","affiliation":[{"name":"Free University of Bozen-Bolzano"}]},{"given":"Magdalena","family":"Ortiz","sequence":"additional","affiliation":[{"name":"Vienna University of Technology"}]},{"given":"Juan L.","family":"Reutter","sequence":"additional","affiliation":[{"name":"Pontificia Universidad Cat\u00f3lica"}]},{"given":"Ognjen","family":"Savkovic","sequence":"additional","affiliation":[{"name":"Free University of Bolzano"}]},{"given":"Mantas","family":"Simkus","sequence":"additional","affiliation":[{"name":"Vienna University of Technology"}]}],"member":"320","published-online":{"date-parts":[[2020,4,20]]},"reference":[{"unstructured":"Serge Abiteboul Peter Buneman and Dan Suciu. 1999. Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann.  Serge Abiteboul Peter Buneman and Dan Suciu. 1999. Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann.","key":"e_1_3_2_1_2_1"},{"volume-title":"Foundations of databases. Vol.\u00a08","author":"Abiteboul Serge","unstructured":"Serge Abiteboul , Richard Hull , and Victor Vianu . 1995. Foundations of databases. Vol.\u00a08 . Addison-Wesley Reading . Serge Abiteboul, Richard Hull, and Victor Vianu. 1995. Foundations of databases. Vol.\u00a08. Addison-Wesley Reading.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","volume-title":"Semi-equilibrium models for paracoherent answer set programs. Artificial Intelligence 234","author":"Amendola Giovanni","year":"2016","unstructured":"Giovanni Amendola , Thomas Eiter , Michael Fink , Nicola Leone , and Jo\u00e3o Moura . 2016. Semi-equilibrium models for paracoherent answer set programs. Artificial Intelligence 234 ( 2016 ). https:\/\/doi.org\/10.1016\/j.artint.2016.01.011 10.1016\/j.artint.2016.01.011 Giovanni Amendola, Thomas Eiter, Michael Fink, Nicola Leone, and Jo\u00e3o Moura. 2016. Semi-equilibrium models for paracoherent answer set programs. Artificial Intelligence 234 (2016). https:\/\/doi.org\/10.1016\/j.artint.2016.01.011"},{"volume-title":"The description logic handbook: theory, implementation and applications","author":"Baader Franz","unstructured":"Franz Baader , Diego Calvanese , Deborah McGuinness , Daniele Nardi , and Peter Patel-Schneider . 2003. The description logic handbook: theory, implementation and applications . Cambridge university press . Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider. 2003. The description logic handbook: theory, implementation and applications. Cambridge university press.","key":"e_1_3_2_1_5_1"},{"volume-title":"Reasoning and Declarative Problem Solving","author":"Baral Chitta","unstructured":"Chitta Baral . 2003. Knowledge Representation , Reasoning and Declarative Problem Solving . Cambridge University Press . https:\/\/doi.org\/10.1017\/CBO9780511543357 10.1017\/CBO9780511543357 Chitta Baral. 2003. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press. https:\/\/doi.org\/10.1017\/CBO9780511543357","key":"e_1_3_2_1_6_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1007\/BF00881799"},{"doi-asserted-by":"crossref","unstructured":"Iovka Boneva Jose\u00a0Emilio Labra\u00a0Gayo and Eric\u00a0G Prud\u2019hommeaux. 2017. Semantics and Validation of Shapes Schemas for RDF. In ISWC.  Iovka Boneva Jose\u00a0Emilio Labra\u00a0Gayo and Eric\u00a0G Prud\u2019hommeaux. 2017. Semantics and Validation of Shapes Schemas for RDF. In ISWC.","key":"e_1_3_2_1_8_1","DOI":"10.1007\/978-3-319-68288-4_7"},{"doi-asserted-by":"crossref","unstructured":"Julien Corman Juan\u00a0L. Reutter and Ognjen Savkovic. 2018. Semantics and Validation of Recursive SHACL. In ISWC. https:\/\/doi.org\/10.1007\/978-3-030-00671-6_19 10.1007\/978-3-030-00671-6_19","key":"#cr-split#-e_1_3_2_1_9_1.1","DOI":"10.1007\/978-3-030-00671-6_19"},{"doi-asserted-by":"crossref","unstructured":"Julien Corman Juan\u00a0L. Reutter and Ognjen Savkovic. 2018. Semantics and Validation of Recursive SHACL. In ISWC. https:\/\/doi.org\/10.1007\/978-3-030-00671-6_19","key":"#cr-split#-e_1_3_2_1_9_1.2","DOI":"10.1007\/978-3-030-00671-6_19"},{"key":"e_1_3_2_1_10_1","volume-title":"Complexity and Expressive Power of Logic Programming. ACM Comput. Surv. 33, 3","author":"Dantsin Evgeny","year":"2001","unstructured":"Evgeny Dantsin , Thomas Eiter , Georg Gottlob , and Andrei Voronkov . 2001. Complexity and Expressive Power of Logic Programming. ACM Comput. Surv. 33, 3 ( 2001 ). https:\/\/doi.org\/10.1145\/502807.502810 10.1145\/502807.502810 Evgeny Dantsin, Thomas Eiter, Georg Gottlob, and Andrei Voronkov. 2001. Complexity and Expressive Power of Logic Programming. ACM Comput. Surv. 33, 3 (2001). https:\/\/doi.org\/10.1145\/502807.502810"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/505372.505373"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1023\/A:1018947420290"},{"volume-title":"SHACL4P: SHACL constraints validation within Prot\u00e9g\u00e9 ontology editor","author":"Ekaputra J","unstructured":"Fajar\u00a0 J Ekaputra and Xiashuo Lin . 2016. SHACL4P: SHACL constraints validation within Prot\u00e9g\u00e9 ontology editor . In ICoDSE. Fajar\u00a0J Ekaputra and Xiashuo Lin. 2016. SHACL4P: SHACL constraints validation within Prot\u00e9g\u00e9 ontology editor. In ICoDSE.","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","volume-title":"Keys for Graphs. PVLDB 8, 12","author":"Fan Wenfei","year":"2015","unstructured":"Wenfei Fan , Zhe Fan , Chao Tian , and Xin\u00a0Luna Dong . 2015. Keys for Graphs. PVLDB 8, 12 ( 2015 ). Wenfei Fan, Zhe Fan, Chao Tian, and Xin\u00a0Luna Dong. 2015. Keys for Graphs. PVLDB 8, 12 (2015)."},{"unstructured":"Wenfei Fan Yinghui Wu and Jingbo Xu. 2016. Functional Dependencies for Graphs. In SIGMOD.  Wenfei Fan Yinghui Wu and Jingbo Xu. 2016. Functional Dependencies for Graphs. In SIGMOD.","key":"e_1_3_2_1_15_1"},{"unstructured":"Michael Gelfond and Vladimir Lifschitz. 1988. The stable model semantics for logic programming.. In ICLP\/SLP Vol.\u00a088.  Michael Gelfond and Vladimir Lifschitz. 1988. The stable model semantics for logic programming.. In ICLP\/SLP Vol.\u00a088.","key":"e_1_3_2_1_16_1"},{"doi-asserted-by":"crossref","unstructured":"Boris Motik Ian Horrocks and Ulrike Sattler. 2009. Bridging the gap between OWL and relational databases. Web Semantics: Science Services and Agents on the World Wide Web 7 2(2009).  Boris Motik Ian Horrocks and Ulrike Sattler. 2009. Bridging the gap between OWL and relational databases. Web Semantics: Science Services and Agents on the World Wide Web 7 2(2009).","key":"e_1_3_2_1_17_1","DOI":"10.1016\/j.websem.2009.02.001"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1093\/logcom\/exn015"},{"doi-asserted-by":"crossref","unstructured":"Peter\u00a0F Patel-Schneider. 2015. Using Description Logics for RDF Constraint Checking and Closed-World Recognition.. In AAAI.  Peter\u00a0F Patel-Schneider. 2015. Using Description Logics for RDF Constraint Checking and Closed-World Recognition.. In AAAI.","key":"e_1_3_2_1_19_1","DOI":"10.1609\/aaai.v29i1.9177"},{"doi-asserted-by":"crossref","unstructured":"Peter\u00a0F Patel-Schneider and Enrico Franconi. 2012. Ontology constraints in incomplete and complete data. In ISWC.  Peter\u00a0F Patel-Schneider and Enrico Franconi. 2012. Ontology constraints in incomplete and complete data. In ISWC.","key":"e_1_3_2_1_20_1","DOI":"10.1007\/978-3-642-35176-1_28"},{"key":"e_1_3_2_1_21_1","volume-title":"Well-founded Semantics Coincides with Three-valued Stable Semantics. Fundamenta Informaticae 13, 4","author":"Przymusinski Teodor","year":"1990","unstructured":"Teodor Przymusinski . 1990. Well-founded Semantics Coincides with Three-valued Stable Semantics. Fundamenta Informaticae 13, 4 ( 1990 ). http:\/\/dl.acm.org\/citation.cfm?id=107720.107722 Teodor Przymusinski. 1990. Well-founded Semantics Coincides with Three-valued Stable Semantics. Fundamenta Informaticae 13, 4 (1990). http:\/\/dl.acm.org\/citation.cfm?id=107720.107722"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1007\/BF03037171"},{"unstructured":"Slawek Staworko Iovka Boneva Jose\u00a0Emilio Labra\u00a0Gayo Samuel Hym Eric\u00a0G Prud\u2019hommeaux and Harold Solbrig. 2015. Complexity and Expressiveness of ShEx for RDF. In ICDT.  Slawek Staworko Iovka Boneva Jose\u00a0Emilio Labra\u00a0Gayo Samuel Hym Eric\u00a0G Prud\u2019hommeaux and Harold Solbrig. 2015. Complexity and Expressiveness of ShEx for RDF. In ICDT.","key":"e_1_3_2_1_23_1"},{"doi-asserted-by":"crossref","unstructured":"Jiao Tao Evren Sirin Jie Bao and Deborah\u00a0L McGuinness. 2010. Integrity Constraints in OWL.. In AAAI.  Jiao Tao Evren Sirin Jie Bao and Deborah\u00a0L McGuinness. 2010. Integrity Constraints in OWL.. In AAAI.","key":"e_1_3_2_1_24_1","DOI":"10.1609\/aaai.v24i1.7525"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1145\/116825.116838"}],"event":{"sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web"],"acronym":"WWW '20","name":"WWW '20: The Web Conference 2020","location":"Taipei Taiwan"},"container-title":["Proceedings of The Web Conference 2020"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3366423.3380229","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3366423.3380229","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:01Z","timestamp":1750199581000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3366423.3380229"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,20]]},"references-count":25,"alternative-id":["10.1145\/3366423.3380229","10.1145\/3366423"],"URL":"https:\/\/doi.org\/10.1145\/3366423.3380229","relation":{},"subject":[],"published":{"date-parts":[[2020,4,20]]},"assertion":[{"value":"2020-04-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}