{"id":"W160292340","doi":"10.1007/978-3-642-22438-6_22","title":"Automated Reasoning in $\\mathcal{ALCQ}$ via SMT","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Satisfiability; Benchmark (surveying); Modulo; Ontology; Satisfiability modulo theories; Automated reasoning; Set (abstract data type); Description logic; Exploit; Theoretical computer science; Boolean satisfiability problem; Programming language; Algorithm; Discrete mathematics; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001086503,0.0006187173,0.0007408394,0.00119302,0.0001812448,0.0004150918,0.004423161,0.0004996032,0.00002791969],"category_scores_gemma":[0.0001728834,0.0005485569,0.0001359862,0.0008743334,0.0006952091,0.0007080238,0.001766657,0.0009234001,0.0001183012],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002875504,"about_ca_system_score_gemma":0.0004745408,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002517681,"about_ca_topic_score_gemma":0.0004159189,"domain_scores_codex":[0.9957031,0.00005642692,0.0006815564,0.001759192,0.0008205837,0.0009791113],"domain_scores_gemma":[0.9972748,0.0004186315,0.00031135,0.001664816,0.0001641939,0.000166234],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001244736,0.00007770362,0.001098161,0.00007426852,0.00001925836,0.0009530279,0.003384161,0.006359931,0.0001818269,0.07460994,0.00006900896,0.9131603],"study_design_scores_gemma":[0.0002881787,0.0001342853,0.00305605,0.0006492797,0.000005740335,0.000181524,2.394221e-7,0.8023473,0.0007653372,0.1912971,0.0004809904,0.0007939409],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003790361,0.0006842496,0.9872577,0.000409022,0.001994393,0.0003268033,0.000001307215,0.0009098872,0.008037664],"genre_scores_gemma":[0.3809109,0.00006874951,0.6170098,0.001361746,0.0002738894,0.00001470204,0.000003559504,0.00004886862,0.0003077158],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9123663,"threshold_uncertainty_score":0.9996966,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02240339351393327,"score_gpt":0.2508628583995092,"score_spread":0.2284594648855759,"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."}}