{"id":"W4386128170","doi":"10.14778/3611479.3611493","title":"Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study","year":2023,"lang":"en","type":"article","venue":"Proceedings of the VLDB Endowment","topic":"Data Management and Algorithms","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"Engineering and Physical Sciences Research Council; Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Chase; Set (abstract data type); Class (philosophy); Focus (optics); Existential quantification; Existentialism; Theoretical computer science; Implementation; Key (lock); Algorithm; Programming language; Database; Artificial intelligence; Mathematics; Computer security","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.009835738,0.001046926,0.00150967,0.0008746893,0.00172947,0.002314663,0.003257961,0.002157405,0.01054134],"category_scores_gemma":[0.06158828,0.0005583208,0.001008066,0.001382379,0.002632784,0.006751942,0.003275119,0.005243714,0.00212406],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001847658,"about_ca_system_score_gemma":0.003383743,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002349041,"about_ca_topic_score_gemma":0.002457555,"domain_scores_codex":[0.9886159,0.004250261,0.001017274,0.001723088,0.003072477,0.001320913],"domain_scores_gemma":[0.8800054,0.08790834,0.003292681,0.0217573,0.005120391,0.001915938],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.02057628,0.01892945,0.02345535,0.004845436,0.0008751734,0.001505897,0.003924449,0.2089445,0.09081427,0.1607996,0.05452209,0.4108075],"study_design_scores_gemma":[0.00179777,0.004595242,0.003642736,0.0002722898,0.0002330334,0.0006556158,0.001208447,0.8169374,0.06117466,0.09219864,0.01713165,0.0001524096],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8172576,0.002454257,0.1363965,0.002019862,0.000573833,0.001131178,0.001846778,0.006917656,0.0314023],"genre_scores_gemma":[0.8870313,0.000586687,0.1029924,0.0005174557,0.0001316207,0.000674461,0.002234372,0.001164629,0.004667012],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01054134,"threshold_uncertainty_score":0.05201697,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0371439558842468,"score_gpt":0.3083710072932785,"score_spread":0.2712270514090317,"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."}}