{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:23:44Z","timestamp":1725740624587},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642396656"},{"type":"electronic","value":"9783642396663"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39666-3_16","type":"book-chapter","created":{"date-parts":[[2013,7,14]],"date-time":"2013-07-14T23:05:35Z","timestamp":1373843135000},"page":"204-209","source":"Crossref","is-referenced-by-count":0,"title":["Rule Revision in Normal DL Logic Programs"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Binnewies","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yisong","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bela","family":"Stantic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kewen","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"16_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log.\u00a050(2), 510\u2013530 (1985)","journal-title":"J. Symb. Log."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511711787"},{"issue":"4-6","key":"16_CR3","first-page":"565","volume":"10","author":"J.P. Delgrande","year":"2010","unstructured":"Delgrande, J.P.: A program-level approach to revising logic programs under the answer set semantics. TPLP\u00a010(4-6), 565\u2013580 (2010)","journal-title":"TPLP"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-04581-3_1","volume-title":"Semantic Techniques for the Web","author":"W. Drabent","year":"2009","unstructured":"Drabent, W., Eiter, T., Ianni, G., Krennwallner, T., Lukasiewicz, T., Ma\u0142uszy\u0144ski, J.: Hybrid reasoning with rules and ontologies. In: Bry, F., Ma\u0142uszy\u0144ski, J. (eds.) Semantic Techniques for the Web. LNCS, vol.\u00a05500, pp. 1\u201349. Springer, Heidelberg (2009)"},{"issue":"12-13","key":"16_CR5","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","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. Artif. Intell.\u00a0172(12-13), 1495\u20131539 (2008)","journal-title":"Artif. Intell."},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"4","author":"M. Fitting","year":"1985","unstructured":"Fitting, M.: A Kripke-Kleene semantics for logic programs. JLP\u00a04, 295\u2013312 (1985)","journal-title":"JLP"},{"issue":"3-4","key":"16_CR7","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09(3-4), 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Hitzler, P., Parsia, B.: Ontologies and rules. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, International Handbooks on Information Systems, pp. 111\u2013132. Springer (2009)","DOI":"10.1007\/978-3-540-92673-3_5"},{"issue":"4","key":"16_CR9","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1145\/383779.383783","volume":"2","author":"V. Lifschitz","year":"2001","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACM Transactions on Computational Logic\u00a02(4), 526\u2013541 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer (1987)","DOI":"10.1007\/978-3-642-83189-8"},{"key":"16_CR11","unstructured":"Rosati, R.: \n                    $\\mathcal{DL}+$\n                  log: Tight integration of description logics and disjunctive Datalog. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) KR 2006, pp. 68\u201378 (2006)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1007\/978-3-642-25073-6_40","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"Y.-D. Shen","year":"2011","unstructured":"Shen, Y.-D., Wang, K.: Extending logic programs with description logic expressions for the Semantic Web. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol.\u00a07031, pp. 633\u2013648. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39666-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T15:52:01Z","timestamp":1557935521000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39666-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642396656","9783642396663"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39666-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}