{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T07:47:56Z","timestamp":1761896876810},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319999050"},{"type":"electronic","value":"9783319999067"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99906-7_1","type":"book-chapter","created":{"date-parts":[[2018,8,23]],"date-time":"2018-08-23T06:45:38Z","timestamp":1535006738000},"page":"3-8","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Vadalog: A Language and System for Knowledge Graphs"],"prefix":"10.1007","author":[{"given":"Luigi","family":"Bellomarini","sequence":"first","affiliation":[]},{"given":"Georg","family":"Gottlob","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Pieris","sequence":"additional","affiliation":[]},{"given":"Emanuel","family":"Sallinger","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,24]]},"reference":[{"issue":"1\u20133","key":"1_CR1","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/S0304-3975(02)00730-2","volume":"308","author":"FN Afrati","year":"2003","unstructured":"Afrati, F.N., Gergatsoulis, M., Toni, F.: Linearisability on datalog programs. Theor. Comput. Sci. 308(1\u20133), 199\u2013226 (2003)","journal-title":"Theor. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Arenas, M., Gottlob, G., Pieris, A.: Expressive languages for querying the semantic web. In: PODS, pp. 14\u201326 (2014)","key":"1_CR2","DOI":"10.1145\/2594538.2594555"},{"unstructured":"Arming, S., Pichler, R., Sallinger, E.: Complexity of repair checking and consistent query answering. In: ICDT, vol. 48, LIPIcs. SD-LZI (2016)","key":"1_CR3"},{"doi-asserted-by":"crossref","unstructured":"Bellomarini, L., Gottlob, G., Pieris, A., Sallinger, E.: Swift logic for big data and knowledge graphs. In: IJCAI, pp. 2\u201310 (2017)","key":"1_CR4","DOI":"10.24963\/ijcai.2017\/1"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-73117-9_1","volume-title":"SOFSEM 2018: Theory and Practice of Computer Science","author":"L Bellomarini","year":"2018","unstructured":"Bellomarini, L., Gottlob, G., Pieris, A., Sallinger, E.: Swift logic for big data and knowledge graphs. In: Tjoa, A.M., Bellatreche, L., Biffl, S., van Leeuwen, J., Wiedermann, J. (eds.) SOFSEM 2018. LNCS, vol. 10706, pp. 3\u201316. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-73117-9_1"},{"doi-asserted-by":"crossref","unstructured":"Bellomarini, L., Gottlob, G., Pieris, A., Sallinger, E.: The Vadalog system: swift logic for big data and enterprise knowledge graphs. In: AMW (2018)","key":"1_CR6","DOI":"10.24963\/ijcai.2017\/1"},{"issue":"9","key":"1_CR7","first-page":"975","volume":"11","author":"L Bellomarini","year":"2018","unstructured":"Bellomarini, L., Sallinger, E., Gottlob, G.: The vadalog system: Datalog-based reasoning for knowledge graphs. PVLDB 11(9), 975\u2013987 (2018)","journal-title":"PVLDB"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1613\/jair.3873","volume":"48","author":"A Cal\u00ec","year":"2013","unstructured":"Cal\u00ec, A., Gottlob, G., Kifer, M.: Taming the infinite chase: query answering under expressive relational constraints. J. Artif. Intell. Res. 48, 115\u2013174 (2013)","journal-title":"J. Artif. Intell. Res."},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.websem.2012.03.001","volume":"14","author":"A Cal\u00ec","year":"2012","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. J. Web Sem. 14, 57\u201383 (2012)","journal-title":"J. Web Sem."},{"doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T., Marnette, B., Pieris, A.: Datalog+\/-: a family of logical knowledge representation and query languages for new applications. In: LICS, pp. 228\u2013242 (2010)","key":"1_CR10","DOI":"10.1109\/LICS.2010.27"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.artint.2012.08.002","volume":"193","author":"A Cal\u00ec","year":"2012","unstructured":"Cal\u00ec, A., Gottlob, G., Pieris, A.: Towards more expressive ontology languages: the query answering problem. Artif. Intell. 193, 87\u2013128 (2012)","journal-title":"Artif. Intell."},{"doi-asserted-by":"crossref","unstructured":"Csar, T., Lackner, M., Pichler, R., Sallinger, E.: Winner determination in huge elections with mapreduce. In: AAAI, pp. 451\u2013458. AAAI Press (2017)","key":"1_CR12","DOI":"10.1609\/aaai.v31i1.10606"},{"unstructured":"Furche, T., Gottlob, G., Neumayr, B., Sallinger, E.: Data wrangling for big data: towards a lingua franca for data wrangling. In: AMW (2016)","key":"1_CR13"},{"unstructured":"Glimm, B., Ogbuji, C., Hawke, S., Herman, I., Parsia, B., Polleres, A., Seaborne, A.: SPARQL 1.1 entailment regimes. W3C Recommendation, 21 March 2013","key":"1_CR14"},{"unstructured":"Gottlob, G., Pieris, A.: Beyond SPARQL under OWL 2 QL entailment regime: rules to the rescue. In: IJCAI, pp. 2999\u20133007 (2015)","key":"1_CR15"},{"issue":"4","key":"1_CR16","doi-asserted-by":"publisher","first-page":"899","DOI":"10.1007\/s00224-017-9812-7","volume":"62","author":"PG Kolaitis","year":"2018","unstructured":"Kolaitis, P.G., Pichler, R., Sallinger, E., Savenkov, V.: Limits of schema mappings. Theory Comput. Syst. 62(4), 899\u2013940 (2018)","journal-title":"Theory Comput. Syst."},{"doi-asserted-by":"crossref","unstructured":"Konstantinou, N., et al.: The VADA architecture for cost-effective data wrangling. In: SIGMOD, ACM (2017)","key":"1_CR17","DOI":"10.1145\/3035918.3058730"},{"doi-asserted-by":"crossref","unstructured":"Michels, C., Fayzrakhmanov, R.R., Ley, M., Sallinger, E., Schenkel, R.: Oxpath-based data acquisition for dblp. In: JCDL, pp. 319\u2013320. IEEE CS (2017)","key":"1_CR18","DOI":"10.1109\/JCDL.2017.7991609"},{"unstructured":"Sallinger, E.: Reasoning about schema mappings. In: Data Exchange, Information, and Streams, volume 5 of Dagstuhl Follow-Ups, pp. 97\u2013127. SD-LZI (2013)","key":"1_CR19"},{"unstructured":"Wikipedia: Knowledge graph. https:\/\/en.wikipedia.org\/wiki\/Knowledge_Graph (2017). Accessed 3 Mar 2018","key":"1_CR20"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99906-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,29]],"date-time":"2022-08-29T22:31:09Z","timestamp":1661812269000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99906-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319999050","9783319999067"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99906-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}