{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001682613,0.0000761979,0.0001111562,0.00015344,0.0004060793,0.00003198534,0.0004603976,0.00001859515,0.0000576459],"category_scores_gemma":[0.00001874225,0.00007277131,0.00004575458,0.0003256303,0.00007858506,0.000235,0.00004118711,0.0001131364,0.000003239821],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002173686,"about_ca_system_score_gemma":0.00006472247,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002163798,"about_ca_topic_score_gemma":0.000002195639,"domain_scores_codex":[0.9991727,0.00007960145,0.0001747629,0.0002171653,0.0002531102,0.0001026837],"domain_scores_gemma":[0.9990706,0.0004802012,0.0000613135,0.0002951425,0.00006542759,0.00002733081],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000005312425,0.0000661024,0.00001016357,0.000003738859,0.00001161254,0.000001078451,0.0003955583,0.5205442,0.00001733879,0.4722008,0.00002724667,0.006716764],"study_design_scores_gemma":[0.0001550022,0.000129688,0.0008716375,0.000002649734,0.000006070235,0.00003108693,0.0002427851,0.2201769,0.0001028743,0.7781509,0.00006237114,0.00006801594],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01340341,0.0001149595,0.9818037,0.003190651,0.0001677978,0.00009641684,0.00001966046,0.00009803175,0.0011054],"genre_scores_gemma":[0.8537271,0.000009609775,0.1458678,0.0002659319,0.000004558116,0.00003549839,0.000004509874,0.000003004285,0.00008202216],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8403237,"threshold_uncertainty_score":0.3123274,"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."}}