{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T07:09:10Z","timestamp":1761808150966,"version":"3.41.0"},"reference-count":62,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2017,10,31]],"date-time":"2017-10-31T00:00:00Z","timestamp":1509408000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"FWF","award":["T515, P25518, P30360 and W1255"],"award-info":[{"award-number":["T515, P25518, P30360 and W1255"]}]},{"name":"Wolfgang Pauli Institute"},{"DOI":"10.13039\/501100001821","name":"WWTF","doi-asserted-by":"crossref","award":["ICT12-015"],"award-info":[{"award-number":["ICT12-015"]}],"id":[{"id":"10.13039\/501100001821","id-type":"DOI","asserted-by":"crossref"}]},{"name":"EU IP Project Optique","award":["FP7-318338"],"award-info":[{"award-number":["FP7-318338"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2017,10,31]]},"abstract":"<jats:p>\n            In this article, we consider the setting of graph-structured data that evolves as a result of operations carried out by users or applications. We study different reasoning problems, which range from deciding whether a given sequence of actions preserves the satisfaction of a given set of integrity constraints, for every possible initial data instance, to deciding the (non)existence of a sequence of actions that would take the data to an (un)desirable state, starting either from a specific data instance or from an incomplete description of it. For describing states of the data instances and expressing integrity constraints on them, we use description logics (DLs) closely related to the two-variable fragment of first-order logic with counting quantifiers. The updates are defined as\n            <jats:italic>actions<\/jats:italic>\n            in a simple yet flexible language, as finite sequences of conditional insertions and deletions, which allow one to use complex DL formulas to select the (pairs of) nodes for which (node or arc) labels are added or deleted. We formalize the preceding data management problems as a static verification problem and several planning problems and show that, due to the adequate choice of formalisms for describing actions and states of the data, most of these data management problems can be effectively reduced to the (un)satisfiability of suitable formulas in decidable logical formalisms. Leveraging this, we provide algorithms and tight complexity bounds for the formalized problems, both for expressive DLs and for a variant of the popular DL-Lite, advocated for data management in recent years.\n          <\/jats:p>","DOI":"10.1145\/3143803","type":"journal-article","created":{"date-parts":[[2017,11,6]],"date-time":"2017-11-06T13:30:18Z","timestamp":1509975018000},"page":"1-35","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Managing Change in Graph-Structured Data Using Description Logics"],"prefix":"10.1145","volume":"18","author":[{"given":"Shqiponja","family":"Ahmetaj","sequence":"first","affiliation":[{"name":"TU Wien, Wien, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5174-9693","authenticated-orcid":false,"given":"Diego","family":"Calvanese","sequence":"additional","affiliation":[{"name":"Free University of Bozen-Bolzano, Bolzano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Magdalena","family":"Ortiz","sequence":"additional","affiliation":[{"name":"TU Wien, Wien, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mantas","family":"\u0160imkus","sequence":"additional","affiliation":[{"name":"TU Wien, Wien, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,11,3]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/67544.66941"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1999.1627"},{"key":"e_1_2_1_3_1","volume-title":"Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI). 966--973","author":"Ahmetaj Shqiponja","year":"2014","unstructured":"Shqiponja Ahmetaj , Diego Calvanese , Magdalena Ortiz , and Mantas \u0160imkus . 2014 . Managing change in graph-structured data using description logics . In Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI). 966--973 . Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, and Mantas \u0160imkus. 2014. Managing change in graph-structured data using description logics. In Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI). 966--973."},{"key":"e_1_2_1_4_1","first-page":"39","article-title":"Foundations of data management (Dagstuhl perspectives workshop 16151)","volume":"6","author":"Arenas Marcelo","year":"2016","unstructured":"Marcelo Arenas , Richard Hull , Wim Marten , Tova Milo , and Thomas Schwentick . 2016 . Foundations of data management (Dagstuhl perspectives workshop 16151) . Dagstuhl Reports 6 , 4, 39 -- 56 . 2192-5283 Marcelo Arenas, Richard Hull, Wim Marten, Tova Milo, and Thomas Schwentick. 2016. Foundations of data management (Dagstuhl perspectives workshop 16151). Dagstuhl Reports 6, 4, 39--56. 2192-5283","journal-title":"Dagstuhl Reports"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-006-9019-0"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1784489.1784516"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2050784.2050786"},{"key":"e_1_2_1_8_1","unstructured":"Franz Baader Diego Calvanese Deborah McGuinness Daniele Nardi and Peter F. Patel-Schneider (Eds.). 2003. The Description Logic Handbook: Theory Implementation and Applications. Cambridge University Press Cambridge England.   Franz Baader Diego Calvanese Deborah McGuinness Daniele Nardi and Peter F. Patel-Schneider (Eds.). 2003. The Description Logic Handbook: Theory Implementation and Applications. Cambridge University Press Cambridge England."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2287718.2287721"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1928380.1928387"},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the 20th National Conference on Artificial Intelligence (AAAI\u201905)","author":"Baader Franz","year":"2005","unstructured":"Franz Baader , Carsten Lutz , Maja Milicic , Ulrike Sattler , and Frank Wolter . 2005 . Integrating description logics and action formalisms: First results . In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI\u201905) . 572--577. Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, and Frank Wolter. 2005. Integrating description logics and action formalisms: First results. In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI\u201905). 572--577."},{"key":"e_1_2_1_12_1","series-title":"Lecture Notes in Computer Science","volume-title":"Frontiers of Combining Systems","author":"Baader Franz","unstructured":"Franz Baader and Benjamin Zarrie\u00df . 2013. Verification of Golog programs over description logic actions . In Frontiers of Combining Systems . Lecture Notes in Computer Science , Vol. 8152 . Springer , 181--196. Franz Baader and Benjamin Zarrie\u00df. 2013. Verification of Golog programs over description logic actions. In Frontiers of Combining Systems. Lecture Notes in Computer Science, Vol. 8152. Springer, 181--196."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463664.2465221"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/2512538.2512554"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491509.2491518"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.05.003"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90190-2"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(96)00004-5"},{"volume-title":"Extensible Markup Language (XML) 1.0: 10-February-1998","author":"Bray T.","key":"e_1_2_1_19_1","unstructured":"T. Bray , J. Paoli , and C. M. Sperberg-McQueen . 1998. Extensible Markup Language (XML) 1.0: 10-February-1998 . World Wide Web Consortium . Available at http:\/\/www.w3.org\/TR\/1998\/REC-xml-19980210 T. Bray, J. Paoli, and C. M. Sperberg-McQueen. 1998. Extensible Markup Language (XML) 1.0: 10-February-1998. World Wide Web Consortium. Available at http:\/\/www.w3.org\/TR\/1998\/REC-xml-19980210"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44602-7_14"},{"key":"e_1_2_1_21_1","unstructured":"D. Brickley and R. V. Guha. 2004. RDF Vocabulary Description Language 1.0: RDF Schema. W3C Recommendation. World Wide Web Consortium. Available at http:\/\/www.w3.org\/TR\/rdf-schema\/.  D. Brickley and R. V. Guha. 2004. RDF Vocabulary Description Language 1.0: RDF Schema. W3C Recommendation. World Wide Web Consortium. Available at http:\/\/www.w3.org\/TR\/rdf-schema\/."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90081-7"},{"key":"e_1_2_1_23_1","volume-title":"Proceedings of the 5th International Conference on the Principles of Knowledge Representation and Reasoning (KR\u201996)","author":"Calvanese Diego","year":"1996","unstructured":"Diego Calvanese . 1996 . Finite model reasoning in description logics . In Proceedings of the 5th International Conference on the Principles of Knowledge Representation and Reasoning (KR\u201996) . 292--303. Diego Calvanese. 1996. Finite model reasoning in description logics. In Proceedings of the 5th International Conference on the Principles of Knowledge Representation and Reasoning (KR\u201996). 292--303."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9078-x"},{"key":"e_1_2_1_25_1","volume-title":"Maurizio Lenzerini, and Riccardo Rosati.","author":"Calvanese Diego","year":"2011","unstructured":"Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, and Riccardo Rosati. 2011 . Actions and programs over description logic knowledge bases: A functional approach. In Knowing, Reasoning, and Acting: Essays in Honour of Hector Levesque, G. Lakemeyer and S. A. McIlraith (Eds.). College Publications , London, England, 1--16. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Riccardo Rosati. 2011. Actions and programs over description logic knowledge bases: A functional approach. In Knowing, Reasoning, and Acting: Essays in Honour of Hector Levesque, G. Lakemeyer and S. A. McIlraith (Eds.). College Publications, London, England, 1--16."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463664.2467796"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1661445.1661559"},{"key":"e_1_2_1_28_1","volume-title":"Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI\u201914)","author":"Calvanese Diego","year":"2014","unstructured":"Diego Calvanese , Wolfgang Fischl , Reinhard Pichler , Emanuel Sallinger , and Mantas \u0160imkus . 2014 . Capturing relational schemas and functional dependencies in RDFS . In Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI\u201914) . 1003--1011. Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, and Mantas \u0160imkus. 2014. Capturing relational schemas and functional dependencies in RDFS. In Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI\u201914). 1003--1011."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/3013545.3013550"},{"key":"e_1_2_1_30_1","volume-title":"Informal Proceedings of the 26th International Workshop on Description Logics. CEUR Workshop Proceedings","volume":"1014","author":"Calvanese Diego","year":"2013","unstructured":"Diego Calvanese , Magdalena Ortiz , and Mantas \u0160imkus . 2013 b. Evolving graph databases under description logic constraints . In Informal Proceedings of the 26th International Workshop on Description Logics. CEUR Workshop Proceedings , Vol. 1014 . CEUR-WS, 120--131. Diego Calvanese, Magdalena Ortiz, and Mantas \u0160imkus. 2013b. Evolving graph databases under description logic constraints. In Informal Proceedings of the 26th International Workshop on Description Logics. CEUR Workshop Proceedings, Vol. 1014. CEUR-WS, 120--131."},{"key":"e_1_2_1_31_1","volume-title":"Proceedings of the 19th International Conference on Database Theory (ICDT\u201916). Leibniz International Proceedings in Informatics (IPIPcs)","volume":"48","author":"Calvanese Diego","year":"2016","unstructured":"Diego Calvanese , Magdalena Ortiz , and Mantas \u0160imkus . 2016 . Verification of evolving graph-structured data under expressive path constraints . In Proceedings of the 19th International Conference on Database Theory (ICDT\u201916). Leibniz International Proceedings in Informatics (IPIPcs) , Vol. 48 . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 15:1--15:19. Diego Calvanese, Magdalena Ortiz, and Mantas \u0160imkus. 2016. Verification of evolving graph-structured data under expressive path constraints. In Proceedings of the 19th International Conference on Database Theory (ICDT\u201916). Leibniz International Proceedings in Informatics (IPIPcs), Vol. 48. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 15:1--15:19."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/298514.298591"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843012500025"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694428.2694430"},{"key":"e_1_2_1_35_1","volume-title":"Vardi","author":"Fagin Ronald","year":"1986","unstructured":"Ronald Fagin , Gabriel M. Kuper , Jeffrey D. Ullman , and Moshe Y . Vardi . 1986 . Updating logical databases. In Advances in Computing Research. JAI Press , Greenwich, CT, 1--18. Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, and Moshe Y. Vardi. 1986. Updating logical databases. In Advances in Computing Research. JAI Press, Greenwich, CT, 1--18."},{"key":"e_1_2_1_36_1","first-page":"73","article-title":"Description logics and planning","volume":"26","author":"Gil Yolanda","year":"2005","unstructured":"Yolanda Gil . 2005 . Description logics and planning . AI Magazine 26 , 2, 73 -- 84 . Yolanda Gil. 2005. Description logics and planning. AI Magazine 26, 2, 73--84.","journal-title":"AI Magazine"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/773153.773165"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/45072.45073"},{"key":"e_1_2_1_39_1","first-page":"251","article-title":"A survey of decidable first-order fragments and description logics","volume":"1","author":"Hustadt Ullrich","year":"2004","unstructured":"Ullrich Hustadt , Renate A. Schmidt , and Lilie Georgieva . 2004 . A survey of decidable first-order fragments and description logics . Journal on Relational Methods in Computer Science 1 , 251 -- 276 . Ullrich Hustadt, Renate A. Schmidt, and Lilie Georgieva. 2004. A survey of decidable first-order fragments and description logics. Journal on Relational Methods in Computer Science 1, 251--276.","journal-title":"Journal on Relational Methods in Computer Science"},{"volume-title":"Proceedings of the 2nd International Conference on the Principles of Knowledge Representation and Reasoning (KR\u201991)","author":"Katsuno Hirofumi","key":"e_1_2_1_41_1","unstructured":"Hirofumi Katsuno and Alberto O. Mendelzon . 1991. On the difference between updating a knowledge base and revising it . In Proceedings of the 2nd International Conference on the Principles of Knowledge Representation and Reasoning (KR\u201991) . 387--394. Hirofumi Katsuno and Alberto O. Mendelzon. 1991. On the difference between updating a knowledge base and revising it. In Proceedings of the 2nd International Conference on the Principles of Knowledge Representation and Reasoning (KR\u201991). 387--394."},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30227-8_32"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2013.01.006"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/645914.671646"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2063576.2063582"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90009-2"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/11853886_23"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2011.08.003"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2004.11.002"},{"key":"e_1_2_1_51_1","volume-title":"Proceedings of the 14th International Workshop on Description Logics (DL\u201901). CEUR Electronic Workshop Proceedings","volume":"49","author":"Lutz Carsten","year":"2001","unstructured":"Carsten Lutz , Ulrike Sattler , and Frank Wolter . 2001 . Description logics and the two-variable fragment . In Proceedings of the 14th International Workshop on Description Logics (DL\u201901). CEUR Electronic Workshop Proceedings , Vol. 49 . CEUR-WS, 66--75. http:\/\/CEUR-WS.org\/Vol-49\/LutzSattlerWolter-66start.ps. Carsten Lutz, Ulrike Sattler, and Frank Wolter. 2001. Description logics and the two-variable fragment. In Proceedings of the 14th International Workshop on Description Logics (DL\u201901). CEUR Electronic Workshop Proceedings, Vol. 49. CEUR-WS, 66--75. http:\/\/CEUR-WS.org\/Vol-49\/LutzSattlerWolter-66start.ps."},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19750210118"},{"key":"e_1_2_1_54_1","volume-title":"Proceedings of the 19th International Conference on Database Theory (ICDT\u201916). Leibniz International Proceedings in Informatics (LIPIcs)","volume":"48","author":"Mu\u00f1oz Pablo","year":"2016","unstructured":"Pablo Mu\u00f1oz , Nils Vortmeier , and Thomas Zeume . 2016 . Dynamic graph queries . In Proceedings of the 19th International Conference on Database Theory (ICDT\u201916). Leibniz International Proceedings in Informatics (LIPIcs) , Vol. 48 . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 14:1--14:18. Pablo Mu\u00f1oz, Nils Vortmeier, and Thomas Zeume. 2016. Dynamic graph queries. In Proceedings of the 19th International Conference on Database Theory (ICDT\u201916). Leibniz International Proceedings in Informatics (LIPIcs), Vol. 48. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 14:1--14:18."},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-005-5791-1"},{"key":"e_1_2_1_56_1","doi-asserted-by":"crossref","unstructured":"Sherif Sakr and Eric Pardede (Eds.). 2011. Graph Data Management: Techniques and Applications. IGI Global Hershey PA.   Sherif Sakr and Eric Pardede (Eds.). 2011. Graph Data Management: Techniques and Applications. IGI Global Hershey PA.","DOI":"10.4018\/978-1-61350-053-8"},{"key":"e_1_2_1_57_1","volume-title":"Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI\u201991)","author":"Schild Klaus","year":"1991","unstructured":"Klaus Schild . 1991 . A correspondence theory for terminological logics: Preliminary report . In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI\u201991) . 466--471. Klaus Schild. 1991. A correspondence theory for terminological logics: Preliminary report. In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI\u201991). 466--471."},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2559947"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/68012.68014"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.5555\/648292.754529"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-005-5787-x"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622248.1622255"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/212433.212474"},{"volume-title":"Frontiers of Combining Systems","author":"Wolter Frank","key":"e_1_2_1_64_1","unstructured":"Frank Wolter and Michael Zakharyaschev . 1999. Temporalizing description logic . In Frontiers of Combining Systems , D. Gabbay and M. de Rijke (Eds.). Studies Press\/Wiley , 379--402. Frank Wolter and Michael Zakharyaschev. 1999. Temporalizing description logic. In Frontiers of Combining Systems, D. Gabbay and M. de Rijke (Eds.). Studies Press\/Wiley, 379--402."}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3143803","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3143803","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:22Z","timestamp":1750212802000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3143803"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,31]]},"references-count":62,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,10,31]]}},"alternative-id":["10.1145\/3143803"],"URL":"https:\/\/doi.org\/10.1145\/3143803","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"type":"print","value":"1529-3785"},{"type":"electronic","value":"1557-945X"}],"subject":[],"published":{"date-parts":[[2017,10,31]]},"assertion":[{"value":"2017-01-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-08-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-11-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}