{"id":"W145092378","doi":"10.1007/978-3-642-21070-9_8","title":"A First-Order Calculus for Allegories","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Brock University; University of Toronto","funders":"","keywords":"Soundness; Calculus (dental); Computer science; Completeness (order theory); Natural deduction; Pi calculus; Relational calculus; Situation calculus; Programming language; Mathematics; Relational model; Relational database; Information retrieval","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005993242,0.000532434,0.0005910044,0.0005288507,0.000351473,0.0004146998,0.003954304,0.0003742583,0.00002810843],"category_scores_gemma":[0.0002341566,0.000446709,0.0001738869,0.0004010065,0.0008360461,0.0005206573,0.001294543,0.0004250559,0.00004409761],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001325657,"about_ca_system_score_gemma":0.0005257348,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007040173,"about_ca_topic_score_gemma":0.0005065067,"domain_scores_codex":[0.9966378,0.00001450691,0.0004585687,0.001496178,0.0005964485,0.000796509],"domain_scores_gemma":[0.9971169,0.0006758018,0.0002283916,0.001455012,0.0003825118,0.0001414058],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001798595,0.00004790516,0.00006391502,0.0001239665,0.00003423205,0.0001009971,0.002886843,0.003876761,0.00001498098,0.4262174,0.0003040966,0.5663109],"study_design_scores_gemma":[0.0004172849,0.0003425478,0.0001415118,0.0002566409,0.00001564259,0.00008040833,3.703541e-7,0.3204769,0.0005800306,0.6512067,0.02553845,0.000943495],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0000092291,0.0008753145,0.9889466,0.001398404,0.00282528,0.0005387944,0.000004643772,0.0002513422,0.005150424],"genre_scores_gemma":[0.02403839,0.0001010828,0.9715639,0.002059368,0.0006044263,0.00005059006,0.000003874311,0.00004546008,0.001532923],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5653674,"threshold_uncertainty_score":0.9997985,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02890156536945149,"score_gpt":0.2500076781511855,"score_spread":0.221106112781734,"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."}}