{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:46:00Z","timestamp":1742957160703,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319610320"},{"type":"electronic","value":"9783319610337"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61033-7_3","type":"book-chapter","created":{"date-parts":[[2017,6,9]],"date-time":"2017-06-09T07:40:08Z","timestamp":1496994008000},"page":"64-67","source":"Crossref","is-referenced-by-count":0,"title":["Ontology Querying: Datalog Strikes Back"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Cal\u00ec","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,10]]},"reference":[{"key":"3_CR1","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Alviano, M., Pieris, A.: Default negation for non-guarded existential rules. In: Proceeding of PODS, pp. 79\u201390 (2015)","DOI":"10.1145\/2745754.2745758"},{"issue":"3","key":"3_CR3","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H Andr\u00e9ka","year":"1998","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I., van Benthem, J.: Modal languages and bounded fragments of predicate logic. J. Philos. Logic 27(3), 217\u2013274 (1998)","journal-title":"J. Philos. Logic"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Arenas, M., Gottlob, G., Pieris, A.: Expressive languages for querying the semantic web. In: Proceeding of PODS, pp. 14\u201326 (2014)","DOI":"10.1145\/2594538.2594555"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"3_CR5","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"issue":"9\u201310","key":"3_CR6","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.artint.2011.03.002","volume":"175","author":"J-F Baget","year":"2011","unstructured":"Baget, J.-F., Lecl\u00e8re, M., Mugnier, M.-L., Salvat, E.: On rules with existential variables: walking the decidability line. Artif. Intell. 175(9\u201310), 1620\u20131654 (2011)","journal-title":"Artif. Intell."},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"3465","DOI":"10.1007\/978-0-387-39940-9_1154","volume-title":"Encyclopedia of Database Systems","author":"R Baumgartner","year":"2009","unstructured":"Baumgartner, R., Gatterbauer, W., Gottlob, G.: Monadic datalog and the expressive power of web information extraction languages. In: Liu, L., Tamer \u00d6zsu, M. (eds.) Encyclopedia of Database Systems, pp. 3465\u20133471. Springer, New York (2009)"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/3-540-10843-2_7","volume-title":"Automata, Languages and Programming","author":"C Beeri","year":"1981","unstructured":"Beeri, C., Vardi, M.Y.: The implication problem for data dependencies. In: Even, S., Kariv, O. (eds.) ICALP 1981. LNCS, vol. 115, pp. 73\u201385. Springer, Heidelberg (1981). doi: 10.1007\/3-540-10843-2_7"},{"key":"3_CR9","unstructured":"Bourhis, P., Morak, M., Pieris, A.: The impact of disjunction on query answering under guarded-based existential rules. In: Proceeding of IJCAI, pp. 796\u2013802 (2013)"},{"key":"3_CR10","unstructured":"Cal\u00ec, A., Console, M., Frosini, R.: On separability of ontological constraints. In: Proceeding of AMW, pp. 48\u201361 (2012)"},{"key":"3_CR11","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1613\/jair.3873","volume":"48","author":"A Cal\u00ec","year":"2013","unstructured":"Cal\u00ec, A., Gottlob, G.: Taming the infinite chase: query answering under expressive relational constraints. J. Artif. Intell. Res. (JAIR) 48, 115\u2013174 (2013)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"3_CR12","doi-asserted-by":"crossref","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."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T., Marnette, B., Pieris, A.: Datalog $$^\\pm $$ : a family of logical knowledge representation and query languages for new applications. In: Proceeding of LICS, pp. 228\u2013242 (2010)","DOI":"10.1109\/LICS.2010.27"},{"key":"3_CR14","doi-asserted-by":"crossref","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."},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Lembo, D., Rosati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: Proceeding of PODS, pp. 260\u2013271 (2003)","DOI":"10.1145\/773153.773179"},{"key":"3_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic Programming and Databases","author":"S Ceri","year":"1990","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases. Springer, Heidelberg (1990)"},{"issue":"3","key":"3_CR17","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Georg, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374\u2013425 (2001)","journal-title":"ACM Comput. Surv."},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Furche, T., Gottlob, G., Grasso, G., Gunes, O., Guo, X., Kravchenko, A., Orsi, G., Schallhart, C., Sellers, A., Wang, C.: DIADEM: domain-centric, intelligent, automated data extraction methodology. In: Proceeding of WWW (Companion Volume), pp. 267\u2013270 (2012)","DOI":"10.1145\/2187980.2188025"},{"key":"3_CR19","unstructured":"Gottlob, G., Hernich, A., Kupke, C., Lukasiewicz, T.: Stable model semantics for guarded existential rules and description logics. In: Proceeding of KR (2014)"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/11785477_2","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"E Hajiyev","year":"2006","unstructured":"Hajiyev, E., Verbaere, M., Moor, O.: codeQuest: scalable source code queries with datalog. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol. 4067, pp. 2\u201327. Springer, Heidelberg (2006). doi: 10.1007\/11785477_2"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Milani, M., Cal\u00ec, A., Bertossi, L.E.: A hybrid approach to query answering under expressive Datalog $$^\\pm $$ . In: Proceeding of RR, pp. 144\u2013158 (2016)","DOI":"10.1007\/978-3-319-45276-0_11"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Semantic Interoperability on the Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61033-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,9]],"date-time":"2020-10-09T21:50:57Z","timestamp":1602280257000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61033-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319610320","9783319610337"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61033-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}