{"id":"W2408791408","doi":"10.1017/s147106841600017x","title":"Consistency and trust in peer data exchange systems","year":2016,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"Comisión Nacional de Investigación Científica y Tecnológica; Natural Sciences and Engineering Research Council of Canada","keywords":"Data integrity; Data exchange; Semantics (computer science); Consistency (knowledge bases); SQL; Data consistency; Null (SQL); Invariant (physics); Operational semantics","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01118237,0.0004907757,0.001158156,0.00151829,0.002176748,0.006344435,0.002916515,0.002549524,0.002092816],"category_scores_gemma":[0.03937884,0.0007231999,0.001162208,0.001708176,0.005624109,0.01347111,0.005546902,0.002594854,0.0003438475],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002636627,"about_ca_system_score_gemma":0.002804456,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003076209,"about_ca_topic_score_gemma":0.0009877929,"domain_scores_codex":[0.9831833,0.006533741,0.001689684,0.001903259,0.005713847,0.0009761652],"domain_scores_gemma":[0.9691835,0.01654705,0.003064835,0.005562554,0.004776695,0.0008653069],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000981253,0.0000480585,0.001266726,0.0001065792,0.00005650371,0.0003859987,0.001267099,0.03710439,0.001103221,0.9453816,0.0007733843,0.01240842],"study_design_scores_gemma":[0.00005200677,0.00005190485,0.0001933713,0.00004141093,0.00004131067,0.0002389279,0.0004094207,0.1136475,0.001897005,0.8765811,0.006811579,0.00003458937],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07188183,0.0005942035,0.9180576,0.002165723,0.00008539383,0.0001528301,0.0001135909,0.0003513328,0.006597528],"genre_scores_gemma":[0.8727453,0.0003973274,0.1231751,0.0002292939,0.0001248375,0.0001969953,0.000184596,0.00009452676,0.002852036],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01118237,"threshold_uncertainty_score":0.05913872,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07054837066759287,"score_gpt":0.3145633066913243,"score_spread":0.2440149360237314,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}