{"id":"W1971937407","doi":"10.1016/j.ijar.2009.04.009","title":"A formal framework for description logics with uncertainty","year":2009,"lang":"en","type":"article","venue":"International Journal of Approximate Reasoning","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Soundness; Completeness (order theory); Computer science; Negation; Description logic; ENCODE; Feature (linguistics); Set (abstract data type); Theoretical computer science; Knowledge representation and reasoning; Ontology; Semantics (computer science); Knowledge base; Artificial intelligence; Programming language; Mathematics; Epistemology","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.0004550587,0.000102659,0.0001652615,0.0001279653,0.00006803852,0.0002746782,0.0008366539,0.00005679021,0.000003117849],"category_scores_gemma":[0.0002712277,0.0000711048,0.00009423611,0.0001001787,0.0000248869,0.001037553,0.00004511811,0.0001582765,0.000001238774],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008206044,"about_ca_system_score_gemma":0.00007841393,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003290841,"about_ca_topic_score_gemma":0.000001183558,"domain_scores_codex":[0.9989463,0.00001793778,0.0002900555,0.0001260484,0.0004107593,0.0002089015],"domain_scores_gemma":[0.9987497,0.0001311954,0.0003925156,0.0001194846,0.0005529931,0.0000540667],"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.000323785,0.00009628807,0.0007337519,0.000006608937,0.00009541502,0.00008566958,0.0009373415,0.002621715,0.0002713085,0.856262,0.00009724555,0.1384689],"study_design_scores_gemma":[0.002595054,0.002051085,0.01014086,0.001083756,0.00005032193,0.002964691,0.0009879044,0.2861495,0.003243532,0.6879627,0.002310735,0.0004599121],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07573918,0.0001196934,0.9211862,0.00192766,0.0004749502,0.00007319076,8.127571e-7,0.00003727839,0.0004410423],"genre_scores_gemma":[0.5423332,0.0000229057,0.4572608,0.0002146974,0.0001566854,0.000001467161,7.626587e-7,0.000002576353,0.000006893475],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.466594,"threshold_uncertainty_score":0.289957,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02437891769139504,"score_gpt":0.2885082667001654,"score_spread":0.2641293490087704,"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."}}