{"id":"W190481531","doi":"","title":"An ordered theory resolution calculus for hybrid reasoning in first-order extensions of description logic","year":2006,"lang":"en","type":"article","venue":"","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Automated theorem proving; Soundness; Automated reasoning; Computer science; Natural deduction; First-order logic; Completeness (order theory); Resolution (logic); Description logic; Calculus (dental); Programming language; Context (archaeology); Inference; Gödel's completeness theorem; Fragment (logic); Artificial intelligence; Mathematics; Discrete mathematics","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":[],"consensus_categories":[],"category_scores_codex":[0.0004854104,0.0000857843,0.0001443461,0.0001129997,0.00009380769,0.00003873732,0.0002879046,0.00004660891,0.000008173819],"category_scores_gemma":[0.0002155174,0.00006938857,0.00003871556,0.0002352241,0.00004912838,0.0003543471,0.00005475284,0.00004600198,0.000002479338],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003102874,"about_ca_system_score_gemma":0.00003635552,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001039251,"about_ca_topic_score_gemma":0.001551327,"domain_scores_codex":[0.9990938,0.00007627062,0.0002329051,0.0002674636,0.0001062777,0.0002233263],"domain_scores_gemma":[0.999273,0.0001527994,0.0000699126,0.0003497275,0.0001314227,0.00002311572],"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.00004412509,0.0001927537,0.00247151,0.00001748803,0.000003934871,0.000008765564,0.0001818051,0.005005389,0.003817056,0.9813933,0.0009857081,0.005878178],"study_design_scores_gemma":[0.0006237242,0.0001777357,0.06071663,0.00004144526,0.000007061019,0.00001836837,0.0002186114,0.7831411,0.002748344,0.1518645,0.0002773486,0.0001651811],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1271396,0.000179838,0.8707823,0.0003649362,0.0001305496,0.0001805309,0.000001103911,0.0001087642,0.001112345],"genre_scores_gemma":[0.8248715,0.000006425971,0.1748341,0.00008840696,0.00002070228,0.00001636084,0.000005722035,0.000003746084,0.0001529222],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8295288,"threshold_uncertainty_score":0.2829584,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02395656221713579,"score_gpt":0.2614089127337204,"score_spread":0.2374523505165846,"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."}}