{"id":"W2400415486","doi":"10.1007/978-3-319-26350-2_54","title":"Absorption for ABoxes and TBoxes with General Value Restrictions","year":2015,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Value (mathematics); Range (aeronautics); Domain (mathematical analysis); Work (physics); Base (topology); Theoretical computer science; Mathematics; Machine learning; Physics; Thermodynamics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000648258,0.0004095068,0.0003931839,0.0005138504,0.0003344351,0.0005354225,0.001313482,0.0002478342,0.000003295089],"category_scores_gemma":[0.00008243533,0.0003114884,0.0000703031,0.0003980224,0.0005691079,0.0005480793,0.0005123061,0.0003705564,0.000009608578],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002046578,"about_ca_system_score_gemma":0.0006119363,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004709467,"about_ca_topic_score_gemma":0.0001593433,"domain_scores_codex":[0.9973935,0.00002426401,0.0002889493,0.001218845,0.0005707281,0.0005036464],"domain_scores_gemma":[0.9981276,0.0003041009,0.0002009252,0.000747987,0.0004114589,0.0002078674],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002467589,0.00004989206,0.0002746994,0.00006652332,0.00002806662,0.0000366293,0.001544418,0.02295798,0.0001240707,0.5501744,0.0004334241,0.4242852],"study_design_scores_gemma":[0.0007028319,0.0007971206,0.0005745814,0.0002490637,0.00002550279,0.0001995847,3.67081e-7,0.5346236,0.0003147898,0.4491006,0.0125743,0.0008376116],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003332823,0.00113219,0.9914425,0.0004141998,0.001074057,0.0004588445,0.000006701945,0.0001532309,0.004984964],"genre_scores_gemma":[0.07996488,0.0001557721,0.9149365,0.000592762,0.001456742,0.00004913714,0.0000117945,0.00005074922,0.002781607],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5116656,"threshold_uncertainty_score":0.9999337,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02610433299061919,"score_gpt":0.2565385743376311,"score_spread":0.2304342413470119,"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."}}