{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008403686,0.00105061,0.000845672,0.001981752,0.001724239,0.008166767,0.003900563,0.001953162,0.00621345],"category_scores_gemma":[0.01370894,0.002853565,0.003005756,0.001498357,0.003709344,0.01204535,0.005176898,0.004268435,0.001320041],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002060674,"about_ca_system_score_gemma":0.002158015,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003842786,"about_ca_topic_score_gemma":0.00622151,"domain_scores_codex":[0.9962755,0.001644009,0.0005405547,0.0004422735,0.0007503335,0.0003473084],"domain_scores_gemma":[0.9926361,0.004685691,0.0003990443,0.001133056,0.0007583646,0.0003877828],"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.0001646673,0.0001612755,0.0007903305,0.0008751223,0.0001261454,0.0002964993,0.003503565,0.02261855,0.009025573,0.8271298,0.008373722,0.1269348],"study_design_scores_gemma":[0.000180521,0.00009004019,0.0001428742,0.0005009889,0.0001489488,0.0001877433,0.001677054,0.1228737,0.01698473,0.781913,0.07521015,0.00009033849],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004008035,0.0001737012,0.99195,0.0005505997,0.00003931929,0.000146177,0.0001200712,0.001032228,0.001979792],"genre_scores_gemma":[0.05654921,0.0004241717,0.9388965,0.0002437124,0.00003769516,0.0002695038,0.0006289578,0.0007925304,0.002157762],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008403686,"threshold_uncertainty_score":0.04444349,"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."}}