{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001920569,0.0003391982,0.0003464766,0.0001553091,0.0006876581,0.0007533401,0.001702327,0.0004502127,0.00005070908],"category_scores_gemma":[0.0004118782,0.0002742825,0.0004392461,0.0003391018,0.000252174,0.0007138932,0.0004514492,0.0008991191,0.0002071848],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002634815,"about_ca_system_score_gemma":0.0003241831,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005800751,"about_ca_topic_score_gemma":0.00005943243,"domain_scores_codex":[0.9971789,0.00004837266,0.0008020526,0.0004981789,0.0007383128,0.0007341732],"domain_scores_gemma":[0.9971601,0.0005777132,0.001058525,0.0008669545,0.0001444863,0.0001922557],"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.0001875151,0.0001003411,0.00001227293,0.00006149245,0.0001361278,0.0001175427,0.0005963254,0.0006308288,0.009578234,0.9824923,0.002014621,0.004072442],"study_design_scores_gemma":[0.001380106,0.0007210996,0.0007816603,0.0001493114,0.000277737,0.001546339,0.001075269,0.918686,0.008742984,0.0590437,0.007092597,0.0005031721],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8865477,0.0006330186,0.1029203,0.001592326,0.002943447,0.0001474077,0.000007545858,0.0001592915,0.005048938],"genre_scores_gemma":[0.9384097,0.0001806537,0.05849263,0.001893278,0.0008259442,0.0000787727,0.000005969267,0.00004737352,0.00006563198],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9234486,"threshold_uncertainty_score":0.9999709,"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."}}