{"id":"W2035043199","doi":"10.1007/s10849-008-9078-1","title":"Designing Visual Languages for Description Logics","year":2008,"lang":"en","type":"article","venue":"Journal of Logic Language and Information","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Victoria","funders":"","keywords":"Computer science; Rotation formalisms in three dimensions; Inference; Knowledge representation and reasoning; Artificial intelligence; Description logic; Automated reasoning; Representation (politics); Theoretical computer science; Natural language processing; Programming language; Cognitive science; 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.0003150696,0.00005592352,0.0001112863,0.0001123821,0.00008888486,0.00007671812,0.0001403392,0.00004405523,0.000002493244],"category_scores_gemma":[0.0001936886,0.00003739019,0.00004186649,0.00007396122,0.00002096282,0.003074073,0.00002707723,0.00006004651,0.000002694015],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001504278,"about_ca_system_score_gemma":0.00002956707,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004687835,"about_ca_topic_score_gemma":5.319724e-7,"domain_scores_codex":[0.9994652,0.00001870016,0.0002602032,0.00003585782,0.0001237615,0.00009625954],"domain_scores_gemma":[0.9994661,0.00007171471,0.0002498215,0.00005589376,0.0001253845,0.0000310883],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"qualitative","study_design_scores_codex":[0.0002557673,0.0001887441,0.005783987,0.0003168235,0.0001361494,0.0003170902,0.1440441,0.000636728,0.02595426,0.07684228,0.01148301,0.734041],"study_design_scores_gemma":[0.02191269,0.01727709,0.2165035,0.0007796334,0.0003295177,0.03061021,0.2211423,0.1938682,0.2001743,0.04205893,0.05201202,0.003331623],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2472548,0.0006131899,0.7511624,0.0002098893,0.0001178496,0.00005591185,4.088469e-7,0.00002205676,0.000563514],"genre_scores_gemma":[0.9047873,0.0001790606,0.09436411,0.0005613717,0.00008193511,0.000001336649,0.000001791899,0.000001182544,0.00002192182],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7307094,"threshold_uncertainty_score":0.2228629,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02768336052165234,"score_gpt":0.2751371319562057,"score_spread":0.2474537714345534,"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."}}