{"id":"W183822441","doi":"","title":"Binary Absorption in Tableaux-Based Reasoning for Description Logics.","year":2006,"lang":"en","type":"article","venue":"Description Logics","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":43,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Generalization; Satisfiability; Axiom; Binary number; Terminology; Algorithm; Theoretical computer science; Boolean satisfiability problem; Mathematics; Arithmetic","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.005145459,0.0006840648,0.0007799786,0.0014882,0.001546468,0.003572657,0.003146408,0.001596237,0.004861734],"category_scores_gemma":[0.01140152,0.0009542833,0.002109918,0.001973957,0.004740673,0.008307454,0.003659155,0.003755498,0.001043341],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00255843,"about_ca_system_score_gemma":0.001425012,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002294092,"about_ca_topic_score_gemma":0.003300183,"domain_scores_codex":[0.996484,0.001255486,0.0002177235,0.0005922166,0.001189293,0.0002611551],"domain_scores_gemma":[0.992179,0.005969113,0.0003741162,0.0009466042,0.0003687172,0.0001624397],"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.00009794129,0.00006692278,0.000375292,0.0001724176,0.00003186564,0.0001680947,0.0005326335,0.01463666,0.00225224,0.9207196,0.002022398,0.05892395],"study_design_scores_gemma":[0.00002853262,0.00003111806,0.00008832357,0.00005969379,0.00003243033,0.0001456226,0.00008706493,0.1151054,0.004030046,0.8707492,0.009619296,0.00002327042],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003807575,0.0002010686,0.992436,0.0003153293,0.00003916916,0.00008525521,0.00004462866,0.0005251357,0.002545887],"genre_scores_gemma":[0.1721415,0.0004115833,0.8227327,0.0004786093,0.0001111449,0.0002269477,0.0002625598,0.0002205273,0.003414356],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005145459,"threshold_uncertainty_score":0.02721214,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04297128287683932,"score_gpt":0.2480619291802778,"score_spread":0.2050906463034385,"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."}}