{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T05:56:25Z","timestamp":1784872585557,"version":"3.55.0"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,9,1]],"date-time":"2006-09-01T00:00:00Z","timestamp":1157068800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Inf Syst"],"published-print":{"date-parts":[[2006,9]]},"DOI":"10.1007\/s10844-006-2974-4","type":"journal-article","created":{"date-parts":[[2006,9,7]],"date-time":"2006-09-07T19:31:21Z","timestamp":1157657481000},"page":"159-184","source":"Crossref","is-referenced-by-count":210,"title":["Measuring inconsistency in knowledgebases"],"prefix":"10.1007","volume":"27","author":[{"given":"John","family":"Grant","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anthony","family":"Hunter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2006,9,7]]},"reference":[{"key":"2974_CR1","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O. Arieli","year":"1998","unstructured":"Arieli, O., & Avron, A. (1998). The value of the four values. Artificial Intelligence, 102, 97\u2013141.","journal-title":"Artificial Intelligence"},{"key":"2974_CR2","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1111\/j.1467-8640.1992.tb00337.x","volume":"8","author":"C. Baral","year":"1992","unstructured":"Baral, C., Kraus, S., Minker, J., & Subrahmanian, V. (1992). Combining knowledgebases of first-order theories. Computational Intelligence, 8, 45\u201371.","journal-title":"Computational Intelligence"},{"key":"2974_CR3","doi-asserted-by":"crossref","unstructured":"Belnap, N. (1977). A useful four-valued logic. In G. Epstein (Ed.), Modern uses of multiple-valued logic (pp. 8\u201337). Reidel.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"2974_CR4","unstructured":"Bertossi, L., & Chomicki, J. (2003). Query answering in inconsistent databases. In G. Saake, J. Chomicki, & R. van der Meyden (Eds.), Logics for emerging applications of databases. Springer."},{"key":"2974_CR5","doi-asserted-by":"crossref","unstructured":"Besnard, P., & Hunter, A. (1995). Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information. In Symbolic and quantitative approaches to uncertainty, vol. 946 of LNCS (pp. 44\u201351).","DOI":"10.1007\/3-540-60112-0_6"},{"key":"2974_CR6","doi-asserted-by":"crossref","unstructured":"Carnielli, W., & Marcos, J. (2002). A taxonomy of C systems. In Paraconsistency: The Logical Way to the Inconsistent (pp. 1\u201394). Marcel Dekker.","DOI":"10.1201\/9780203910139.pt1"},{"key":"2974_CR7","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N. C. Costa da","year":"1974","unstructured":"da Costa, N. C. (1974). On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 15, 497\u2013510.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2974_CR8","doi-asserted-by":"crossref","unstructured":"Dubois, D., Lang, J., & Prade, H. (1994). Possibilistic logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3 (pp. 439\u2013513). Oxford University Press.","DOI":"10.1093\/oso\/9780198537472.003.0009"},{"key":"2974_CR9","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1305\/ndjfl\/1093888404","volume":"19","author":"J. Grant","year":"1978","unstructured":"Grant, J. (1978). Classifications for inconsistent theories. Notre Dame Journal of Formal Logic, 19, 435\u2013444.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2974_CR10","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1023\/A:1005231601157","volume":"125","author":"J. Grant","year":"2000","unstructured":"Grant, J., & Subrahmanian, V. S. (2000). Applications of paraconsistency in data and knowledge bases. Synthese, 125, 121\u2013132.","journal-title":"Synthese"},{"issue":"4","key":"2974_CR11","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1007\/s007780100054","volume":"10","author":"A. Halevy","year":"2001","unstructured":"Halevy, A. (2001). Answering queries using views: A survey. VLDB Journal, 10(4), 270\u2013294.","journal-title":"VLDB Journal"},{"key":"2974_CR12","doi-asserted-by":"crossref","unstructured":"Hunter, A. (1998). Paraconsistent logics. In Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 2 (pp. 11\u201336). Kluwer.","DOI":"10.1007\/978-94-017-1739-7_2"},{"key":"2974_CR13","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1093\/logcom\/10.5.677","volume":"10","author":"A. Hunter","year":"2000","unstructured":"Hunter, A. (2000a). Reasoning with conflicting information using quasi-classical logic. Journal of Logic and Computation, 10, 677\u2013703.","journal-title":"Journal of Logic and Computation"},{"key":"2974_CR14","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1017\/S0269888900002046","volume":"15","author":"A. Hunter","year":"2000","unstructured":"Hunter, A. (2000b). Reasoning with inconsistency in structured text. Knowledge Engineering Review, 15, 317\u2013337.","journal-title":"Knowledge Engineering Review"},{"key":"2974_CR15","doi-asserted-by":"crossref","unstructured":"Hunter, A. (2001). A semantic tableau version of first-order quasi-classical logic. In Symbolic and Quantitative Approaches to Uncertainty, vol. 2143 of LNCS (pp. 544\u2013556).","DOI":"10.1007\/3-540-44652-4_48"},{"key":"2974_CR16","unstructured":"Hunter, A. (2002). Measuring inconsistency in knowledge via quasi-classical models. In Proceedings of the National Conference on Artificial Intelligence (AAAI'02) (pp. 68\u201373). MIT Press."},{"key":"2974_CR17","unstructured":"Hunter, A. (2003). Evaluating significance of inconsistencies. In Proceedings of the 18th International Joint Conference on Artificial Intellignce (IJCAI'03) (pp. 468\u2013473)."},{"key":"2974_CR18","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1145\/292182.292187","volume":"7","author":"A. Hunter","year":"1998","unstructured":"Hunter, A., & Nuseibeh, B. (1998). Managing inconsistent specifications: Reasoning, analysis and action. ACM Transactions on Software Engineering and Methodology, 7, 335\u2013367.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"2974_CR19","unstructured":"Konieczny, S., & Pino Perez, R. (1998). On the logic of merging. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR98) (pp. 488\u2013498). Morgan Kaufmann."},{"key":"2974_CR20","unstructured":"Konieczny, S., Lang, J., & Marquis, P. (2003). Quantifying information and contradiction in propositional logic through epistemic actions. In Proceedings of the 18th International Joint Conference on Artificial Intellignce (IJCAI'03) (pp. 106\u2013111)."},{"key":"2974_CR21","unstructured":"Levesque, H. (1984). A logic of implicit and explicit belief. In Proceedings of the National Conference on Artificial Intelligence (AAAI'84) (pp. 198\u2013202)."},{"key":"2974_CR22","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1080\/09528139408953787","volume":"6","author":"E. Lozinskii","year":"1994","unstructured":"Lozinskii, E. (1994). Information and evidence in logic systems. Journal of Experimental and Theoretical Artificial Intelligence, 6, 163\u2013193.","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"2974_CR23","doi-asserted-by":"crossref","first-page":"295","DOI":"10.3166\/jancl.11.295-312","volume":"11","author":"P. Marquis","year":"2001","unstructured":"Marquis, P., & Porquet, N. (2001). Computational aspects of quasi-classical entailment. Journal of Applied Non-classical Logics, 11, 295\u2013312.","journal-title":"Journal of Applied Non-classical Logics"},{"key":"2974_CR24","unstructured":"Miarka, R., Derrick, J., & Boiten, E. (2002). Handling inconsistencies in z using quasi-classical logic. In D. Bert, J. Bowen, M. Henson, & K. Robinson (Eds.), ZB2002: Formal Specification and Development in Z and B, vol. 2272 of Lecture Notes in Computer Science (pp. 204\u2013225). Springer."},{"key":"2974_CR25","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(89)90027-1","volume":"39","author":"G. Priest","year":"1989","unstructured":"Priest, G. (1989). Reasoning about truth. Artificial Intelligence, 39, 231\u2013244.","journal-title":"Artificial Intelligence"},{"key":"2974_CR26","doi-asserted-by":"crossref","unstructured":"Priest, G. (2002). Paraconsistent logic. In Handbook of philosophical logic, vol. 6. Kluwer.","DOI":"10.1007\/978-94-017-0460-1_4"},{"key":"2974_CR27","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1145\/322186.322189","volume":"27","author":"R. Reiter","year":"1978","unstructured":"Reiter, R. (1978). Equality and domain closure. Journal of the ACM, 27, 235\u2013249.","journal-title":"Journal of the ACM"},{"key":"2974_CR28","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1145\/96602.96604","volume":"22","author":"A. Sheth","year":"1990","unstructured":"Sheth, A., & Larson, J. (1990). Federated database systems for managing distributed, heterogeneous, and autonomous databases. ACM Computing Surveys, 22, 183\u2013236.","journal-title":"ACM Computing Surveys"},{"key":"2974_CR29","doi-asserted-by":"crossref","unstructured":"Smullyan, R. (1968). First-order logic. Springer.","DOI":"10.1007\/978-3-642-86718-7"}],"container-title":["Journal of Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10844-006-2974-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10844-006-2974-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10844-006-2974-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T10:17:16Z","timestamp":1707214636000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10844-006-2974-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9]]},"references-count":29,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,9]]}},"alternative-id":["2974"],"URL":"https:\/\/doi.org\/10.1007\/s10844-006-2974-4","relation":{},"ISSN":["0925-9902","1573-7675"],"issn-type":[{"value":"0925-9902","type":"print"},{"value":"1573-7675","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,9]]}}}