{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:34:41Z","timestamp":1743143681028,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642396656"},{"type":"electronic","value":"9783642396663"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39666-3_1","type":"book-chapter","created":{"date-parts":[[2013,7,15]],"date-time":"2013-07-15T03:05:35Z","timestamp":1373857535000},"page":"1-3","source":"Crossref","is-referenced-by-count":1,"title":["Inconsistency Management for Description Logic Programs and Beyond"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daria","family":"Stepanova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Inconsistency Tolerance","year":"2005","unstructured":"Bertossi, L., Hunter, A., Schaub, T. (eds.): Inconsistency Tolerance. LNCS, vol.\u00a03300. Springer, Heidelberg (2005)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Bienvenu, M.: On the complexity of consistent query answering in the presence of simple ontologies. In: Proc. 26th Conf. Artificial Intelligence, pp. 705\u2013711. AAAI Press (2012)","DOI":"10.1609\/aaai.v26i1.8218"},{"key":"1_CR3","unstructured":"Eiter, T., Fink, M., Stepanova, D.: Data repair of inconsistent dl-programs. In: Proc. 23rd Int\u2019l Joint Conf. Artificial Intelligence (IJCAI 2013). AAAI Press\/IJCAI (to appear, 2013)"},{"key":"1_CR4","first-page":"1495","volume":"172","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. AIJ\u00a0172, 1495\u20131539 (2008)","journal-title":"AIJ"},{"key":"1_CR5","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Proc. 19th Int\u2019l Joint Conf. Artificial Intelligence (IJCAI 2005), pp. 90\u201396. Professional Book Center (2005)"},{"key":"1_CR6","unstructured":"Fink, M.: Paraconsistent hybrid theories. In: Proc. 13th Int\u2019l Conf. Principles of Knowledge Representation and Reasoning (KR 2012), pp. 141\u2013151. AAAI Press (2012)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Hunter, A.: Paraconsistent logics. In: Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol.\u00a02, pp. 11\u201336. Kluwer (1998)","DOI":"10.1007\/978-94-017-1739-7_2"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-642-15918-3_9","volume-title":"Web Reasoning and Rule Systems","author":"D. Lembo","year":"2010","unstructured":"Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.: Inconsistency-tolerant semantics for description logics. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol.\u00a06333, pp. 103\u2013117. Springer, Heidelberg (2010)"},{"key":"1_CR9","unstructured":"Ma, Y., Hitzler, P., Lin, Z.: Paraconsistent reasoning for expressive and tractable description logics. In: Proc. DL 2008. CEUR Workshop Proc., vol.\u00a0353. CEUR-WS.org (2008)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM\u00a057(5) (2010)","DOI":"10.1145\/1754399.1754403"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-13486-9_13","volume-title":"The Semantic Web: Research and Applications","author":"J. P\u00fchrer","year":"2010","unstructured":"P\u00fchrer, J., Heymans, S., Eiter, T.: Dealing with inconsistency when combining ontologies and rules using DL-programs. In: Aroyo, L., Antoniou, G., Hyv\u00f6nen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010, Part I. LNCS, vol.\u00a06088, pp. 183\u2013197. Springer, Heidelberg (2010)"},{"issue":"6","key":"1_CR12","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1017\/S1471068403001716","volume":"3","author":"C. Sakama","year":"2003","unstructured":"Sakama, C., Inoue, K.: An abductive framework for computing knowledge base updates. Theory and Practice of Logic Programming\u00a03(6), 671\u2013713 (2003)","journal-title":"Theory and Practice of Logic Programming"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.tcs.2011.10.026","volume":"415","author":"Y. Wang","year":"2012","unstructured":"Wang, Y., You, J.H., Yuan, L.Y., Shen, Y.D., Zhang, M.: The loop formula based semantics of description logic programs. Theor. Comput. Sci.\u00a0415, 60\u201385 (2012)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39666-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,13]],"date-time":"2023-02-13T21:39:39Z","timestamp":1676324379000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39666-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642396656","9783642396663"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39666-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}