{"id":"W2040241347","doi":"10.1016/j.jal.2010.08.009","title":"Algebraic tableau reasoning for the description logic <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" altimg=\"si1.gif\" overflow=\"scroll\"> <mml:mi mathvariant=\"script\">SHOQ</mml:mi> </mml:math>","year":2010,"lang":"en","type":"article","venue":"Journal of Applied Logic","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Algebraic number; Artificial intelligence; Mathematics; Algorithm; Computer science; Calculus (dental); Algebra over a field; Pure mathematics; Mathematical analysis","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.003886913,0.0007175253,0.0007750781,0.002453594,0.002627368,0.00661403,0.002656222,0.001579765,0.02502106],"category_scores_gemma":[0.01184775,0.001041383,0.003328569,0.002248382,0.002744863,0.01124933,0.00346833,0.002972687,0.003579692],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004544828,"about_ca_system_score_gemma":0.003634904,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01434314,"about_ca_topic_score_gemma":0.02443331,"domain_scores_codex":[0.9970134,0.0008700812,0.0004048965,0.0004379078,0.001055536,0.0002181028],"domain_scores_gemma":[0.9938245,0.003963636,0.000247271,0.0006854073,0.001083776,0.0001954111],"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.00006048676,0.00005466082,0.0003541317,0.0002315084,0.00003382245,0.0001810074,0.0003864198,0.005575121,0.0008270292,0.9601713,0.008946016,0.02317845],"study_design_scores_gemma":[0.00004531776,0.00001557754,0.0001224323,0.00008598489,0.00005923185,0.000141058,0.0002230506,0.05594087,0.002683649,0.9133748,0.02727374,0.00003416191],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009368334,0.0003948785,0.9517935,0.002500009,0.000202869,0.0002429546,0.003166001,0.002381077,0.02995046],"genre_scores_gemma":[0.2379521,0.0008084677,0.7318621,0.0008127333,0.0002175986,0.0003641144,0.006559689,0.0007479921,0.0206754],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02502106,"threshold_uncertainty_score":0.08370382,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02445751149603936,"score_gpt":0.2421082605252878,"score_spread":0.2176507490292484,"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."}}