{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003010159,0.001167777,0.0009758677,0.001507835,0.001517056,0.004453191,0.00178795,0.001910114,0.0110356],"category_scores_gemma":[0.006328829,0.001495168,0.00251268,0.001920849,0.003119138,0.01469641,0.003595138,0.006854602,0.003220748],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001396342,"about_ca_system_score_gemma":0.001231945,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000979013,"about_ca_topic_score_gemma":0.0009557965,"domain_scores_codex":[0.9980793,0.0005030888,0.0002509142,0.000468845,0.0004508373,0.0002469963],"domain_scores_gemma":[0.9964977,0.002135076,0.0001689958,0.0007356778,0.0003704532,0.00009208188],"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.00003698338,0.00003293714,0.0001325636,0.0002524228,0.00002359798,0.0001342356,0.0004901268,0.000623797,0.001574429,0.9460607,0.004319387,0.04631898],"study_design_scores_gemma":[0.00001528056,0.00001650498,0.00008960268,0.0001208046,0.00003011478,0.0002465629,0.00009693323,0.002724854,0.001398029,0.9702944,0.02495149,0.00001533762],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01199791,0.004300407,0.9291298,0.002113951,0.0005688304,0.0001250207,0.0004303571,0.001133615,0.05020009],"genre_scores_gemma":[0.2684272,0.005775717,0.6640502,0.001649865,0.001061113,0.0005231181,0.001440434,0.001181861,0.05589054],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0110356,"threshold_uncertainty_score":0.03691775,"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."}}