{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:54Z","timestamp":1761611214183},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2007,7,21]],"date-time":"2007-07-21T00:00:00Z","timestamp":1184976000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2007,8,22]]},"DOI":"10.1007\/s10472-007-9074-1","type":"journal-article","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T07:52:48Z","timestamp":1184917968000},"page":"389-415","source":"Crossref","is-referenced-by-count":24,"title":["Distance semantics for database repair"],"prefix":"10.1007","volume":"50","author":[{"given":"Ofer","family":"Arieli","sequence":"first","affiliation":[]},{"given":"Marc","family":"Denecker","sequence":"additional","affiliation":[]},{"given":"Maurice","family":"Bruynooghe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,7,21]]},"reference":[{"key":"9074_CR1","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. PODS\u201999, pp. 68\u201379. ACM Press (1999)","DOI":"10.1145\/303976.303983"},{"issue":"4\u20135","key":"9074_CR2","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1017\/S1471068403001832","volume":"3","author":"M. Arenas","year":"2003","unstructured":"Arenas, M., Bertossi, L., Chomicki, J.: Answer sets for consistent query answering in inconsistent databases. Theory Pract. Log. Program. 3(4\u20135), 393\u2013424 (2003)","journal-title":"Theory Pract. Log. Program."},{"key":"9074_CR3","doi-asserted-by":"crossref","unstructured":"Arieli, O., Denecker, M., Bruynooghe, M.: Distance-based repairs of databasese. In: Fisher, M. et al. (ed.) Proc. JELIA\u201906. LNAI, vol. 4160, pp. 43\u201355. Springer (2006)","DOI":"10.1007\/11853886_6"},{"key":"9074_CR4","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1613\/jair.1322","volume":"21","author":"O. Arieli","year":"2004","unstructured":"Arieli, O., Denecker, M., Van Nuffelen, B., Bruynooghe, M.: Coherent integration of databases by abductive logic programming. Artif. Intell. Rev. 21, 245\u2013286 (2004)","journal-title":"Artif. Intell. Rev."},{"issue":"1\u20132","key":"9074_CR5","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/s10472-005-9012-z","volume":"46","author":"O. Arieli","year":"2006","unstructured":"Arieli, O., Denecker, M., Van Nuffelen, B., Bruynooghe, M.: Computational methods for database repair by signed formulae. Ann. Math. Artif. Intell. 46(1\u20132), 4\u201337 (2006)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"2","key":"9074_CR6","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/1147376.1147391","volume":"35","author":"L. Bertossi","year":"2006","unstructured":"Bertossi, L.: Consistent query answering in databases. SIGMOD Rec. 35(2), 68\u201376 (2006)","journal-title":"SIGMOD Rec."},{"key":"9074_CR7","unstructured":"Bertossi, L.: Some research directions in consistent query answering: a vision. In: Chomicki, J., Wijsen, J. (eds.) Pre-proceedings of the EDBT\u201906 Workshop on Inconsistency and Incompleteness in Databases, pp. 109\u2013113 (2006)"},{"key":"9074_CR8","doi-asserted-by":"crossref","unstructured":"Bertossi, L., Bravo, L., Franconi, E., Lopatenko, A.: Complexity and approximation of fixing numerical attributes in databases under integrity constraints. In: Proc. DBLP\u201905. LNCS, vol. 3774, pp. 262\u2013278. Springer (2005)","DOI":"10.1007\/11601524_17"},{"key":"9074_CR9","doi-asserted-by":"crossref","unstructured":"Bertossi, L., Chomicki, J., Cort\u00e9s, A., Gutierrez, C.: Consistent answers from integrated data sources. In: Proc. FQAS\u20192002. LNCS, vol. 2522, pp. 71\u201385. Springer (2002)","DOI":"10.1007\/3-540-36109-X_6"},{"issue":"1\u20132","key":"9074_CR10","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1026153912205","volume":"40","author":"L. Bertossi","year":"2004","unstructured":"Bertossi, L., Schwind, C.: Database repairs and analytic tableau. Ann. Math. Artif. Intell. 40(1\u20132), 5\u201335 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9074_CR11","doi-asserted-by":"crossref","unstructured":"Cali, A., Lembo, D., Rosati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: Proc. PODS\u201903, pp. 260\u2013271. ACM Press (2003)","DOI":"10.1145\/773153.773179"},{"key":"9074_CR12","doi-asserted-by":"crossref","unstructured":"Chomicki, J.: Consistent query answering: Five easy pieces. In: Proc. ICDT\u201907. LNCS, vol. 4353, pp. 1\u201317. Springer (2007)","DOI":"10.1007\/11965893_1"},{"key":"9074_CR13","doi-asserted-by":"crossref","unstructured":"Chomicki, J., Marchinkowski, J.: On the computational complexity of minimal-change integrity maintenance in relational databases. In: Bertossi, L., Hunter, A., Schaub, T. (eds.) Inconsistency Tolerance. LNCS, vol. 3300, pp. 119\u2013150. Springer (2004)","DOI":"10.1007\/978-3-540-30597-2_5"},{"issue":"1\u20132","key":"9074_CR14","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1016\/j.ic.2004.04.007","volume":"197","author":"J. Chomicki","year":"2005","unstructured":"Chomicki, J., Marchinkowski, J.: Minimal-change integrity maintenance using tuple deletion. Inf. Comput. 197(1\u20132), 90\u2013121 (2005)","journal-title":"Inf. Comput."},{"key":"9074_CR15","doi-asserted-by":"crossref","unstructured":"Chomicki, J., Marchinkowski, J., Staworko, S.: Computing consistent query answers using conflict hypergraphs. In: Proc. CIKM\u201904, pp. 417\u2013426 (2004)","DOI":"10.1145\/1031171.1031254"},{"key":"9074_CR16","unstructured":"Dalal, M.: Investigations into a theory of knowledge base revision. In: Proc. AAAI\u201988, pp. 475\u2013479. AAAI Press (1988)"},{"issue":"3","key":"9074_CR17","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E. Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374\u2013425 (2001)","journal-title":"ACM Comput. Surv."},{"key":"9074_CR18","doi-asserted-by":"crossref","unstructured":"de Amo, S., Carnielli, W.A., Marcos, J.: A logical framework for integrating inconsistent information in multiple databases. In: Proc. FoIKS\u201902. LNCS, vol. 2284, pp. 67\u201384. Springer (2002)","DOI":"10.1007\/3-540-45758-5_5"},{"key":"9074_CR19","unstructured":"Delgrande, J.: Preliminary considerations on the modelling of belief change operators by metric spaces. In: Proc. NMR\u201904, pp. 118\u2013125 (2004)"},{"key":"9074_CR20","unstructured":"Dieudonn\u00e9, J. (ed.): Foundations of Modern Analysis. Academic Press (1969)"},{"key":"9074_CR21","doi-asserted-by":"crossref","unstructured":"Eiter, T.: Data integration and answer set programming. In: Proc. LPNMR\u201905. LNCS, vol. 3662, pp. 13\u201325. Springer (2005)","DOI":"10.1007\/11546207_2"},{"key":"9074_CR22","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/s002360050075","volume":"34","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Mannila, H.: Distance measure for point sets and their computation. Acta Inform. 34, 109\u2013133 (1997)","journal-title":"Acta Inform."},{"key":"9074_CR23","doi-asserted-by":"crossref","unstructured":"Fazzinga, B., Flesca, S., Furfaro, F., Parisi, F.: DART: a data acquisition and repairing tool. In: Grust, T. et al. (ed.) Current Trends in Database Technology \u2013 Proc. of the EDBT\u201906 Workshops. LNCS, vol. 4254, pp. 297\u2013317. Springer (2006)","DOI":"10.1007\/11896548_25"},{"key":"9074_CR24","doi-asserted-by":"crossref","unstructured":"Flesca, S., Furfaro, F., Parisi, F.: Consistent query answers on numerical databases under aggregate constraints. In: Proc. DBLP\u201905. LNCS, vol. 3774, pp. 279\u2013294. Springer (2005)","DOI":"10.1007\/11601524_18"},{"key":"9074_CR25","doi-asserted-by":"crossref","unstructured":"Franconi, E., Palma, A.L., Leone, N., Perri, D., Scarcello, F.: Census data repair: A challenging application of disjunctive logic programming. In: Proc. LPAR\u201901. LNCS, vol. 2250, pp. 561\u2013578. Springer (2001)","DOI":"10.1007\/3-540-45653-8_39"},{"key":"9074_CR26","doi-asserted-by":"crossref","unstructured":"Greco, G., Greco, S., Zumpano, E.: A logic programming approach to the integration, repairing and querying of inconsistent databases. In: Proc. ICLP\u201901. LNCS, vol. 2237, pp. 348\u2013363. Springer (2001)","DOI":"10.1007\/3-540-45635-X_31"},{"key":"9074_CR27","doi-asserted-by":"crossref","unstructured":"Greco, S., Zumpano, E.: Querying inconsistent databases. In: Proc. LPAR\u20192000. LNAI, vol. 1955, pp. 308\u2013325. Springer (2000)","DOI":"10.1007\/3-540-44404-1_20"},{"key":"9074_CR28","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A. Grove","year":"1988","unstructured":"Grove, A.: Two modellings for theory change. J. Philos. Logic 17, 157\u2013180 (1988)","journal-title":"J. Philos. Logic"},{"key":"9074_CR29","unstructured":"Konieczny, S., Lang, J., Marquis, P.: Distance-based merging: a general framework and some complexity results. In: Proc KR\u201902, pp. 97\u2013108. Morgan Kaufmann (2002)"},{"issue":"5","key":"9074_CR30","doi-asserted-by":"crossref","first-page":"773","DOI":"10.1093\/logcom\/12.5.773","volume":"12","author":"S. Konieczny","year":"2002","unstructured":"Konieczny, S., Pino P\u00e9rez, R.: Merging information under constraints: a logical framework. Log. Comput. 12(5),773\u2013808 (2002)","journal-title":"Log. Comput."},{"issue":"1","key":"9074_CR31","doi-asserted-by":"crossref","first-page":"295","DOI":"10.2307\/2694923","volume":"66","author":"D. Lehmann","year":"2001","unstructured":"Lehmann, D., Magidor, M., Schlechta, K.: Distance semantics for belief revision. J. Symb. Log. 66(1), 295\u2013317 (2001)","journal-title":"J. Symb. Log."},{"key":"9074_CR32","doi-asserted-by":"crossref","unstructured":"Lenzerini, M.: Data integration: a theoretical perspective. In: Proc. PODS\u201902, pp. 233\u2013246. ACM Press (2002)","DOI":"10.1145\/543613.543644"},{"key":"9074_CR33","unstructured":"Leone, N., Eiter, T., Faber, W., Fink, M., Gottlob, G., Greco, G.: Boosting information integration: the INFOMIX system. In: Proc. SEBD\u201905, pp. 55\u201366 (2005)"},{"key":"9074_CR34","unstructured":"Levy, A., Rajaraman, A., Ordille J.J.: Querying heterogeneous information sources using source descriptions. In: Proc. VLDB-96, pp. 251\u2013262. Morgan Kaufmann (1996)"},{"key":"9074_CR35","unstructured":"Liberatore, P., Schaerf, M.: BReLS: a system for the integration of knowledge bases. In: Proc. KR\u20192000, pp. 145\u2013152. Morgan Kaufmann (2000)"},{"key":"9074_CR36","unstructured":"Lopatenko, A., Bertossi, L.: Complexity of consistent query answering in databases under cardinality-based and incremental repair semantics. An extended version of [37]; Corr Archiv paper cs.DB\/0604002."},{"key":"9074_CR37","doi-asserted-by":"crossref","unstructured":"Lopatenko, A., Bertossi, L.: Complexity of consistent query answering in databases under cardinality-based and incremental repair semantics. In: Proc. ICDT\u201907. LNCS, vol. 4353, pp. 179\u2013193. Springer (2007)","DOI":"10.1007\/11965893_13"},{"key":"9074_CR38","doi-asserted-by":"crossref","unstructured":"Nienhuys-Cheng, S.H.: Distance between Herbrand interpretations: a measure for approximations to a target concept. In: Proc. ILP\u201997. LNCS, vol. 1297, pp. 213\u2013226. Springer (1997)","DOI":"10.1007\/3540635149_50"},{"key":"9074_CR39","unstructured":"Peppas, P., Chopra, S., Foo, N.: Distance semantics for relevance-sensitive belief revision. In: Proc. KR\u201904, pp. 319\u2013328. AAAI Press (2004)"},{"key":"9074_CR40","unstructured":"Ramon, J.: Clustering and instance based learning in first order logic. Ph.D. thesis, K. U. Leuven. (2002)"},{"issue":"10","key":"9074_CR41","doi-asserted-by":"crossref","first-page":"765","DOI":"10.1007\/PL00013304","volume":"37","author":"J. Ramon","year":"2001","unstructured":"Ramon, J., Bruynooghe, M.: A polynomial time computable metric between point sets. Acta Inform. 37(10), 765\u2013780 (2001)","journal-title":"Acta Inform."},{"key":"9074_CR42","doi-asserted-by":"crossref","unstructured":"Reiter, R.: On closed world databases. In: Logic and Databases, pp. 55\u201376. Plenum Press (1978)","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"9074_CR43","doi-asserted-by":"crossref","unstructured":"Reiter, R.: Towards a logical reconstruction of relational database theory. In: On Conceptual Modelling (Intervale), pp. 191\u2013233 (1982)","DOI":"10.1007\/978-1-4612-5196-5_8"},{"key":"9074_CR44","doi-asserted-by":"crossref","unstructured":"Spohn, W.: Ordinal conditional functions: a dynamic theory of epistemic states. In: Harper, W.L., Skyrms, B. (eds.) Belief Change and Statistics, vol. II, pp. 105\u2013134. Kluwer (1988)","DOI":"10.1007\/978-94-009-2865-7_6"},{"issue":"2","key":"9074_CR45","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/S0304-3975(99)00219-4","volume":"239","author":"J. Ullman","year":"2000","unstructured":"Ullman, J.: Information integration using logical views. Theor. Comp. Sci. 239(2), 189\u2013210 (2000)","journal-title":"Theor. Comp. Sci."},{"key":"9074_CR46","doi-asserted-by":"crossref","unstructured":"Wijsen, J.: Making more out of an inconsistent database. In: Proc. ADBIS\u201904. LNCS, vol. 3255, pp. 291\u2013305. Springer (2004)","DOI":"10.1007\/978-3-540-30204-9_20"},{"issue":"3","key":"9074_CR47","doi-asserted-by":"crossref","first-page":"722","DOI":"10.1145\/1093382.1093385","volume":"30","author":"J. Wijsen","year":"2005","unstructured":"Wijsen, J.: Database repairing using updates. ACM Trans. Database Syst. 30(3), 722\u2013768 (2005)","journal-title":"ACM Trans. Database Syst."},{"key":"9074_CR48","unstructured":"Wijsen, J.: A note on database repairing by value modification. In: Chomicki, J., Wijsen, J. (eds.) Pre-proceedings of the EDBT\u201906 Workshop on Inconsistency and Incompleteness in Databases, pp. 104\u2013107 (2006)"},{"key":"9074_CR49","unstructured":"Winslett, M.: Reasoning about action using a possible models approach. In: Proc. AAAI\u201988, pp. 89\u201393. AAAI press (1988)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-007-9074-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-007-9074-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-007-9074-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T17:51:50Z","timestamp":1559152310000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-007-9074-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,21]]},"references-count":49,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2007,8,22]]}},"alternative-id":["9074"],"URL":"https:\/\/doi.org\/10.1007\/s10472-007-9074-1","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,7,21]]}}}