{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T10:05:52Z","timestamp":1649066752988},"reference-count":23,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Semantic Computing"],"published-print":{"date-parts":[[2011,9]]},"abstract":"<jats:p> In this paper, a framework for fusing several Boolean knowledge bases together is presented. The focus is on detecting inconsistencies and overcoming them so that a consistent global knowledge base is obtained. The framework is based on two cornerstones: detecting inconsistencies using algorithmic techniques to compute minimally unsatisfiable sub-formulas, and adopting a logic-based weakening approach to restore consistency for the fused knowledge. The dynamics in the framework in terms of both model-theoretic and the fixpoint semantics is then investigated. <\/jats:p>","DOI":"10.1142\/s1793351x11001262","type":"journal-article","created":{"date-parts":[[2012,2,21]],"date-time":"2012-02-21T10:39:53Z","timestamp":1329820793000},"page":"323-334","source":"Crossref","is-referenced-by-count":0,"title":["A FRAMEWORK FOR HANDLING LOGICAL INCONSISTENCIES IN THE FUSION OF BOOLEAN KNOWLEDGE BASES"],"prefix":"10.1142","volume":"05","author":[{"given":"\u00c9RIC","family":"GR\u00c9GOIRE","sequence":"first","affiliation":[{"name":"CRIL CNRS UMR 8188 and Universit\u00e9 d'Artois, rue Jean Souvraz, F-62307 Lens, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"DU","family":"ZHANG","sequence":"additional","affiliation":[{"name":"Department of Computer Science, California State University, Sacramento, CA 95819-6021, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,4,7]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1992.tb00337.x"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1109\/5254.747902"},{"key":"rf4","first-page":"233","volume":"3","author":"Cholvy L.","journal-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90018-S"},{"key":"rf8","volume-title":"Reasoning about Knowledge","author":"Fagin R.","year":"1995"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00330-3"},{"key":"rf10","volume-title":"Ontological Engineering","author":"Gomez-Perez A.","year":"2004"},{"key":"rf11","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2005.01.005"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2005.08.001"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-007-9019-7"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2007.06.066"},{"key":"rf20","volume-title":"The Logic of Knowledge Bases","author":"Levesque H. J.","year":"2000"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(95)00019-4"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843098000040"},{"key":"rf23","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90032-9"},{"key":"rf24","doi-asserted-by":"publisher","DOI":"10.1109\/5254.683180"},{"key":"rf26","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(88)90042-6"},{"key":"rf27","volume":"12","author":"Plant R.","journal-title":"Knowledge Based Systems (Special Issue on Verification and Validation)"},{"key":"rf28","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"rf29","volume-title":"Principles of the Business Rule Approach","author":"Ross R. G.","year":"2003"},{"key":"rf31","doi-asserted-by":"publisher","DOI":"10.1145\/176567.176571"},{"key":"rf33","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6916-6"},{"key":"rf35","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-7051(99)00032-5"}],"container-title":["International Journal of Semantic Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S1793351X11001262","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T17:48:07Z","timestamp":1565200087000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S1793351X11001262"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":23,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2012,4,7]]},"published-print":{"date-parts":[[2011,9]]}},"alternative-id":["10.1142\/S1793351X11001262"],"URL":"https:\/\/doi.org\/10.1142\/s1793351x11001262","relation":{},"ISSN":["1793-351X","1793-7108"],"issn-type":[{"value":"1793-351X","type":"print"},{"value":"1793-7108","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,9]]}}}