{"id":"https://openalex.org/W2032860356","doi":"https://doi.org/10.1002/int.4550070202","title":"Detection of potential inconsistencies in knowledge bases","display_name":"Detection of potential inconsistencies in knowledge bases","publication_year":1992,"publication_date":"1992-02-01","ids":{"openalex":"https://openalex.org/W2032860356","doi":"https://doi.org/10.1002/int.4550070202","mag":"2032860356"},"language":"en","primary_location":{"id":"doi:10.1002/int.4550070202","is_oa":false,"landing_page_url":"https://doi.org/10.1002/int.4550070202","pdf_url":null,"source":{"id":"https://openalex.org/S57950554","display_name":"International Journal of Intelligent Systems","issn_l":"0884-8173","issn":["0884-8173","1098-111X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Intelligent Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056493776","display_name":"Heri Nonfjall","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Heri Nonfjall","raw_affiliation_strings":["SPD Research and Development, Computer Resources International A/S, Bregner\u00f8dvej 144, DK-3460 Birker\u00f8d, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPD Research and Development, Computer Resources International A/S, Bregner\u00f8dvej 144, DK-3460 Birker\u00f8d, Denmark","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014478452","display_name":"Henrik Legind Larsen","orcid":"https://orcid.org/0000-0001-7636-0799"},"institutions":[{"id":"https://openalex.org/I107707843","display_name":"Roskilde University","ror":"https://ror.org/014axpa37","country_code":"DK","type":"education","lineage":["https://openalex.org/I107707843"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Henrik L. Larsen","raw_affiliation_strings":["Department of Computer Science, Roskilde University, Postbox 260, DK-4000 Roskilde, Denmark","Department of Computer Science, Roskilde University, Postbox 260, DK\u20104000 Roskilde, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Roskilde University, Postbox 260, DK-4000 Roskilde, Denmark","institution_ids":["https://openalex.org/I107707843"]},{"raw_affiliation_string":"Department of Computer Science, Roskilde University, Postbox 260, DK\u20104000 Roskilde, Denmark","institution_ids":["https://openalex.org/I107707843"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2500,"currency":"USD","value_usd":2500},"apc_paid":null,"fwci":2.7761,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.9056224,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"7","issue":"2","first_page":"81","last_page":"96"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991999864578247,"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.9991999864578247,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.991599977016449,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.98089998960495,"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/backward-chaining","display_name":"Backward chaining","score":0.8241666555404663},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7341200709342957},{"id":"https://openalex.org/keywords/forward-chaining","display_name":"Forward chaining","score":0.688001275062561},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6120370626449585},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.6011603474617004},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5557644367218018},{"id":"https://openalex.org/keywords/resolution","display_name":"Resolution (logic)","score":0.5120871067047119},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5002892017364502},{"id":"https://openalex.org/keywords/rule-of-inference","display_name":"Rule of inference","score":0.49867939949035645},{"id":"https://openalex.org/keywords/contradiction","display_name":"Contradiction","score":0.48735007643699646},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.48381131887435913},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4633368253707886},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45451709628105164},{"id":"https://openalex.org/keywords/horn-clause","display_name":"Horn clause","score":0.436623215675354},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.4166927933692932},{"id":"https://openalex.org/keywords/chaining","display_name":"Chaining","score":0.4157441258430481},{"id":"https://openalex.org/keywords/inference-engine","display_name":"Inference engine","score":0.3924694061279297},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37144899368286133},{"id":"https://openalex.org/keywords/expert-system","display_name":"Expert system","score":0.3465328812599182},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19629034399986267},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.1702781617641449},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10677382349967957}],"concepts":[{"id":"https://openalex.org/C129916263","wikidata":"https://www.wikidata.org/wiki/Q1141183","display_name":"Backward chaining","level":4,"score":0.8241666555404663},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7341200709342957},{"id":"https://openalex.org/C142614401","wikidata":"https://www.wikidata.org/wiki/Q777433","display_name":"Forward chaining","level":3,"score":0.688001275062561},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6120370626449585},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.6011603474617004},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5557644367218018},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.5120871067047119},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5002892017364502},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.49867939949035645},{"id":"https://openalex.org/C2776728590","wikidata":"https://www.wikidata.org/wiki/Q363948","display_name":"Contradiction","level":2,"score":0.48735007643699646},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.48381131887435913},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4633368253707886},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45451709628105164},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.436623215675354},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.4166927933692932},{"id":"https://openalex.org/C49020025","wikidata":"https://www.wikidata.org/wiki/Q1059099","display_name":"Chaining","level":2,"score":0.4157441258430481},{"id":"https://openalex.org/C46743427","wikidata":"https://www.wikidata.org/wiki/Q1341685","display_name":"Inference engine","level":3,"score":0.3924694061279297},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37144899368286133},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.3465328812599182},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19629034399986267},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.1702781617641449},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10677382349967957},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/int.4550070202","is_oa":false,"landing_page_url":"https://doi.org/10.1002/int.4550070202","pdf_url":null,"source":{"id":"https://openalex.org/S57950554","display_name":"International Journal of Intelligent Systems","issn_l":"0884-8173","issn":["0884-8173","1098-111X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Intelligent Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W6198426","https://openalex.org/W96543851","https://openalex.org/W1480023663","https://openalex.org/W1512889044","https://openalex.org/W1578088218","https://openalex.org/W1594201038","https://openalex.org/W1762401663","https://openalex.org/W2017111168","https://openalex.org/W2026927381","https://openalex.org/W2039832885","https://openalex.org/W2073928261","https://openalex.org/W2143382644","https://openalex.org/W2145287593","https://openalex.org/W6600246700","https://openalex.org/W6634572607","https://openalex.org/W6676345937"],"related_works":["https://openalex.org/W2399584202","https://openalex.org/W2376097826","https://openalex.org/W3165080795","https://openalex.org/W2809533179","https://openalex.org/W2744263431","https://openalex.org/W1919540615","https://openalex.org/W1859234693","https://openalex.org/W2608610994","https://openalex.org/W1520040317","https://openalex.org/W2126848472"],"abstract_inverted_index":{"We":[0],"present":[1,81],"a":[2,43,91,99],"new":[3],"computational":[4],"approach":[5,41,61,97],"to":[6,35,42,70,119,143,161],"the":[7,22,31,37,39,51,59,71,126,149,163],"problem":[8,47],"of":[9,11,24,45,93,165],"detection":[10],"potential":[12],"inconsistencies":[13],"in":[14,90],"knowledge":[15,32,129,145],"bases.":[16,58,136],"For":[17],"such":[18],"inconsistencies,":[19],"we":[20,80],"characterize":[21],"sets":[23],"possible":[25],"input":[26],"facts":[27],"that":[28,86,148],"will":[29],"allow":[30],"based":[33],"system":[34,53],"derive":[36],"contradiction.":[38],"state-of-the-art":[40],"solution":[44],"this":[46],"is":[48,67,116,122,140,152],"represented":[49,132],"by":[50,133,154],"COVADIS":[52,60],"which":[54],"checks":[55],"simple":[56],"rule":[57],"relies":[62],"on":[63],"forward":[64],"chaining":[65,89],"and":[66,108],"strongly":[68],"related":[69],"way":[72],"ATMS":[73],"computes":[74],"labels":[75],"for":[76,124,170],"deducible":[77],"facts.":[78],"Here,":[79],"an":[82],"alternative":[83],"computation":[84,107],"method":[85,115,139],"employs":[87],"backward":[88],"kind":[92],"abductive":[94],"reasoning.":[95],"This":[96,157],"gives":[98],"more":[100,127],"focused":[101],"reasoning,":[102],"thus":[103],"requiring":[104],"much":[105],"less":[106],"memory":[109],"than":[110],"COVADIS.":[111],"Further,":[112],"since":[113],"our":[114,138],"very":[117],"similar":[118],"SLD-resolution,":[120],"it":[121],"suitable":[123],"handling":[125],"powerful":[128],"base":[130],"form":[131],"Horn":[134],"claause":[135],"Finally,":[137],"easily":[141],"extended":[142],"uncertain":[144],"bases,":[146],"assuming":[147],"uncertainty":[150],"calculus":[151],"modeled":[153],"possibilistic":[155],"logic.":[156],"extension":[158],"allows":[159],"us":[160],"model":[162],"effect":[164],"user":[166],"defined":[167],"belief":[168],"thresholds":[169],"inference":[171],"chains.":[172]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}