{"id":"W4417496854","doi":"10.1145/3785662","title":"Semi-Oblivious Chase Termination for Linear Existential Rules and Beyond: An Experimental Analysis","year":2025,"lang":"en","type":"article","venue":"ACM Transactions on Database Systems","topic":"Data Management and Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"Natural Sciences and Engineering Research Council of Canada; European Commission","keywords":"Existentialism; Chase; Set (abstract data type); Generalization; Linearization; Class (philosophy); Focus (optics)","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.007777838,0.001073943,0.001474575,0.000977125,0.001542414,0.002496689,0.003083466,0.002010335,0.01212659],"category_scores_gemma":[0.05304022,0.0005569426,0.001191926,0.001490299,0.002266707,0.005984626,0.002669798,0.004763674,0.002540305],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002001313,"about_ca_system_score_gemma":0.002697128,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002085644,"about_ca_topic_score_gemma":0.00220894,"domain_scores_codex":[0.9902869,0.002798481,0.0006972447,0.001501399,0.003489636,0.0012263],"domain_scores_gemma":[0.9106302,0.06457847,0.002658955,0.01580043,0.00505486,0.001277022],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.01077795,0.01289341,0.01791382,0.004457474,0.0007837142,0.001400803,0.002700428,0.274298,0.09989347,0.2083988,0.05543042,0.3110518],"study_design_scores_gemma":[0.0007167508,0.001941975,0.002363006,0.0001944777,0.0001634128,0.0004532638,0.0006705613,0.8380319,0.05399719,0.0893058,0.01205358,0.0001080845],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7630474,0.003720193,0.174807,0.001941542,0.0005833557,0.001167797,0.002874948,0.007634396,0.04422342],"genre_scores_gemma":[0.8824702,0.0008589999,0.1042774,0.0005012107,0.0001377792,0.0007728923,0.003499452,0.001381974,0.006100023],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01212659,"threshold_uncertainty_score":0.04113364,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02356188656044739,"score_gpt":0.3092196439563378,"score_spread":0.2856577573958904,"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."}}