{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:09:28Z","timestamp":1743044968959,"version":"3.40.3"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319316758"},{"type":"electronic","value":"9783319316765"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-31676-5_20","type":"book-chapter","created":{"date-parts":[[2016,3,19]],"date-time":"2016-03-19T03:58:58Z","timestamp":1458359938000},"page":"280-288","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Distance-Based Ranking of Negative Answers"],"prefix":"10.1007","author":[{"given":"Jianfeng","family":"Du","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Can","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kunxun","family":"Qi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,20]]},"reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"20_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, Cambridge (2003)"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1440","DOI":"10.1007\/978-3-540-88873-4_35","volume-title":"On the Move to Meaningful Internet Systems: OTM 2008","author":"A Borgida","year":"2008","unstructured":"Borgida, A., Calvanese, D., Rodriguez-Muro, M.: Explanation in the DL\n          \n                      \n                        \n                      \n                      $$-$$\n                      \n                        \n                          -\n                        \n                      \n                    \n          Lite family of description logics. In: Tari, Z., Meersman, R. (eds.) OTM 2008, Part II. LNCS, vol. 5332, pp. 1440\u20131457. Springer, Heidelberg (2008)"},{"key":"20_CR3","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."},{"issue":"3","key":"20_CR4","doi-asserted-by":"publisher","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. Reasoning 39(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reasoning"},{"key":"20_CR5","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1613\/jair.3870","volume":"48","author":"D Calvanese","year":"2013","unstructured":"Calvanese, D., Ortiz, M., Simkus, M., Stefanoni, G.: Reasoning about explanations for negative query answers in DL-Lite. J. Artif. Intell. Res. 48, 635\u2013669 (2013)","journal-title":"J. Artif. Intell. Res."},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-540-68234-9_23","volume-title":"The Semantic Web: Research and Applications","author":"C d\u2019Amato","year":"2008","unstructured":"d\u2019Amato, C., Fanizzi, N., Esposito, F.: Query answering and ontology population: an inductive approach. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol. 5021, pp. 288\u2013302. Springer, Heidelberg (2008)"},{"key":"20_CR7","series-title":"Communications in Computer and Information Science","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1007\/978-3-662-45495-4_5","volume-title":"The Semantic Web and Web Science","author":"J Du","year":"2014","unstructured":"Du, J., Liu, D., Lin, C., Zhou, X., Liang, J.: A system for tractable computation of negative answers to conjunctive queries. In: Zhao, D., Du, J., Wang, H., Wang, P., Ji, D., Pan, J.Z. (eds.) CSWS 2014. CCIS, vol. 480, pp. 56\u201366. Springer, Heidelberg (2014)"},{"key":"20_CR8","unstructured":"Du, J., Pan, J.Z.: A system for tractable computation of negative answers to conjunctive queries. In: ISWC, pp. 339\u2013355 (2015)"},{"key":"20_CR9","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1613\/jair.3470","volume":"43","author":"BC Grau","year":"2012","unstructured":"Grau, B.C., Motik, B., Stoilos, G., Horrocks, I.: Completeness guarantees for incomplete ontology reasoners: Theory and practice. J. Artif. Intell. Res. 43, 419\u2013476 (2012)","journal-title":"J. Artif. Intell. Res."}],"container-title":["Lecture Notes in Computer Science","Semantic Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-31676-5_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T15:47:51Z","timestamp":1559404071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-31676-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319316758","9783319316765"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31676-5_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"20 March 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}