{"id":"https://openalex.org/W3040169852","doi":"https://doi.org/10.3390/make2030009","title":"Claim Consistency Checking Using Soft Logic","display_name":"Claim Consistency Checking Using Soft Logic","publication_year":2020,"publication_date":"2020-07-06","ids":{"openalex":"https://openalex.org/W3040169852","doi":"https://doi.org/10.3390/make2030009","mag":"3040169852"},"language":"en","primary_location":{"id":"doi:10.3390/make2030009","is_oa":true,"landing_page_url":"https://doi.org/10.3390/make2030009","pdf_url":"https://www.mdpi.com/2504-4990/2/3/9/pdf?version=1595467495","source":{"id":"https://openalex.org/S4210213891","display_name":"Machine Learning and Knowledge Extraction","issn_l":"2504-4990","issn":["2504-4990"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Machine Learning and Knowledge Extraction","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2504-4990/2/3/9/pdf?version=1595467495","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040452296","display_name":"Nouf Bindris","orcid":"https://orcid.org/0000-0001-5205-9600"},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Nouf Bindris","raw_affiliation_strings":["Intelligent Systems Laboratory, University of Bristol, Bristol BS8 1UB, UK"],"raw_orcid":"https://orcid.org/0000-0001-5205-9600","affiliations":[{"raw_affiliation_string":"Intelligent Systems Laboratory, University of Bristol, Bristol BS8 1UB, UK","institution_ids":["https://openalex.org/I36234482"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083307694","display_name":"Nello Cristianini","orcid":"https://orcid.org/0000-0001-7740-0449"},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Nello Cristianini","raw_affiliation_strings":["Intelligent Systems Laboratory, University of Bristol, Bristol BS8 1UB, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intelligent Systems Laboratory, University of Bristol, Bristol BS8 1UB, UK","institution_ids":["https://openalex.org/I36234482"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042150057","display_name":"Jonathan Lawry","orcid":"https://orcid.org/0000-0002-3488-5682"},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jonathan Lawry","raw_affiliation_strings":["Intelligent Systems Laboratory, University of Bristol, Bristol BS8 1UB, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intelligent Systems Laboratory, University of Bristol, Bristol BS8 1UB, UK","institution_ids":["https://openalex.org/I36234482"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5040452296"],"corresponding_institution_ids":["https://openalex.org/I36234482"],"apc_list":{"value":1400,"currency":"CHF","value_usd":1515},"apc_paid":{"value":1400,"currency":"CHF","value_usd":1515},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.07285411,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2","issue":"3","first_page":"147","last_page":"171"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.9987999796867371,"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/T10028","display_name":"Topic Modeling","score":0.9987999796867371,"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.9976999759674072,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9943000078201294,"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/computer-science","display_name":"Computer science","score":0.8222518563270569},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.7673071622848511},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.6098287105560303},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5679787397384644},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5277783870697021},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5111351609230042},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4960695207118988},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.49264460802078247},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4553535282611847},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4357697367668152},{"id":"https://openalex.org/keywords/grammar","display_name":"Grammar","score":0.4145752191543579},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.3852230906486511},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.3333802819252014}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8222518563270569},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7673071622848511},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.6098287105560303},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5679787397384644},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5277783870697021},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5111351609230042},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4960695207118988},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.49264460802078247},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4553535282611847},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4357697367668152},{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.4145752191543579},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3852230906486511},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.3333802819252014},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","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/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.3390/make2030009","is_oa":true,"landing_page_url":"https://doi.org/10.3390/make2030009","pdf_url":"https://www.mdpi.com/2504-4990/2/3/9/pdf?version=1595467495","source":{"id":"https://openalex.org/S4210213891","display_name":"Machine Learning and Knowledge Extraction","issn_l":"2504-4990","issn":["2504-4990"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Machine Learning and Knowledge Extraction","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:f1702f403dc848c4a748fa8acf5874e8","is_oa":true,"landing_page_url":"https://doaj.org/article/f1702f403dc848c4a748fa8acf5874e8","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Machine Learning and Knowledge Extraction, Vol 2, Iss 3, Pp 147-171 (2020)","raw_type":"article"},{"id":"pmh:oai:research-information.bris.ac.uk:openaire_cris_publications/15d446a7-25d0-4b1b-8fd3-3a000e034900","is_oa":false,"landing_page_url":"https://hdl.handle.net/1983/15d446a7-25d0-4b1b-8fd3-3a000e034900","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bindris, N M 2020, 'Claim Consistency Checking Using Soft Logic', Machine Learning and Knowledge Extraction, vol. Volume 2 , no. Issue 3.","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:research-information.bris.ac.uk:publications/15d446a7-25d0-4b1b-8fd3-3a000e034900","is_oa":false,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/15d446a7-25d0-4b1b-8fd3-3a000e034900","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bindris, N M 2020, 'Claim Consistency Checking Using Soft Logic', Machine Learning and Knowledge Extraction, vol. Volume 2 , no. Issue 3.","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.3390/make2030009","is_oa":true,"landing_page_url":"https://doi.org/10.3390/make2030009","pdf_url":"https://www.mdpi.com/2504-4990/2/3/9/pdf?version=1595467495","source":{"id":"https://openalex.org/S4210213891","display_name":"Machine Learning and Knowledge Extraction","issn_l":"2504-4990","issn":["2504-4990"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Machine Learning and Knowledge Extraction","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Quality Education","score":0.5,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W11298561","https://openalex.org/W92973652","https://openalex.org/W1440493617","https://openalex.org/W1512387364","https://openalex.org/W1531783365","https://openalex.org/W1532503642","https://openalex.org/W1737751673","https://openalex.org/W1963742467","https://openalex.org/W1977970897","https://openalex.org/W2011427077","https://openalex.org/W2028962062","https://openalex.org/W2111535751","https://openalex.org/W2164278908","https://openalex.org/W2164455818","https://openalex.org/W2250293237","https://openalex.org/W2251214593","https://openalex.org/W2331752202","https://openalex.org/W2338607651","https://openalex.org/W2340645138","https://openalex.org/W2538541058","https://openalex.org/W2594382603","https://openalex.org/W2621778545","https://openalex.org/W2743800013","https://openalex.org/W2751368487","https://openalex.org/W2756851436","https://openalex.org/W2759820691","https://openalex.org/W2789098532","https://openalex.org/W2792984539","https://openalex.org/W2894853071","https://openalex.org/W2962795929","https://openalex.org/W2963190210","https://openalex.org/W2963572185","https://openalex.org/W2963789354","https://openalex.org/W2963857245","https://openalex.org/W3017344694","https://openalex.org/W3164832180","https://openalex.org/W4292363360","https://openalex.org/W6600479677","https://openalex.org/W6603669155","https://openalex.org/W6631770430","https://openalex.org/W6638588478"],"related_works":["https://openalex.org/W1538854713","https://openalex.org/W2055243143","https://openalex.org/W1484021165","https://openalex.org/W4235160909","https://openalex.org/W3021865842","https://openalex.org/W1603736412","https://openalex.org/W2030935018","https://openalex.org/W2003145209","https://openalex.org/W1850639582","https://openalex.org/W2115177975"],"abstract_inverted_index":{"Increasing":[0],"concerns":[1],"about":[2,182],"the":[3,24,30,40,48,51,63,75,95,98,101,127,143,146,177,193],"prevalence":[4],"of":[5,22,26,42,50,65,73,89,100,103,106,129,148,179,188],"false":[6],"information":[7],"and":[8,112,158],"fake":[9],"news":[10],"has":[11],"led":[12],"to":[13,62,80],"calls":[14],"for":[15,46,87],"automated":[16,34,131],"fact-checking":[17,35,64,88,132],"systems":[18,36,133],"that":[19,116,122],"are":[20],"capable":[21],"verifying":[23],"truthfulness":[25],"statements,":[27],"especially":[28],"on":[29,39,176],"internet.":[31],"Most":[32],"previous":[33],"have":[37],"focused":[38],"use":[41],"grammar":[43],"rules":[44],"only":[45],"determining":[47],"properties":[49],"language":[52,67],"used":[53],"in":[54,94],"statements.":[55],"Here,":[56],"we":[57],"demonstrate":[58,171],"a":[59,71,82,104,113,159,186],"novel":[60,136],"approach":[61,115,121,144,173],"natural":[66],"text,":[68],"which":[69,162],"uses":[70],"combination":[72],"all":[74],"following":[76],"techniques:":[77],"knowledge":[78,83],"extraction":[79],"establish":[81],"base,":[84],"logical":[85],"inference":[86],"claims":[90,152],"not":[91],"explicitly":[92],"mentioned":[93],"text":[96],"through":[97,166],"verification":[99],"consistency":[102,147],"set":[105],"beliefs":[107],"with":[108,192],"established":[109],"trusted":[110],"knowledge,":[111],"re-querying":[114],"enables":[117],"continuous":[118,167],"learning.":[119],"The":[120],"is":[123,140,163],"presented":[124,149],"here":[125],"addresses":[126],"limitations":[128],"existing":[130],"via":[134],"this":[135,172],"procedure.":[137],"This":[138],"procedure":[139],"as":[141],"follows:":[142],"investigates":[145],"facts":[150,181],"or":[151],"while":[153],"using":[154],"probabilistic":[155],"soft":[156],"logic":[157],"Knowledge":[160],"Base,":[161],"continuously":[164],"updated":[165],"learning":[168],"strategies.":[169],"We":[170],"by":[174],"focusing":[175],"task":[178],"checking":[180],"family-tree":[183],"relationships":[184],"against":[185],"corpus":[187],"web":[189],"resources":[190],"concerned":[191],"UK":[194],"Royal":[195],"Family.":[196]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}