{"id":"https://openalex.org/W2799182154","doi":"https://doi.org/10.1145/3183713.3183753","title":"Catching Numeric Inconsistencies in Graphs","display_name":"Catching Numeric Inconsistencies in Graphs","publication_year":2018,"publication_date":"2018-05-25","ids":{"openalex":"https://openalex.org/W2799182154","doi":"https://doi.org/10.1145/3183713.3183753","mag":"2799182154"},"language":"en","primary_location":{"id":"doi:10.1145/3183713.3183753","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3183713.3183753","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 International Conference on Management of Data","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.research.ed.ac.uk/en/publications/4d7eaab7-d67c-4614-8a0c-6c35894bd805","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070565287","display_name":"Wenfei Fan","orcid":"https://orcid.org/0000-0001-5149-2656"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Wenfei Fan","raw_affiliation_strings":["University of Edinburgh &Beihang University, Edinburgh, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh &Beihang University, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100625390","display_name":"Xueli Liu","orcid":"https://orcid.org/0000-0003-0794-7806"},"institutions":[{"id":"https://openalex.org/I204983213","display_name":"Harbin Institute of Technology","ror":"https://ror.org/01yqg2h08","country_code":"CN","type":"education","lineage":["https://openalex.org/I204983213"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xueli Liu","raw_affiliation_strings":["Harbin Institue of Technology, Harbin, China"],"affiliations":[{"raw_affiliation_string":"Harbin Institue of Technology, Harbin, China","institution_ids":["https://openalex.org/I204983213"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013499387","display_name":"Ping L\u00fc","orcid":null},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ping Lu","raw_affiliation_strings":["Beihang University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100675045","display_name":"Chao Tian","orcid":"https://orcid.org/0000-0001-8752-6141"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Chao Tian","raw_affiliation_strings":["University of Edinburgh &Beihang University, Edinburgh, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh &Beihang University, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5070565287"],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":null,"apc_paid":null,"fwci":1.7917,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.8843032,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"381","last_page":"393"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11273","display_name":"Advanced Graph Neural Networks","score":0.9995999932289124,"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.9995999932289124,"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.9988999962806702,"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/T12292","display_name":"Graph Theory and Algorithms","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/undecidable-problem","display_name":"Undecidable problem","score":0.9017069339752197},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.7173092365264893},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.651066780090332},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5011465549468994},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.477723091840744},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.47555845975875854},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.42638924717903137},{"id":"https://openalex.org/keywords/expressivity","display_name":"Expressivity","score":0.4259123206138611},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.35104620456695557},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.26072388887405396}],"concepts":[{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.9017069339752197},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7173092365264893},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.651066780090332},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5011465549468994},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.477723091840744},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.47555845975875854},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.42638924717903137},{"id":"https://openalex.org/C92811239","wikidata":"https://www.wikidata.org/wiki/Q20998670","display_name":"Expressivity","level":2,"score":0.4259123206138611},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35104620456695557},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26072388887405396},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3183713.3183753","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3183713.3183753","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 International Conference on Management of Data","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/4d7eaab7-d67c-4614-8a0c-6c35894bd805","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/4d7eaab7-d67c-4614-8a0c-6c35894bd805","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fan, W, Liu, X, Lu, P & Tian, C 2018, Catching Numeric Inconsistencies in Graphs. in Proceedings of the 2018 International Conference on Management of Data (SIGMOD'18). Texas, USA, pp. 381-393, 2018 ACM SIGMOD/PODS International Conference on Management of Data, Houston, Texas, United States, 10/06/18. https://doi.org/10.1145/3183713.3183753","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.ed.ac.uk:publications/4d7eaab7-d67c-4614-8a0c-6c35894bd805","is_oa":false,"landing_page_url":"http://hdl.handle.net/20.500.11820/4d7eaab7-d67c-4614-8a0c-6c35894bd805","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:pure.ed.ac.uk:openaire/4d7eaab7-d67c-4614-8a0c-6c35894bd805","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/4d7eaab7-d67c-4614-8a0c-6c35894bd805","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fan, W, Liu, X, Lu, P & Tian, C 2018, Catching Numeric Inconsistencies in Graphs. in Proceedings of the 2018 International Conference on Management of Data (SIGMOD'18). Texas, USA, pp. 381-393, 2018 ACM SIGMOD/PODS International Conference on Management of Data, Houston, Texas, United States, 10/06/18. https://doi.org/10.1145/3183713.3183753","raw_type":"contributionToPeriodical"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/12","display_name":"Responsible consumption and production","score":0.4000000059604645}],"awards":[{"id":"https://openalex.org/G1641974707","display_name":null,"funder_award_id":"652976","funder_id":"https://openalex.org/F4320338335","funder_display_name":"H2020 European Research Council"},{"id":"https://openalex.org/G8400180575","display_name":null,"funder_award_id":"EP/M025268/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320338335","display_name":"H2020 European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W14520170","https://openalex.org/W262440584","https://openalex.org/W1181317657","https://openalex.org/W1494193561","https://openalex.org/W1558832481","https://openalex.org/W1563056472","https://openalex.org/W1594873272","https://openalex.org/W1734573275","https://openalex.org/W1969398748","https://openalex.org/W1977041160","https://openalex.org/W1977653641","https://openalex.org/W1979147290","https://openalex.org/W1990883342","https://openalex.org/W1997952460","https://openalex.org/W2004053910","https://openalex.org/W2006367173","https://openalex.org/W2016559894","https://openalex.org/W2019891208","https://openalex.org/W2022166150","https://openalex.org/W2022490362","https://openalex.org/W2038075279","https://openalex.org/W2042077278","https://openalex.org/W2076618134","https://openalex.org/W2084588073","https://openalex.org/W2099637074","https://openalex.org/W2107308446","https://openalex.org/W2108132403","https://openalex.org/W2120436863","https://openalex.org/W2142896587","https://openalex.org/W2143893055","https://openalex.org/W2151502664","https://openalex.org/W2157748587","https://openalex.org/W2162449239","https://openalex.org/W2167571757","https://openalex.org/W2171332293","https://openalex.org/W2183774130","https://openalex.org/W2241555812","https://openalex.org/W2293919922","https://openalex.org/W2295468252","https://openalex.org/W2398107426","https://openalex.org/W2425348221","https://openalex.org/W2484611686","https://openalex.org/W2523435939","https://openalex.org/W2612176352","https://openalex.org/W2613159091","https://openalex.org/W2798595286","https://openalex.org/W2801119104","https://openalex.org/W2912031392","https://openalex.org/W2996968859","https://openalex.org/W3137504194","https://openalex.org/W4213009134","https://openalex.org/W6637471887","https://openalex.org/W6659896727","https://openalex.org/W6990023262"],"related_works":["https://openalex.org/W2972379433","https://openalex.org/W2989332944","https://openalex.org/W2021891065","https://openalex.org/W2583549044","https://openalex.org/W2119045600","https://openalex.org/W2584984136","https://openalex.org/W2170336571","https://openalex.org/W2962928105","https://openalex.org/W2585890227","https://openalex.org/W1543051890"],"abstract_inverted_index":{"Numeric":[0],"inconsistencies":[1],"are":[2,48],"common":[3],"in":[4],"real-life":[5],"knowledge":[6],"bases":[7],"and":[8,26,45,54,72,86],"social":[9],"networks.":[10],"To":[11],"catch":[12],"such":[13],"errors,":[14],"we":[15,59],"propose":[16],"to":[17,30],"extend":[18],"graph":[19],"functional":[20],"dependencies":[21],"with":[22],"linear":[23],"arithmetic":[24,62],"expressions":[25],"comparison":[27],"predicates,":[28],"referred":[29],"as":[31],"NGDs.":[32,38],"We":[33,39],"study":[34],"fundamental":[35],"problems":[36,47,74],"for":[37],"show":[40],"that":[41],"their":[42],"satisfiability,":[43],"implication":[44,73],"validation":[46],"\u03a3":[49],"2":[50],"p-complete,":[51],"\u00b6II2":[52],"p-complete":[53],"coNP-complete,":[55],"respectively.":[56],"However,":[57],"if":[58],"allow":[60],"non-linear":[61],"expressions,":[63],"even":[64],"of":[65],"degree":[66],"at":[67],"most":[68],"2,":[69],"the":[70],"satisfiability":[71],"become":[75],"undecidable.":[76],"In":[77],"other":[78],"words,":[79],"NGDs":[80],"strike":[81],"a":[82],"balance":[83],"between":[84],"expressivity":[85],"complexity.":[87]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}