{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:19:52Z","timestamp":1743077992954,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319612515"},{"type":"electronic","value":"9783319612522"}],"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-61252-2_11","type":"book-chapter","created":{"date-parts":[[2017,6,12]],"date-time":"2017-06-12T22:55:48Z","timestamp":1497308148000},"page":"151-167","source":"Crossref","is-referenced-by-count":2,"title":["Rewriting Queries with Negated Atoms"],"prefix":"10.1007","author":[{"given":"Enrique Matos","family":"Alfonso","sequence":"first","affiliation":[]},{"given":"Giorgos","family":"Stamou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,14]]},"reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"11_CR1","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, New York (2003)"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-319-21542-6_21","volume-title":"Rule Technologies: Foundations, Tools, and Applications","author":"J-F Baget","year":"2015","unstructured":"Baget, J.-F., Lecl\u00e8re, M., Mugnier, M.-L., Rocher, S., Sipieter, C.: Graal: a toolkit for query answering with existential rules. In: Bassiliades, N., Gottlob, G., Sadri, F., Paschke, A., Roman, D. (eds.) RuleML 2015. LNCS, vol. 9202, pp. 328\u2013344. Springer, Cham (2015). doi:\n10.1007\/978-3-319-21542-6_21"},{"key":"11_CR3","unstructured":"Baget, J.F., Lecl\u00e8re, M., Mugnier, M.L., Salvat, E.: DL-SR: a lite DL with expressive rules: preliminary results. In: Baader, F., Lutz, C., Motik, B. (eds.) Description Logics, vol. 353. CEUR Workshop Proceedings (2008). \nCEUR-WS.org"},{"issue":"9","key":"11_CR4","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.artint.2011.03.002","volume":"175","author":"JF Baget","year":"2011","unstructured":"Baget, J.F., Leclere, M., Mugnier, M.L., Salvat, E.: On rules with existential variables: walking the decidability line. Artif. Intell. 175(9), 1620\u20131654 (2011)","journal-title":"Artif. Intell."},{"key":"11_CR5","unstructured":"B\u00e1r\u00e1ny, V., Cate, B.T., Otto, M.: Queries with guarded negation (full version). CoRR, abs\/1203.0077 (2012)"},{"issue":"3","key":"11_CR6","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1016\/j.websem.2009.07.002","volume":"7","author":"C Bizer","year":"2009","unstructured":"Bizer, C., Lehmann, J., Kobilarov, G., Auer, S., Becker, C., Cyganiak, R., Hellmann, S.: Dbpedia - a crystallization point for the web of data. Web Semant. 7(3), 154\u2013165 (2009)","journal-title":"Web Semant."},{"issue":"3","key":"11_CR7","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D Calvanese","year":"2007","unstructured":"Calvanese, D., Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J. Autom. Reason. 39(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reason."},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-319-25007-6_20","volume-title":"The Semantic Web - ISWC 2015","author":"J Du","year":"2015","unstructured":"Du, J., Pan, J.Z.: Rewriting-based instance retrieval for negated concepts in description logic ontologies. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9366, pp. 339\u2013355. Springer, Cham (2015). doi:\n10.1007\/978-3-319-25007-6_20"},{"issue":"3","key":"11_CR9","doi-asserted-by":"crossref","first-page":"25:1","DOI":"10.1145\/2638546","volume":"39","author":"G Gottlob","year":"2014","unstructured":"Gottlob, G., Orsi, G., Pieris, A.: Query rewriting and optimization for ontological databases. ACM Trans. Database Syst. 39(3), 25:1\u201325:46 (2014)","journal-title":"ACM Trans. Database Syst."},{"issue":"2\u20133","key":"11_CR10","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1016\/j.websem.2005.06.005","volume":"3","author":"Y Guo","year":"2005","unstructured":"Guo, Y., Pan, Z., Heflin, J.: LUBM: a benchmark for OWL knowledge base systems. Web Semant. 3(2\u20133), 158\u2013182 (2005)","journal-title":"Web Semant."},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-642-39666-3_9","volume-title":"Web Reasoning and Rule Systems","author":"V Guti\u00e9rrez-Basulto","year":"2013","unstructured":"Guti\u00e9rrez-Basulto, V., Iba\u00f1ez-Garc\u00eda, Y., Kontchakov, R., Kostylev, E.V.: Conjunctive queries with negation over DL-Lite: a closer look. In: Faber, W., Lembo, D. (eds.) RR 2013. LNCS, vol. 7994, pp. 109\u2013122. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-39666-3_9"},{"issue":"5","key":"11_CR12","doi-asserted-by":"crossref","first-page":"451","DOI":"10.3233\/SW-140153","volume":"6","author":"M K\u00f6nig","year":"2015","unstructured":"K\u00f6nig, M., Lecl\u00e8re, M., Mugnier, M.-L., Thomazo, M.: Sound, complete and minimal ucq-rewriting for existential rules. Semant. Web 6(5), 451\u2013475 (2015)","journal-title":"Semant. Web"},{"key":"11_CR13","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1016\/j.websem.2015.02.001","volume":"33","author":"D Trivela","year":"2015","unstructured":"Trivela, D., Stoilos, G., Chortaras, A., Stamou, G.: Optimising resolution-based rewriting algorithms for owl ontologies. Web Semant. Sci. Serv. Agents World Wide Web 33, 30\u201349 (2015)","journal-title":"Web Semant. Sci. Serv. Agents World Wide Web"}],"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-61252-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,19]],"date-time":"2017-07-19T03:28:15Z","timestamp":1500434895000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61252-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319612515","9783319612522"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61252-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}