{"id":"W1852280707","doi":"10.1609/aaai.v29i1.9404","title":"Existential Rule Languages with Finite Chase: Complexity and Expressiveness","year":2015,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Data Quality and Management","field":"Decision Sciences","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Decidability; Computer science; Chase; Ontology language; Existentialism; Regular language; Property (philosophy); Mathematics; Discrete mathematics; Theoretical computer science; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":false,"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.001874339,0.0001681517,0.0002817152,0.0001326522,0.0001604986,0.0004627143,0.00129967,0.00004877146,0.000172235],"category_scores_gemma":[0.002001263,0.00009918596,0.00005060352,0.0004858217,0.0007548985,0.0004287893,0.0005550282,0.0001549344,0.0001023675],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001677415,"about_ca_system_score_gemma":0.00005959601,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001581009,"about_ca_topic_score_gemma":0.00007016795,"domain_scores_codex":[0.9975843,0.00004668043,0.0004988018,0.0004703683,0.001168136,0.0002317467],"domain_scores_gemma":[0.9980224,0.0002285362,0.0004242162,0.000332282,0.000855169,0.0001373862],"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.000469829,0.0001916601,0.0007867292,0.00003489369,0.00002191924,0.00000220125,0.003105084,0.00006011959,0.002553607,0.9254813,0.00133886,0.06595384],"study_design_scores_gemma":[0.0001897108,0.0005591566,0.001534365,0.0003823829,0.00004711056,0.000009379831,0.03858635,0.007898056,0.1961445,0.7490517,0.005123938,0.0004733526],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9009666,0.00007049245,0.01327743,0.007518486,0.0004290495,0.0007622552,0.0001151789,0.00008312288,0.07677735],"genre_scores_gemma":[0.9978755,0.00001351648,0.0009494438,0.0002168576,0.00005389367,0.0000162359,0.000001963312,0.000007389234,0.0008652543],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1935909,"threshold_uncertainty_score":0.4461965,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.4571111453196909,"score_gpt":0.4298373063823702,"score_spread":0.02727383893732077,"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."}}