{"id":"https://openalex.org/W1987810457","doi":"https://doi.org/10.1093/logcom/exq053","title":"Computing inconsistency measure based on paraconsistent semantics","display_name":"Computing inconsistency measure based on paraconsistent semantics","publication_year":2011,"publication_date":"2011-01-18","ids":{"openalex":"https://openalex.org/W1987810457","doi":"https://doi.org/10.1093/logcom/exq053","mag":"1987810457"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exq053","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exq053","pdf_url":"https://academic.oup.com/logcom/article-pdf/21/6/1257/2788206/exq053.pdf","source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://academic.oup.com/logcom/article-pdf/21/6/1257/2788206/exq053.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101536267","display_name":"Yue Ma","orcid":"https://orcid.org/0009-0009-5934-4207"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210159731","display_name":"Laboratoire de Recherche en Informatique de Paris 6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]},{"id":"https://openalex.org/I4210156583","display_name":"Laboratoire d'Informatique de Paris-Nord","ror":"https://ror.org/05g1zjw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210091279","https://openalex.org/I4210156583","https://openalex.org/I4210159245"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I4210091279","display_name":"Universit\u00e9 Sorbonne Paris Nord","ror":"https://ror.org/0199hds37","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210091279"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Y. Ma","raw_affiliation_strings":["Laboratoire d\u2019Informatique de l\u2019universit\u00e9 Paris-Nord (LIPN) \u2013 UMR 7030, Universit\u00e9 Paris 13 \u2013 CNRS, France. E-mail:yue.ma@lipn.univ-paris13.fr","Laboratoire d\u2019Informatique de l\u2019universit\u00e9 Paris-Nord (LIPN) \u2013 UMR 7030, Universit\u00e9 Paris 13 \u2013 CNRS, France. E-mail:"],"affiliations":[{"raw_affiliation_string":"Laboratoire d\u2019Informatique de l\u2019universit\u00e9 Paris-Nord (LIPN) \u2013 UMR 7030, Universit\u00e9 Paris 13 \u2013 CNRS, France. E-mail:yue.ma@lipn.univ-paris13.fr","institution_ids":["https://openalex.org/I4210159731","https://openalex.org/I4210156583","https://openalex.org/I1294671590","https://openalex.org/I4210091279"]},{"raw_affiliation_string":"Laboratoire d\u2019Informatique de l\u2019universit\u00e9 Paris-Nord (LIPN) \u2013 UMR 7030, Universit\u00e9 Paris 13 \u2013 CNRS, France. E-mail:","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I4210156583","https://openalex.org/I1294671590","https://openalex.org/I4210091279"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102803694","display_name":"Guilin Qi","orcid":"https://orcid.org/0000-0002-1957-6961"},"institutions":[{"id":"https://openalex.org/I4210090971","display_name":"Southeast University","ror":"https://ror.org/00cf0ab87","country_code":"BD","type":"education","lineage":["https://openalex.org/I4210090971"]},{"id":"https://openalex.org/I76569877","display_name":"Southeast University","ror":"https://ror.org/04ct4d772","country_code":"CN","type":"education","lineage":["https://openalex.org/I76569877"]}],"countries":["BD","CN"],"is_corresponding":false,"raw_author_name":"G. Qi","raw_affiliation_strings":["Department of Computer Science, School of Computer Science and Engineering, Southeast University, Nanjing 211189, China.E-mail: gqi@seu.edu.cn","Department of Computer Science, School of Computer Science and Engineering, Southeast University, Nanjing 211189, China.E-mail:"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, School of Computer Science and Engineering, Southeast University, Nanjing 211189, China.E-mail: gqi@seu.edu.cn","institution_ids":["https://openalex.org/I4210090971","https://openalex.org/I76569877"]},{"raw_affiliation_string":"Department of Computer Science, School of Computer Science and Engineering, Southeast University, Nanjing 211189, China.E-mail:","institution_ids":["https://openalex.org/I76569877"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006872667","display_name":"Pascal Hitzler","orcid":"https://orcid.org/0000-0001-6192-3472"},"institutions":[{"id":"https://openalex.org/I19648265","display_name":"Wright State University","ror":"https://ror.org/04qk6pt94","country_code":"US","type":"education","lineage":["https://openalex.org/I19648265"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"P. Hitzler","raw_affiliation_strings":["Kno.e.sis Center, Wright State University, Dayton, OH 45435, USA. E-mail:pascal.hitzler@wright.edu","Kno.e.sis Center, Wright State University, Dayton, OH 45435, USA. E-mail:"],"affiliations":[{"raw_affiliation_string":"Kno.e.sis Center, Wright State University, Dayton, OH 45435, USA. E-mail:pascal.hitzler@wright.edu","institution_ids":["https://openalex.org/I19648265"]},{"raw_affiliation_string":"Kno.e.sis Center, Wright State University, Dayton, OH 45435, USA. E-mail:","institution_ids":["https://openalex.org/I19648265"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5101536267"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I4210091279","https://openalex.org/I4210156583","https://openalex.org/I4210159731"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":5.7687,"has_fulltext":true,"cited_by_count":29,"citation_normalized_percentile":{"value":0.9584075,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"21","issue":"6","first_page":"1257","last_page":"1281"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9768000245094299,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9746999740600586,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6757583022117615},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.6754772067070007},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.670511782169342},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.634799599647522},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.515091598033905},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.4766015410423279},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.4157427251338959},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3871573209762573},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1483534276485443},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.10774305462837219}],"concepts":[{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6757583022117615},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.6754772067070007},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.670511782169342},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.634799599647522},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.515091598033905},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.4766015410423279},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.4157427251338959},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3871573209762573},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1483534276485443},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.10774305462837219}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1093/logcom/exq053","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exq053","pdf_url":"https://academic.oup.com/logcom/article-pdf/21/6/1257/2788206/exq053.pdf","source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:oai:corescholar.libraries.wright.edu:cse-1030","is_oa":false,"landing_page_url":"https://corescholar.libraries.wright.edu/cse/31","pdf_url":null,"source":{"id":"https://openalex.org/S2737205702","display_name":"Journal of Bioresource Management","issn_l":"2309-3854","issn":["2309-3854"],"is_oa":false,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310316536","host_organization_name":"Bioresource Research Center (BRC), Islamabad","host_organization_lineage":["https://openalex.org/P4310316536"],"host_organization_lineage_names":["Bioresource Research Center (BRC), Islamabad"],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science and Engineering Faculty Publications","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.635.6423","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.635.6423","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://hal-univ-paris13.archives-ouvertes.fr/docs/00/52/89/21/PDF/paper.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.672.1031","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.1031","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://knoesis.wright.edu/faculty/pascal/resources/publications/JLC-incons-measure.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:hal-00528921v1","is_oa":true,"landing_page_url":"https://hal.science/hal-00528921","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Logic and Computation, 2010, pp.1257-1281","raw_type":"Journal articles"}],"best_oa_location":{"id":"doi:10.1093/logcom/exq053","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exq053","pdf_url":"https://academic.oup.com/logcom/article-pdf/21/6/1257/2788206/exq053.pdf","source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320324856","display_name":"Southeast University","ror":"https://ror.org/04ct4d772"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1987810457.pdf","grobid_xml":"https://content.openalex.org/works/W1987810457.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W154654756","https://openalex.org/W163597783","https://openalex.org/W170219495","https://openalex.org/W190596990","https://openalex.org/W1487409515","https://openalex.org/W1494528029","https://openalex.org/W1527711075","https://openalex.org/W1528062128","https://openalex.org/W1562422632","https://openalex.org/W1789070913","https://openalex.org/W1973288761","https://openalex.org/W1995375207","https://openalex.org/W2005215122","https://openalex.org/W2005564477","https://openalex.org/W2014806304","https://openalex.org/W2016515719","https://openalex.org/W2038349460","https://openalex.org/W2051448963","https://openalex.org/W2055862540","https://openalex.org/W2067062066","https://openalex.org/W2072230809","https://openalex.org/W2086179737","https://openalex.org/W2092293513","https://openalex.org/W2140783059","https://openalex.org/W2152191782","https://openalex.org/W2163044311","https://openalex.org/W2171271549","https://openalex.org/W2912130477","https://openalex.org/W4248146782"],"related_works":["https://openalex.org/W2186864281","https://openalex.org/W4255837520","https://openalex.org/W4255427455","https://openalex.org/W1966025497","https://openalex.org/W2387011115","https://openalex.org/W68941528","https://openalex.org/W1671442782","https://openalex.org/W1779043045","https://openalex.org/W2403284373","https://openalex.org/W1497075744"],"abstract_inverted_index":{"Measuring":[0],"inconsistency":[1,65,83,100,112,123,135,181,193,197,240],"in":[2,12,229],"knowledge":[3,53,87,105],"bases":[4],"has":[5],"been":[6,19],"recognized":[7],"as":[8],"an":[9,82,99],"important":[10],"problem":[11,24,235],"several":[13],"research":[14],"areas.":[15],"Many":[16],"methods":[17,41],"have":[18],"proposed":[20],"to":[21,51,72,120,137,174,190,200],"solve":[22,73],"this":[23,68,128,166],"and":[25,177,223],"a":[26,91,103,109,117,146,158,171],"main":[27],"class":[28],"of":[29,36,58,63,85,102,111,133,180,214,236],"them":[30,59],"is":[31,108,142,242],"based":[32],"on":[33],"some":[34,211,221],"kind":[35],"paraconsistent":[37],"semantics.":[38],"However,":[39],"existing":[40],"suffer":[42],"from":[43],"two":[44,75],"limitations:":[45],"(i)":[46],"they":[47],"are":[48,207],"mostly":[49],"restricted":[50],"propositional":[52],"bases;":[54],"(ii)":[55],"very":[56],"few":[57],"discuss":[60],"computational":[61],"aspects":[62],"computing":[64,81,237],"measures.":[66,194],"In":[67],"article,":[69],"we":[70,97,163,218],"try":[71],"these":[74,238],"limitations":[76],"by":[77,144,156,210],"exploring":[78],"algorithms":[79],"for":[80,94],"measure":[84,101,136],"first-order":[86,95,104],"bases.":[88],"After":[89],"introducing":[90,145],"four-valued":[92],"semantics":[93,168],"logic,":[96],"define":[98],"base,":[106],"which":[107,152,231],"sequence":[110],"degrees.":[113,182],"We":[114,125],"then":[115],"propose":[116],"precise":[118,202],"algorithm":[119,129],"compute":[121,175,191],"our":[122],"measure.":[124],"show":[126,164,219],"that":[127,165,220,233],"reduces":[130],"the":[131,134,201,215,234],"computation":[132],"classical":[138,159],"satisfiability":[139],"checking.":[140],"This":[141],"done":[143],"new":[147],"semantics,":[148,151,217],"named":[149],"S[n]-4":[150,216],"can":[153,186,226],"be":[154,187,227],"calculated":[155],"invoking":[157],"SAT":[160],"solver.":[161],"Moreover,":[162],"auxiliary":[167],"also":[169],"gives":[170],"direct":[172],"way":[173],"upper":[176,222],"lower":[178,224],"bounds":[179,225],"That":[183],"is,":[184],"it":[185],"easily":[188],"revised":[189],"approximating":[192,196,239],"The":[195],"measures":[198,241],"converge":[199],"values":[203],"if":[204],"enough":[205],"resources":[206],"available.":[208],"Finally,":[209],"nice":[212],"properties":[213],"computed":[228],"P-time,":[230],"says":[232],"tractable.":[243]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":6},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":4}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2016-06-24T00:00:00"}