{"id":"W1477413762","doi":"10.1007/978-3-642-29764-9_15","title":"Automated Reasoning Support for Ontology Development","year":2013,"lang":"en","type":"book-chapter","venue":"Communications in computer and information science","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Ontology; Process ontology; Computer science; Ontology-based data integration; Upper ontology; Suggested Upper Merged Ontology; Automated reasoning; Description logic; Axiom; Software engineering; Artificial intelligence; Domain knowledge; 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.0008723156,0.0001930889,0.0002645435,0.0006820434,0.0004828432,0.0005334346,0.003202187,0.000140494,0.00001013038],"category_scores_gemma":[0.00007093342,0.0001827746,0.00003405683,0.0001948187,0.0005260166,0.004457634,0.00186897,0.0002007587,0.0001130945],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001279914,"about_ca_system_score_gemma":0.0005663549,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001046946,"about_ca_topic_score_gemma":0.00001645793,"domain_scores_codex":[0.9985136,0.00001558644,0.000665782,0.0002671017,0.0002574416,0.0002804628],"domain_scores_gemma":[0.997444,0.0002484796,0.000315371,0.001484805,0.0004272923,0.00007999295],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[8.269942e-7,0.000007047928,0.00002946912,0.00002182096,0.000005186975,1.785925e-7,0.001637316,0.00002891994,0.00000106056,0.7398877,0.001177864,0.2572027],"study_design_scores_gemma":[0.0002530992,0.0000510769,0.002493527,0.0001089751,0.00000319408,0.00003244801,0.00001804382,0.6274937,0.00001782983,0.005034347,0.3642093,0.0002844083],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00006220688,0.0002160541,0.7846149,0.001018781,0.0004443231,0.0006578497,0.000003744858,0.000459482,0.2125227],"genre_scores_gemma":[0.009117318,0.0004042824,0.9866953,0.00112015,0.0000185391,0.0001068573,0.00005877352,0.000006886984,0.00247182],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7348533,"threshold_uncertainty_score":0.7453331,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04963008229988195,"score_gpt":0.308715722192654,"score_spread":0.259085639892772,"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."}}