{"id":"W1923876550","doi":"10.3233/aic-2010-0456","title":"Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic 𝒮ℋ𝒬","year":2010,"lang":"en","type":"article","venue":"AI Communications","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Semantic reasoner; Axiom; Satisfiability; Consistency (knowledge bases); Answer set programming; Calculus (dental); Set (abstract data type); Theoretical computer science; Programming language; Mathematics; Artificial intelligence","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.0004365286,0.00009712588,0.000103013,0.00003642818,0.0008939976,0.0003215351,0.001544771,0.00005133577,0.00001325469],"category_scores_gemma":[0.0007306018,0.00006307608,0.00005060638,0.0003041175,0.0002243528,0.0006059083,0.0003570716,0.0004245063,0.00004620232],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001757151,"about_ca_system_score_gemma":0.0001651966,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003102937,"about_ca_topic_score_gemma":0.0008520987,"domain_scores_codex":[0.9991292,0.00013747,0.0001908962,0.0001979921,0.0001428471,0.0002016285],"domain_scores_gemma":[0.9953409,0.001762786,0.0001120574,0.002557317,0.0001781738,0.00004872499],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000009028427,0.0001040596,0.00134918,0.000002490463,0.00002555009,0.000001263453,0.0003027499,0.00001098623,0.0001205895,0.9822007,0.01304649,0.002826882],"study_design_scores_gemma":[0.001258982,0.0002040883,0.04199638,0.00006805091,0.0001962126,0.0008876846,0.001691606,0.2978511,0.0007970312,0.06420455,0.590211,0.0006332935],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002264917,0.0001120661,0.8946649,0.09780261,0.0002275121,0.0003579173,0.000003614874,0.0002650684,0.004301391],"genre_scores_gemma":[0.6486489,0.0001345245,0.3496254,0.001018987,0.00003800629,0.0002511744,0.000008540302,0.000007349704,0.0002671448],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9179962,"threshold_uncertainty_score":0.6875997,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09288807929691535,"score_gpt":0.3745368120801877,"score_spread":0.2816487327832723,"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."}}