{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T22:30:31Z","timestamp":1772490631527,"version":"3.50.1"},"reference-count":64,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T00:00:00Z","timestamp":1619481600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T00:00:00Z","timestamp":1619481600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2022,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>AI systems often need to deal with inconsistent information. For this reason, since the early 2000s, some AI researchers have developed ways to measure the amount of inconsistency in a knowledge base. By now there is a substantial amount of research about various aspects of inconsistency measuring. The problem is that most of this work applies only to knowledge bases formulated as sets of formulas in propositional logic. Hence this work is not really applicable to the way that information is actually stored. The purpose of this paper is to extend inconsistency measuring to real world information. We first define the concept of <jats:italic>general information space<\/jats:italic> which encompasses various types of databases and scenarios in AI systems. Then, we show how to transform any general information space to an <jats:italic>inconsistency equivalent<\/jats:italic> propositional knowledge base, and finally apply propositional inconsistency measures to find the inconsistency of the general information space. Our method allows for the direct comparison of the inconsistency of different information spaces, even though the data is presented in different ways. We demonstrate the transformation on four general information spaces: a relational database, a graph database, a spatio-temporal database, and a Blocks world scenario, where we apply several inconsistency measures after performing the transformation. Then we review so-called rationality postulates that have been developed for propositional knowledge bases as a way to judge the intuitive properties of these measures. We show that although general information spaces may be nonmonotonic, there is a way to transform the postulates so they can be applied to general information spaces and we show which of the measures satisfy which of the postulates. Finally, we discuss the complexity of inconsistency measures for general information spaces.<\/jats:p>","DOI":"10.1007\/s10472-021-09740-8","type":"journal-article","created":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T13:06:45Z","timestamp":1619528805000},"page":"235-269","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["General information spaces: measuring inconsistency, rationality postulates, and complexity"],"prefix":"10.1007","volume":"90","author":[{"given":"John","family":"Grant","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9977-1355","authenticated-orcid":false,"given":"Francesco","family":"Parisi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,4,27]]},"reference":[{"key":"9740_CR1","doi-asserted-by":"crossref","unstructured":"Afrati, F.N., Kolaitis, P.G.: Repair checking in inconsistent databases: algorithms and complexity. In: Proceedings of International Conference on Database Theory (ICDT), pp. 31\u201341 (2009)","DOI":"10.1145\/1514894.1514899"},{"key":"9740_CR2","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proceedings of ACM Symposium on Principles of Database Systems (PODS), pp. 68\u201379 (1999)","DOI":"10.1145\/303976.303983"},{"key":"9740_CR3","doi-asserted-by":"crossref","unstructured":"Bertossi, L.E.: Measuring and computing database inconsistency via repairs. In: Proceedings of International Conference on Scalable Uncertainty Management (SUM), pp. 368\u2013372 (2018)","DOI":"10.1007\/978-3-030-00461-3_26"},{"key":"9740_CR4","doi-asserted-by":"crossref","unstructured":"Bertossi, L.E.: Repair-based degrees of database inconsistency. In: Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), pp. 195\u2013209 (2019)","DOI":"10.1007\/978-3-030-20528-7_15"},{"key":"9740_CR5","doi-asserted-by":"crossref","unstructured":"Bertossi, L.E., Hunter, A., Schaub, T.: Introduction to Inconsistency Tolerance. In: Inconsistency Tolerance, pp. 1\u201314 (2005)","DOI":"10.1007\/978-3-540-30597-2_1"},{"key":"9740_CR6","doi-asserted-by":"publisher","first-page":"103231","DOI":"10.1016\/j.artint.2019.103231","volume":"280","author":"P Besnard","year":"2020","unstructured":"Besnard, P., Grant, J.: Relative inconsistency measures. Artif. Intell. 280, 103231 (2020)","journal-title":"Artif. Intell."},{"key":"9740_CR7","unstructured":"Bleifu\u00df, T., Bornemann, L., Kalashnikov, D.V., Naumann, F., Srivastava, D.: Dbchex: Interactive exploration of data and schema change. In: Proceedings of Biennial Conference on Innovative Data Systems Research (CIDR) (2019)"},{"key":"9740_CR8","doi-asserted-by":"crossref","unstructured":"Calautti, M., Caroprese, L., Fazzinga, B., Flesca, S., Furfaro, F., Greco, S., Molinaro, C., Parisi, F., Pugliese, A., Sacca\u0307, D., Trubitsyna, I., Zumpano, E.: Dealing with Inconsistency in Databases: an Overview. In: A Comprehensive Guide through the Italian Database Research over the Last 25 Years., pp. 143\u2013167. Springer International Publishing (2018)","DOI":"10.1007\/978-3-319-61893-7_9"},{"key":"9740_CR9","doi-asserted-by":"crossref","unstructured":"Calautti, M., Libkin, L., Pieris, A.: An operational approach to consistent query answering. In: Proceedings of ACM Symposium on Principles of Database Systems (PODS), pp. 239\u2013251 (2018)","DOI":"10.1145\/3196959.3196966"},{"issue":"1-2","key":"9740_CR10","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1016\/j.ic.2004.04.007","volume":"197","author":"J Chomicki","year":"2005","unstructured":"Chomicki, J., Marcinkowski, J.: Minimal-change integrity maintenance using tuple deletions. Inf. Comput. 197(1-2), 90\u2013121 (2005)","journal-title":"Inf. Comput."},{"key":"9740_CR11","unstructured":"Codd, E.F.: The relational model for database management, version 2. Addison-Wesley (1990)"},{"key":"9740_CR12","doi-asserted-by":"publisher","first-page":"937","DOI":"10.1613\/jair.1.11852","volume":"66","author":"G De Bona","year":"2019","unstructured":"De Bona, G., Grant, J., Hunter, A., Konieczny, S.: Classifying inconsistency measures using graphs. J. Artif. Intell. Res. 66, 937\u2013987 (2019)","journal-title":"J. Artif. Intell. Res."},{"key":"9740_CR13","doi-asserted-by":"crossref","unstructured":"De Bona, G., Hunter, A.: Localizing iceberg inconsistencies. Artif. Intell. 246, 118\u2013151 (2017)","DOI":"10.1016\/j.artint.2017.02.005"},{"key":"9740_CR14","first-page":"153","volume":"34","author":"H Decker","year":"2017","unstructured":"Decker, H.: Inconsistency-tolerant database repairs and simplified repair checking by measure-based integrity checking. Trans. Large Scale Data Knowl. Centered Syst. 34, 153\u2013183 (2017)","journal-title":"Trans. Large Scale Data Knowl. Centered Syst."},{"key":"9740_CR15","unstructured":"Decker, H.: Measuring Inconsistency in Information, Studies in Logic. In: Grant, J., Martinez, M.V. (eds.), vol. 73, pp 271\u2013311. College Publications, Norway (2018)"},{"key":"9740_CR16","doi-asserted-by":"crossref","unstructured":"Decker, H., Misra, S.: Database inconsistency measures and their applications. In: Proceedings of International Conference on Information and Software Technologies (ICIST), pp. 254\u2013265 (2017)","DOI":"10.1007\/978-3-319-67642-5_21"},{"issue":"7","key":"9740_CR17","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1016\/j.ijar.2010.05.007","volume":"51","author":"D Doder","year":"2010","unstructured":"Doder, D., Raskovic, M., Markovic, Z., Ognjanovic, Z.: Measures of inconsistency and defaults. Int. J. Approx. Reason. 51(7), 832\u2013845 (2010)","journal-title":"Int. J. Approx. Reason."},{"key":"9740_CR18","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/j.artint.2014.07.008","volume":"216","author":"T Eiter","year":"2014","unstructured":"Eiter, T., Fink, M., Schu\u0307ller, P., Weinzierl, A.: Finding explanations of inconsistency in multi-context systems. Artif. Intell. 216, 233\u2013274 (2014)","journal-title":"Artif. Intell."},{"issue":"3","key":"9740_CR19","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1145\/320557.320571","volume":"2","author":"R Fagin","year":"1977","unstructured":"Fagin, R.: Multivalued dependencies and a new normal form for relational databases. ACM Trans. Database Syst. 2(3), 262\u2013278 (1977)","journal-title":"ACM Trans. Database Syst."},{"key":"9740_CR20","doi-asserted-by":"crossref","unstructured":"Fazzinga, B., Flesca, S., Furfaro, F., Parisi, F.: DART: A Data Acquisition and Repairing Tool. In: EDBT Workshops on Inconsistency and Incompleteness in Databases (IIDB), pp. 297\u2013317 (2006)","DOI":"10.1007\/11896548_25"},{"key":"9740_CR21","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M., Hunter, A.: Making inconsistency respectable: a logical framework for inconsistency in reasoning. In: Proceedings of International Workshop on Fundamentals of Artificial Intelligence Research (FAIR), pp. 19\u201332 (1991)","DOI":"10.1007\/3-540-54507-7_3"},{"key":"9740_CR22","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1016\/j.is.2019.01.003","volume":"83","author":"A Giuzio","year":"2019","unstructured":"Giuzio, A., Mecca, G., Quintarelli, E., Roveri, M., Santoro, D., Tanca, L.: INDIANA: an interactive system for assisting database exploration. Inf. Syst. 83, 40\u201356 (2019)","journal-title":"Inf. Syst."},{"issue":"2","key":"9740_CR23","doi-asserted-by":"publisher","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."},{"key":"9740_CR24","doi-asserted-by":"crossref","unstructured":"Grant, J., Hunter, A.: Measuring consistency gain and information loss in stepwise inconsistency resolution. In: Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), pp. 362\u2013373 (2011)","DOI":"10.1007\/978-3-642-22152-1_31"},{"key":"9740_CR25","doi-asserted-by":"crossref","unstructured":"Grant, J., Hunter, A.: Distance-based measures of inconsistency. In: Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), pp. 230\u2013241 (2013)","DOI":"10.1007\/978-3-642-39091-3_20"},{"key":"9740_CR26","unstructured":"Grant, J., Martinez, M.V.: Measuring inconsistency in information. College Publications (2018)"},{"key":"9740_CR27","volume-title":"Measuring Inconsistency in Information, Studies in Logic","year":"2018","unstructured":"Grant, J., Martinez, M.V. (eds.): Measuring Inconsistency in Information, Studies in Logic, vol. 73. College Publications, Norway (2018)"},{"key":"9740_CR28","unstructured":"Grant, J., Martinez, M.V., Molinaro, C., Parisi, F.: Measuring Inconsistency in Information, Studies in Logic. In: Grant, J., Martinez, M. V. (eds.) , vol. 73, pp 313\u2013342. College Publications, Norway"},{"key":"9740_CR29","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0304-3975(85)90075-1","volume":"41","author":"J Grant","year":"1985","unstructured":"Grant, J., Minker, J.: Inferences for numerical dependencies. Theor. Comput. Sci. 41, 271\u2013287 (1985)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"9740_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0019-9958(85)80017-6","volume":"65","author":"J Grant","year":"1985","unstructured":"Grant, J., Minker, J.: Normalization and axiomatization for numerical dependencies. Inf. Control. 65(1), 1\u201317 (1985)","journal-title":"Inf. Control."},{"key":"9740_CR31","doi-asserted-by":"crossref","unstructured":"Grant, J., Parisi, F.: Measuring inconsistency in a general information space. In: Herzig, A., Kontinen, J. (eds.) Proceedings of International Symposium on Foundations of Information and Knowledge Systems (FoIKS), vol. 12012, pp. 140\u2013156 (2020)","DOI":"10.1007\/978-3-030-39951-1_9"},{"key":"9740_CR32","unstructured":"Gupta, N., Nau, D.S.: Complexity results for blocks-world planning. In: Proceedings of National Conference on Artificial Intelligence (AAAI), pp. 629\u2013633 (1991)"},{"issue":"4","key":"9740_CR33","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1109\/TKDE.2016.2637928","volume":"29","author":"S Hao","year":"2017","unstructured":"Hao, S., Tang, N., Li, G., He, J., Ta, N., Feng, J.: A novel cost-based model for data repairing. IEEE Trans. Knowl. Data Eng. 29(4), 727\u2013742 (2017)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"9740_CR34","doi-asserted-by":"crossref","unstructured":"He, J., Veltri, E., Santoro, D., Li, G., Mecca, G., Papotti, P., Tang, N.: Interactive and deterministic data cleaning. In: Proceedings of International Conference on Management of Data (SIGMOD), pp. 893\u2013907 (2016)","DOI":"10.1145\/2882903.2915242"},{"key":"9740_CR35","unstructured":"Hunter, A.: Measuring inconsistency in knowledge via quasi-classical models. In: Proceedings of National Conference on Artificial Intelligence and Conference on Innovative Applications of Artificial Intelligence (AAAI\/IAAI), pp. 68\u201373 (2002)"},{"key":"9740_CR36","unstructured":"Hunter, A., Konieczny, S.: Measuring inconsistency through minimal inconsistent sets. In: Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 358\u2013366 (2008)"},{"issue":"14","key":"9740_CR37","doi-asserted-by":"publisher","first-page":"1007","DOI":"10.1016\/j.artint.2010.06.001","volume":"174","author":"A Hunter","year":"2010","unstructured":"Hunter, A., Konieczny, S.: On the measure of conflicts: Shapley inconsistency values. Artif. Intell. 174(14), 1007\u20131026 (2010)","journal-title":"Artif. Intell."},{"key":"9740_CR38","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.ijar.2016.12.017","volume":"89","author":"S Jabbour","year":"2017","unstructured":"Jabbour, S., Ma, Y., Raddaoui, B., Sais, L.: Quantifying conflicts in propositional logic through prime implicates. Int. J. Approx. Reason. 89, 27\u201340 (2017)","journal-title":"Int. J. Approx. Reason."},{"key":"9740_CR39","unstructured":"Kimelfeld, B., Livshits, E., Peterfreund, L.: Detecting ambiguity in prioritized database repairing. In: Proceedings of International Conference on Database Theory (ICDT), pp. 17:1\u201317:20 (2017)"},{"issue":"1","key":"9740_CR40","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1023\/A:1015015709557","volume":"31","author":"K Knight","year":"2002","unstructured":"Knight, K.: Measuring inconsistency. J. Philos. Log. 31(1), 77\u201398 (2002)","journal-title":"J. Philos. Log."},{"key":"9740_CR41","doi-asserted-by":"crossref","unstructured":"Livshits, E., Kimelfeld, B.: Counting and enumerating (preferred) database repairs. In: Proceedings of ACM Symposium on Principles of Database Systems (PODS), pp. 289\u2013301 (2017)","DOI":"10.1145\/3034786.3056107"},{"key":"9740_CR42","doi-asserted-by":"crossref","unstructured":"Ma, Y., Qi, G., Xiao, G., Hitzler, P., Lin, Z.: An anytime algorithm for computing inconsistency measurement. In: Proceedings of International Conference on Knowledge Science, Engineering and Management (KSEM), pp. 29\u201340 (2009)","DOI":"10.1007\/978-3-642-10488-6_7"},{"issue":"2","key":"9740_CR43","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1016\/j.ijar.2013.12.004","volume":"55","author":"MV Martinez","year":"2014","unstructured":"Martinez, M.V., Parisi, F., Pugliese, A., Simari, G.I., Subrahmanian, V.S.: Policy-based inconsistency management in relational databases. Int. J. Approx. Reason. 55(2), 501\u2013528 (2014)","journal-title":"Int. J. Approx. Reason."},{"key":"9740_CR44","doi-asserted-by":"crossref","unstructured":"Martinez, M.V., Pugliese, A., Simari, G.I., Subrahmanian, V. S., Prade, H.: How dirty is your relational database? an axiomatic approach. In: Proceedings of European Conference Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), pp. 103\u2013114 (2007)","DOI":"10.1007\/978-3-540-75256-1_12"},{"issue":"8","key":"9740_CR45","doi-asserted-by":"publisher","first-page":"1659","DOI":"10.1016\/j.ijar.2014.06.003","volume":"55","author":"K McAreavey","year":"2014","unstructured":"McAreavey, K., Liu, W., Miller, P.C.: Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases. Int. J. Approx. Reason. 55(8), 1659\u20131693 (2014)","journal-title":"Int. J. Approx. Reason."},{"key":"9740_CR46","doi-asserted-by":"crossref","unstructured":"Mu, K., Jin, Z., Lu, R., Liu, W.: Measuring inconsistency in requirements specifications. In: Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), pp. 440\u2013451 (2005)","DOI":"10.1007\/11518655_38"},{"issue":"7","key":"9740_CR47","doi-asserted-by":"publisher","first-page":"978","DOI":"10.1016\/j.ijar.2011.04.001","volume":"52","author":"K Mu","year":"2011","unstructured":"Mu, K., Liu, W., Jin, Z., Bell, D. A.: A syntax-based approach to measuring the degree of inconsistency for belief bases. Int. J. Approx. Reason. 52(7), 978\u2013999 (2011)","journal-title":"Int. J. Approx. Reason."},{"key":"9740_CR48","unstructured":"Papadimitriou, C.M.: Computational Complexity. Addison-Wesley, Reading (1994)"},{"key":"9740_CR49","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1613\/jair.4883","volume":"55","author":"F Parisi","year":"2016","unstructured":"Parisi, F., Grant, J.: Knowledge representation in probabilistic spatio-temporal knowledge bases. J. Artif. Intell. Res. 55, 743\u2013798 (2016)","journal-title":"J. Artif. Intell. Res."},{"key":"9740_CR50","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.ijar.2017.02.003","volume":"84","author":"F Parisi","year":"2017","unstructured":"Parisi, F., Grant, J.: On repairing and querying inconsistent probabilistic spatio-temporal databases. Int. J. Approx. Reason. 84, 41\u201374 (2017)","journal-title":"Int. J. Approx. Reason."},{"key":"9740_CR51","unstructured":"Parisi, F., Grant, J.: On measuring inconsistency in relational databases with denial constraints. In: Proceedings of the 24th European Conference on Artificial Intelligence (ECAI), pp. 857\u2013864 (2020)"},{"issue":"4","key":"9740_CR52","first-page":"21:1","volume":"12","author":"F Parisi","year":"2018","unstructured":"Parisi, F., Park, N., Pugliese, A., Subrahmanian, V.S.: Top-k user-defined vertex scoring queries in edge-labeled graph databases. ACM Trans. Web (TWEB) 12(4), 21:1\u201321:35 (2018)","journal-title":"ACM Trans. Web (TWEB)"},{"issue":"11","key":"9740_CR53","doi-asserted-by":"publisher","first-page":"1541","DOI":"10.1109\/TKDE.2007.190631","volume":"19","author":"A Parker","year":"2007","unstructured":"Parker, A., Subrahmanian, V.S., Grant, J.: A logical formulation of probabilistic spatial databases. IEEE Trans. Knowl. Data Eng. (TKDE) 19(11), 1541\u20131556 (2007)","journal-title":"IEEE Trans. Knowl. Data Eng. (TKDE)"},{"key":"9740_CR54","unstructured":"Robinson, I., Webber, J., Eifrem, E.: Graph Databases. O\u2019Reilly Media, Inc (2013)"},{"key":"9740_CR55","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1016\/j.artint.2016.01.013","volume":"234","author":"M Thimm","year":"2016","unstructured":"Thimm, M.: On the expressivity of inconsistency measures. Artif. Intell. 234, 120\u2013151 (2016)","journal-title":"Artif. Intell."},{"key":"9740_CR56","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.ijar.2015.11.001","volume":"68","author":"M Thimm","year":"2016","unstructured":"Thimm, M.: Stream-based inconsistency measurement. Int. J. Approx. Reason. 68, 68\u201387 (2016)","journal-title":"Int. J. Approx. Reason."},{"key":"9740_CR57","unstructured":"Thimm, M.: Measuring Inconsistency in Information, Studies in Logic. In: Grant, J., Martinez, M.V. (eds.) , vol. 73, pp. 19\u201360. College Publications, Norway (2018)"},{"key":"9740_CR58","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1016\/j.artint.2019.07.001","volume":"275","author":"M Thimm","year":"2019","unstructured":"Thimm, M., Wallner, J.P.: On the complexity of inconsistency measurement. Artif. Intell. 275, 411\u2013456 (2019)","journal-title":"Artif. Intell."},{"key":"9740_CR59","first-page":"286","volume":"103344","author":"M Ulbricht","year":"2020","unstructured":"Ulbricht, M., Thimm, M., Brewka, G.: Handling and measuring inconsistency in non-monotonic logics. Artif. Intell. 103344, 286 (2020)","journal-title":"Artif. Intell."},{"key":"9740_CR60","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: The complexity of relational query languages (extended abstract). In: Proceedings of Symposium on Theory of Computing (STOC), pp. 137\u2013146 (1982)","DOI":"10.1145\/800070.802186"},{"key":"9740_CR61","unstructured":"Wijsen, J.: On condensing database repairs obtained by tuple deletions. In: Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA), pp. 849\u2013853. IEEE Computer Society (2005)"},{"key":"9740_CR62","unstructured":"Xiao, G., Ma, Y.: Inconsistency measurement based on variables in minimal unsatisfiable subsets. In: Proceedings of European Conference on Artificial Intelligence (ECAI), pp. 864\u2013869. IOS Press (2012)"},{"key":"9740_CR63","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1016\/j.ijar.2016.08.003","volume":"89","author":"X Zhang","year":"2017","unstructured":"Zhang, X., Wang, K., Wang, Z., Ma, Y., Qi, G., Feng, Z.: A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-lite. Int. J. Approx. Reason. 89, 58\u201379 (2017)","journal-title":"Int. J. Approx. Reason."},{"key":"9740_CR64","doi-asserted-by":"crossref","unstructured":"Zhou, L., Huang, H., Qi, G., Ma, Y., Huang, Z., Qu, Y.: Measuring inconsistency in DL-lite ontologies. In: Proceedings of International Conference on Web Intelligence (WI), pp. 349\u2013356 (2009)","DOI":"10.1109\/WI-IAT.2009.61"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-021-09740-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10472-021-09740-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-021-09740-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,31]],"date-time":"2022-01-31T02:06:16Z","timestamp":1643594776000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10472-021-09740-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,27]]},"references-count":64,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2022,3]]}},"alternative-id":["9740"],"URL":"https:\/\/doi.org\/10.1007\/s10472-021-09740-8","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,4,27]]},"assertion":[{"value":"16 March 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 April 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}