{"id":"W4297999774","doi":"10.1145/3565364","title":"Reducible Theories and Amalgamations of Models","year":2022,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Ontology; Computer science; Representation (politics); Suggested Upper Merged Ontology; Process ontology; Knowledge representation and reasoning; Upper ontology; Isomorphism (crystallography); Description logic; Ontology alignment; Theoretical computer science; Artificial intelligence; Epistemology; Domain knowledge","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.004941569,0.001061633,0.001260854,0.003888307,0.00279765,0.005689658,0.002650565,0.002082955,0.003924937],"category_scores_gemma":[0.01140669,0.001025142,0.004967079,0.002380735,0.01238295,0.0119598,0.006541632,0.006940958,0.0006501026],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004764683,"about_ca_system_score_gemma":0.001460277,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00379091,"about_ca_topic_score_gemma":0.002660335,"domain_scores_codex":[0.9913514,0.003040887,0.0007923926,0.001446501,0.002612953,0.00075589],"domain_scores_gemma":[0.9930797,0.003137235,0.0004573885,0.002446503,0.0006539372,0.000225172],"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.000003959912,0.000005835049,0.00004392389,0.00001603864,0.00001000011,0.00003889,0.0002500066,0.0009766641,0.0000617239,0.9972081,0.0002216618,0.001163258],"study_design_scores_gemma":[0.000004897253,0.000003563817,0.00001868334,0.00001258091,0.000006145626,0.00002665679,0.00006929547,0.002316583,0.0001054392,0.9957379,0.001694241,0.000003966424],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09837732,0.003370717,0.7922603,0.005685546,0.0004166757,0.0002952879,0.0007566676,0.00086703,0.09797045],"genre_scores_gemma":[0.7451634,0.001575494,0.238414,0.001076336,0.0003570928,0.0005791387,0.001474155,0.0002578994,0.01110257],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005689658,"threshold_uncertainty_score":0.03457028,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03793682739011632,"score_gpt":0.2632720349652283,"score_spread":0.225335207575112,"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."}}