{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003309369,0.0001725102,0.0002250047,0.0006605075,0.0003428095,0.0003591552,0.0007350048,0.00004736115,0.000009650723],"category_scores_gemma":[0.00001296269,0.0001694143,0.00009862363,0.0006345482,0.00003852648,0.001323696,0.00005379794,0.00007860427,0.00000837367],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004048368,"about_ca_system_score_gemma":0.0000237743,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001666604,"about_ca_topic_score_gemma":0.00004062989,"domain_scores_codex":[0.9986295,0.00007388175,0.0002819572,0.0005856705,0.0002186179,0.0002104406],"domain_scores_gemma":[0.9984316,0.0000911571,0.00007519678,0.001266483,0.00004958918,0.00008603382],"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.0005553265,0.009360514,0.0003579161,0.002015998,0.007024628,0.0002014063,0.004680427,0.01067497,0.02854654,0.1696426,0.009514221,0.7574254],"study_design_scores_gemma":[0.001610913,0.0003032633,0.0001148923,0.0000802726,0.000608713,0.000009322295,0.0009705128,0.9753913,0.007508501,0.0001594969,0.01280314,0.0004396963],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009767524,0.0001743463,0.9870277,0.0002196304,0.0007089726,0.0005413606,0.001196571,0.0001606454,0.0002032727],"genre_scores_gemma":[0.9324806,0.00004830645,0.06326842,0.0001886226,0.0001059133,0.0004041313,0.001724005,0.00001539915,0.001764557],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9647163,"threshold_uncertainty_score":0.6908516,"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."}}