{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:49:05Z","timestamp":1762102145387},"publisher-location":"Cham","reference-count":51,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319676418"},{"type":"electronic","value":"9783319676425"}],"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-67642-5_21","type":"book-chapter","created":{"date-parts":[[2018,1,31]],"date-time":"2018-01-31T20:07:44Z","timestamp":1517429264000},"page":"254-265","source":"Crossref","is-referenced-by-count":2,"title":["Database Inconsistency Measures and Their Applications"],"prefix":"10.1007","author":[{"given":"Hendrik","family":"Decker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjay","family":"Misra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,23]]},"reference":[{"key":"21_CR1","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"key":"21_CR2","doi-asserted-by":"crossref","DOI":"10.1515\/9783110871739","volume-title":"Ma\u00df- und Integrationstheorie","author":"H Bauer","year":"1992","unstructured":"Bauer, H.: Ma\u00df- und Integrationstheorie, 2nd edn. De Greuter, Berlin (1992)","edition":"2"},{"key":"21_CR3","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. 3300. Springer, Heidelberg (2005)"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-319-11558-0_27","volume-title":"Logics in Artificial Intelligence","author":"P Besnard","year":"2014","unstructured":"Besnard, P.: Revisiting postulates for inconsistency measures. In: Ferm\u00e9, E., Leite, J. (eds.) JELIA 2014. LNCS (LNAI), vol. 8761, pp. 383\u2013396. Springer, Cham (2014). doi: 10.1007\/978-3-319-11558-0_27"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-319-45856-4_23","volume-title":"Scalable Uncertainty Management","author":"P Besnard","year":"2016","unstructured":"Besnard, P.: Forgetting-based inconsistency measure. In: Schockaert, S., Senellart, P. (eds.) SUM 2016. LNCS (LNAI), vol. 9858, pp. 331\u2013337. Springer, Cham (2016). doi: 10.1007\/978-3-319-45856-4_23"},{"key":"21_CR6","series-title":"CSLI Lecture Notes","volume-title":"Nonmonotonic Reasoning: An Overview","author":"G Brewka","year":"1997","unstructured":"Brewka, G., Dix, J., Konolige, K.: Nonmonotonic Reasoning: An Overview. CSLI Lecture Notes, vol. 73. CSLI Publications, Stanford (1997)"},{"key":"21_CR7","series-title":"Surveys in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic Programming and Databases","author":"S Ceri","year":"1990","unstructured":"Ceri, S., Gottlob, G., Tanaka, L.: Logic Programming and Databases. Surveys in Computer Science. Springer, Heidelberg (1990)"},{"key":"21_CR8","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K Clark","year":"1978","unstructured":"Clark, K.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293\u2013322. Plenum, New York (1978)"},{"issue":"6","key":"21_CR9","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E Codd","year":"1970","unstructured":"Codd, E.: A relational model of data for large shared data banks. CACM 13(6), 377\u2013387 (1970)","journal-title":"CACM"},{"issue":"4","key":"21_CR10","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N Costa da","year":"1974","unstructured":"da Costa, N.: On the theory of inconsistent formal systems. Notre Dame J. Form. Log. 15(4), 497\u2013510 (1974)","journal-title":"Notre Dame J. Form. Log."},{"key":"21_CR11","unstructured":"de Bona, G., Finger, M.: Notes on measuring inconsistency in probabilistic logic. University of Sao Paulo (2014)"},{"key":"21_CR12","first-page":"114","volume-title":"5th \u00d6GAI","author":"H Decker","year":"1989","unstructured":"Decker, H.: The range form of databases and queries or: how to avoid floundering. In: Retti, J., Leidlmair, K. (eds.) 5th \u00d6GAI, pp. 114\u2013123. Springer, Heidelberg (1989)"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/3-540-36596-6_4","volume-title":"Semantics in Databases","author":"H Decker","year":"2003","unstructured":"Decker, H.: Historical and computational aspects of paraconsistency in view of the logic foundation of databases. In: Bertossi, L., Katona, G.O.H., Schewe, K.-D., Thalheim, B. (eds.) SiD 2001. LNCS, vol. 2582, pp. 63\u201381. Springer, Heidelberg (2003). doi: 10.1007\/3-540-36596-6_4"},{"key":"21_CR14","unstructured":"Decker, H.: A case for paraconsistent logic as a foundation of future information systems. In: 17th CAiSE Workshops, vol. 2, pp. 451\u2013461. FEUP Edi\u00e7oes (2005)"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Decker, H.: Quantifying the quality of stored data by measuring their integrity. In: Proceedings of ICADIWT 2009, Workshop SMM, pp. 823\u2013828. IEEE (2009)","DOI":"10.1109\/ICADIWT.2009.5273931"},{"key":"21_CR16","unstructured":"Decker, H.: How to confine inconsistency or, wittgenstein only scratched the surface. In: 8th ECAP, pp. 70\u201375. Technical University of Munich (2010)"},{"key":"21_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-36008-4_7","volume-title":"Semantics in Data and Knowledge Bases","author":"H Decker","year":"2013","unstructured":"Decker, H.: Measure-based inconsistency-tolerant maintenance of database integrity. In: Schewe, K.-D., Thalheim, B. (eds.) SDKB 2011. LNCS, vol. 7693, pp. 149\u2013173. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-36008-4_7"},{"key":"21_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-642-31128-4_13","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2012","author":"H Decker","year":"2012","unstructured":"Decker, H.: New measures for maintaining the quality of databases. In: Murgante, B., Gervasi, O., Misra, S., Nedjah, N., Rocha, A.M.A.C., Taniar, D., Apduhan, B.O. (eds.) ICCSA 2012. LNCS, vol. 7336, pp. 170\u2013185. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-31128-4_13"},{"issue":"2","key":"21_CR19","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1109\/TKDE.2010.87","volume":"23","author":"H Decker","year":"2011","unstructured":"Decker, H., Martinenghi, D.: Inconsistency-tolerant integrity checking. IEEE Trans. Knowl. Data Eng. 23(2), 218\u2013234 (2011)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"21_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-642-04947-7_26","volume-title":"Advances in Conceptual Modeling - Challenging Perspectives","author":"H Decker","year":"2009","unstructured":"Decker, H., Martinenghi, D.: Modeling, measuring and monitoring the quality of information. In: Heuser, C.A., Pernul, G. (eds.) ER 2009. LNCS, vol. 5833, pp. 212\u2013221. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-04947-7_26"},{"key":"21_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1007\/978-3-319-42092-9_40","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2016","author":"H Decker","year":"2016","unstructured":"Decker, H., Misra, S.: Measure-based repair checking by integrity checking. In: Gervasi, O., et al. (eds.) ICCSA 2016. LNCS, vol. 9790, pp. 530\u2013543. Springer, Cham (2016). doi: 10.1007\/978-3-319-42092-9_40"},{"issue":"1","key":"21_CR22","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.fss.2003.10.011","volume":"144","author":"D Dubois","year":"2004","unstructured":"Dubois, D., Prade, H.: Possibilistic logic: a retrospective and prospective view. Fuzzy Sets Syst. 144(1), 3\u201323 (2004)","journal-title":"Fuzzy Sets Syst."},{"issue":"2","key":"21_CR23","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","volume":"16","author":"H Gallaire","year":"1984","unstructured":"Gallaire, H., Minker, J., Nicolas, J.-M.: Logic and databases: a deductive approach. ACM Comput. Surv. 16(2), 153\u2013185 (1984)","journal-title":"ACM Comput. Surv."},{"issue":"2","key":"21_CR24","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C Alchourron","year":"1985","unstructured":"Alchourron, C., Gardenfors, A., Makinson, D.: On the logic of theory change: partialo meet contraction and revision functions. J. Symb. Log. 50(2), 510\u2013521 (1985)","journal-title":"J. Symb. Log."},{"key":"21_CR25","doi-asserted-by":"crossref","unstructured":"Gaye, M., Sall, O., Bousso, M., Lo, M.: Measuring inconsistencies propagation from change operation based on ontology partitioning. In: 11th SITIS, pp. 178\u2013184 (2015)","DOI":"10.1109\/SITIS.2015.18"},{"key":"21_CR26","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: 5th ICLP, pp. 1070\u20131080. MIT Press (1988)"},{"issue":"3","key":"21_CR27","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1305\/ndjfl\/1093888404","volume":"19","author":"J Grant","year":"1978","unstructured":"Grant, J.: Classifications for inconsistent theories. Notre Dame J. Form. Log. 19(3), 435\u2013444 (1978)","journal-title":"Notre Dame J. Form. Log."},{"issue":"2","key":"21_CR28","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/s10844-006-2974-4","volume":"27","author":"J Grant","year":"2006","unstructured":"Grant, J., Hunter, A.: Measuring inconsistency in knowledgebases. J. Intell. Inf. Syst. 27(2), 159\u2013184 (2006)","journal-title":"J. Intell. Inf. Syst."},{"issue":"3","key":"21_CR29","doi-asserted-by":"crossref","first-page":"445","DOI":"10.2307\/2983326","volume":"159","author":"D Hand","year":"1996","unstructured":"Hand, D.: Statistics and the theory of measurement. J. R. Statist. Soc. Ser. A 159(3), 445\u2013492 (1996)","journal-title":"J. R. Statist. Soc. Ser. A"},{"key":"21_CR30","unstructured":"Hunter, A.: Measuring inconsistency in knowledge via quasi-classical models. In: 18th AAAI, pp. 68\u201373 (2002)"},{"key":"21_CR31","unstructured":"Hunter, A.: Evaluating significance of inonsistencies. In: 18th IJCAI, pp. 468\u2013478 (2003)"},{"key":"21_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-540-30597-2_7","volume-title":"Inconsistency Tolerance","author":"A Hunter","year":"2005","unstructured":"Hunter, A., Konieczny, S.: Approaches to measuring inconsistent information. In: Bertossi, L., Hunter, A., Schaub, T. (eds.) Inconsistency Tolerance. LNCS, vol. 3300, pp. 191\u2013236. Springer, Heidelberg (2005). doi: 10.1007\/978-3-540-30597-2_7"},{"issue":"14","key":"21_CR33","first-page":"1007","volume":"174","author":"A Hunter","year":"2010","unstructured":"Hunter, A., Konieczny, S.: On the measure of conflicts: shapley inconsistency values. AI 174(14), 1007\u20131026 (2010)","journal-title":"AI"},{"key":"21_CR34","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1023\/A:1015015709557","volume":"31","author":"K Knight","year":"2002","unstructured":"Knight, K.: Measuring inconsistency. J. Philos. Log. 31, 77\u201398 (2002)","journal-title":"J. Philos. Log."},{"key":"21_CR35","unstructured":"Konieczny, S., Lang, J., Marquis, P.: Quantifying information and contradiction in propositional logic. In: 18th IJCAI, pp. 106\u2013111 (2003)"},{"key":"21_CR36","volume-title":"Logic for Problem Solving","author":"R Kowalski","year":"1979","unstructured":"Kowalski, R.: Logic for Problem Solving. North-Holland, New York (1979)"},{"key":"21_CR37","volume-title":"Answering Questions by Computer: A Logical Study","author":"J Kuhns","year":"1967","unstructured":"Kuhns, J.: Answering Questions by Computer: A Logical Study. Rand Corporation, Santa Monica (1967)"},{"issue":"2","key":"21_CR38","first-page":"163","volume":"6","author":"E Lozinskii","year":"1994","unstructured":"Lozinskii, E.: Information and evidence in logic systems. JETAI 6(2), 163\u2013193 (1994)","journal-title":"JETAI"},{"issue":"12\u201313","key":"21_CR39","doi-asserted-by":"crossref","first-page":"799","DOI":"10.1016\/j.artint.2010.04.023","volume":"174","author":"J Lang","year":"2010","unstructured":"Lang, J., Marquis, P.: Reasoning under inconsistency: a forgetting-based approach. Artif. Intell. 174(12\u201313), 799\u2013823 (2010)","journal-title":"Artif. Intell."},{"issue":"6","key":"21_CR40","doi-asserted-by":"crossref","first-page":"1257","DOI":"10.1093\/logcom\/exq053","volume":"21","author":"Y Ma","year":"2011","unstructured":"Ma, Y., Guilin Qi, G., Hitzler, P.: Computing inconsistency measure based on paraconsistent semantics. J. Log. Comput. 21(6), 1257\u20131281 (2011)","journal-title":"J. Log. Comput."},{"key":"21_CR41","volume-title":"Objective Knowledge: an Evolutionary Approach","author":"K Popper","year":"1979","unstructured":"Popper, K.: Objective Knowledge: an Evolutionary Approach, Revised edn. Oxford University Press, Oxford (1979)","edition":"Revised"},{"key":"21_CR42","volume-title":"Handbook of Philosophical Logic","author":"G Priest","year":"2002","unstructured":"Priest, G.: Paraconsistent logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 6. Kluwer, Dordrecht (2002)"},{"key":"21_CR43","unstructured":"Przymusinski, T.: Perfect model semantics. In: 5th ICLP, pp. 1081\u20131096. MIT Press (1988)"},{"key":"21_CR44","unstructured":"Qi, G., Hitzler, P.: Inconsistency-tolerant Reasoning with Networked Ontologies. Deliverable D1.2.4 of NeOn project. University of Karlsruhe (2008)"},{"key":"21_CR45","first-page":"55","volume-title":"Logic and Databases","author":"R Reiter","year":"1978","unstructured":"Reiter, R.: On closed world data bases. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 55\u201376. Plenum, New York (1978)"},{"issue":"3","key":"21_CR46","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1002\/j.1538-7305.1948.tb01338.x","volume":"27","author":"C Shannon","year":"1948","unstructured":"Shannon, C.: A mathematical theory of communication. Bell Syst. Tech. J. 27(3), 379\u2013423 (1948)","journal-title":"Bell Syst. Tech. J."},{"issue":"1","key":"21_CR47","first-page":"31","volume":"31","author":"M Thimm","year":"2017","unstructured":"Thimm, M.: On the compliance of rationality postulates for inconsistency measures: a more or less complete picture. KI 31(1), 31\u201339 (2017)","journal-title":"KI"},{"key":"21_CR48","unstructured":"Thimm, M., Wallner, J.: Some complexity results on inconsistency measurement. In: 15th KR, pp. 114\u2013123. AAAI (2016)"},{"issue":"4","key":"21_CR49","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M Emden van","year":"1976","unstructured":"van Emden, M., Kowalski, R.: The semantics of predicate logic as a programming language. J. ACM 23(4), 733\u2013742 (1976)","journal-title":"J. ACM"},{"issue":"3","key":"21_CR50","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K., Schlipf, J.: The well-founded semantics for general logic programs. J. ACM 38(3), 620\u2013650 (1991)","journal-title":"J. ACM"},{"key":"21_CR51","unstructured":"Wikipedia: akri. https:\/\/en.wikipedia.org\/wiki\/Principle_of_explosion"}],"container-title":["Communications in Computer and Information Science","Information and Software Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67642-5_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T03:02:38Z","timestamp":1570676558000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67642-5_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319676418","9783319676425"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67642-5_21","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]}}}