{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:53:52Z","timestamp":1743144832549,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"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_4","type":"book-chapter","created":{"date-parts":[[2017,6,13]],"date-time":"2017-06-13T02:55:48Z","timestamp":1497322548000},"page":"37-52","source":"Crossref","is-referenced-by-count":1,"title":["Three Methods for Revising Hybrid Knowledge Bases"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Binnewies","sequence":"first","affiliation":[]},{"given":"Zhiqiang","family":"Zhuang","sequence":"additional","affiliation":[]},{"given":"Kewen","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,14]]},"reference":[{"issue":"2","key":"4_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE 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. Symbolic Logic 50(2), 510\u2013530 (1985)","journal-title":"J. Symbolic Logic"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Binnewies, S., Zhuang, Z., Wang, K.: Partial meet revision and contraction in logic programs. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, AAAI 2015, pp. 1439\u20131445. AAAI Press, Palo Alto (2015)","DOI":"10.1609\/aaai.v29i1.9412"},{"issue":"1","key":"4_CR3","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/s10115-010-0294-z","volume":"25","author":"J Bruijn de","year":"2010","unstructured":"de Bruijn, J., Pearce, D., Polleres, A., Valverde, A.: A semantical framework for hybrid knowledge bases. Knowl. Inf. Syst. 25(1), 81\u2013104 (2010)","journal-title":"Knowl. Inf. Syst."},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1145\/234286.1057820","volume-title":"History of Programming Languages\u2013II","author":"A Colmerauer","year":"1996","unstructured":"Colmerauer, A., Roussel, P.: The birth of prolog. In: Bergin Jr., T.J., Gibson Jr., R.G. (eds.) History of Programming Languages\u2013II, pp. 331\u2013367. ACM, New York (1996)"},{"key":"4_CR5","unstructured":"Dalal, M.: Investigations into a theory of knowledge base revision: preliminary report. In: Proceedings of the Seventh National Conference on Artificial Intelligence, pp. 475\u2013479 (1988)"},{"issue":"2","key":"4_CR6","doi-asserted-by":"crossref","first-page":"14:1","DOI":"10.1145\/2480759.2480766","volume":"14","author":"JP Delgrande","year":"2013","unstructured":"Delgrande, J.P., Schaub, T., Tompits, H., Woltran, S.: A model-theoretic approach to belief change in answer set programming. ACM Trans. Comput. Logic 14(2), 14:1\u201314:46 (2013)","journal-title":"ACM Trans. Comput. Logic"},{"key":"4_CR7","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. 5500, pp. 1\u201349. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-04581-3_1"},{"issue":"2","key":"4_CR8","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF00284974","volume":"20","author":"A Fuhrmann","year":"1991","unstructured":"Fuhrmann, A.: Theory contraction through base contraction. J. Philos. Logic 20(2), 175\u2013203 (1991)","journal-title":"J. Philos. Logic"},{"key":"4_CR9","series-title":"International Handbooks on Information Systems","first-page":"1","volume-title":"Handbook on Ontologies","author":"N Guarino","year":"2009","unstructured":"Guarino, N., Oberle, D., Staab, S.: What is an ontology? In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. International Handbooks on Information Systems, pp. 1\u201317. Springer, Berlin Heidelberg (2009)"},{"issue":"2","key":"4_CR10","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1111\/j.1755-2567.1989.tb00725.x","volume":"55","author":"SO Hansson","year":"1989","unstructured":"Hansson, S.O.: New operators for theory change. Theoria 55(2), 114\u2013132 (1989)","journal-title":"Theoria"},{"issue":"6","key":"4_CR11","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1007\/BF01054039","volume":"22","author":"SO Hansson","year":"1993","unstructured":"Hansson, S.O.: Reversing the levi identity. J. Philos. Logic 22(6), 637\u2013669 (1993)","journal-title":"J. Philos. Logic"},{"key":"4_CR12","series-title":"International Handbooks on Information Systems","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/978-3-540-92673-3_5","volume-title":"Handbook on Ontologies","author":"P Hitzler","year":"2009","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, Berlin Heidelberg (2009)"},{"key":"4_CR13","unstructured":"Kowalski, R.: Predicate logic as a programming language. In: Proceedings of the IFIP Congress, pp. 569\u2013574 (1974)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/978-3-642-23032-5_7","volume-title":"Reasoning Web. Semantic Technologies for the Web of Data","author":"A Krisnadhi","year":"2011","unstructured":"Krisnadhi, A., Maier, F., Hitzler, P.: OWL and Rules. In: Polleres, A., d\u2019Amato, C., Arenas, M., Handschuh, S., Kroner, P., Ossowski, S., Patel-Schneider, P. (eds.) Reasoning Web 2011. LNCS, vol. 6848, pp. 382\u2013415. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-23032-5_7"},{"key":"4_CR15","first-page":"93","volume-title":"Perspectives on Ontology Learning","author":"FA Lisi","year":"2014","unstructured":"Lisi, F.A.: Learning onto-relational rules with inductive logic programming. In: Lehmann, J., V\u00f6lker, J. (eds.) Perspectives on Ontology Learning, pp. 93\u2013111. IOS Press Amsterdam, Studies on the Semantic Web (2014)"},{"issue":"1\u20132","key":"4_CR16","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1111\/j.1755-2567.1997.tb00737.x","volume":"63","author":"D Makinson","year":"1997","unstructured":"Makinson, D.: Screened revision. Theoria 63(1\u20132), 14\u201323 (1997)","journal-title":"Theoria"},{"key":"4_CR17","unstructured":"Nebel, B.: Belief revision and default reasoning: syntax-based approaches. In: Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR\u201991). pp. 417\u2013428. Morgan Kaufmann, San Francisco (1991)"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/978-3-540-89982-2_46","volume-title":"Logic Programming","author":"D Pearce","year":"2008","unstructured":"Pearce, D., Valverde, A.: Quantified equilibrium logic and foundations for answer set programs. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 546\u2013560. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-89982-2_46"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BFb0023426","volume-title":"Logics in AI","author":"H Rott","year":"1992","unstructured":"Rott, H.: Modellings for belief change: base contraction, multiple contraction, and epistemic entrenchment (preliminary report). In: Pearce, D., Wagner, G. (eds.) JELIA 1992. LNCS, vol. 633, pp. 139\u2013153. Springer, Heidelberg (1992). doi: 10.1007\/BFb0023426"},{"key":"4_CR20","unstructured":"Satoh, K.: Nonmonotonic reasoning by minimal belief revision. In: Proceedings of the International Conference on Fifth Generation Computer Systems, pp. 455\u2013462 (1988)"},{"key":"4_CR21","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/j.artint.2015.07.008","volume":"229","author":"M Slota","year":"2015","unstructured":"Slota, M., Leite, J., Swift, T.: On updates of hybrid knowledge bases composed of ontologies and rules. Artif. Intell. 229, 33\u2013104 (2015)","journal-title":"Artif. Intell."},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/978-3-642-40564-8_54","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"Y Wang","year":"2013","unstructured":"Wang, Y., Zhuang, Z., Wang, K.: Belief change in nonmonotonic multi-context systems. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol. 8148, pp. 543\u2013555. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40564-8_54"},{"issue":"2","key":"4_CR23","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/s10992-011-9178-2","volume":"40","author":"R Wassermann","year":"2011","unstructured":"Wassermann, R.: On AGM for non-classical logics. J. Philos. Logic 40(2), 271\u2013294 (2011)","journal-title":"J. Philos. Logic"},{"issue":"1","key":"4_CR24","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1613\/jair.5050","volume":"56","author":"Z Zhuang","year":"2016","unstructured":"Zhuang, Z., Wang, Z., Wang, K., Qi, G.: DL-lite contraction and revision. J. Artif. Intell. Res. 56(1), 329\u2013378 (2016)","journal-title":"J. Artif. Intell. Res."}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,24]],"date-time":"2024-06-24T18:50:35Z","timestamp":1719255035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61252-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319612515","9783319612522"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61252-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}