{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00295466,0.001593308,0.001759682,0.003022316,0.005751449,0.009541664,0.003815048,0.003385039,0.01550024],"category_scores_gemma":[0.004315831,0.002420104,0.004201354,0.00407655,0.007807295,0.0210473,0.005043662,0.008508876,0.005356138],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004428363,"about_ca_system_score_gemma":0.002994387,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006511512,"about_ca_topic_score_gemma":0.007855982,"domain_scores_codex":[0.9976532,0.000439537,0.0002623712,0.0004636759,0.0008301871,0.0003511815],"domain_scores_gemma":[0.9980146,0.0008268462,0.00006914903,0.0004710491,0.0004779006,0.0001405106],"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.000005032326,0.00001087302,0.0000306303,0.00002699166,0.000004124044,0.00003372529,0.0001792255,0.0003116048,0.0001938047,0.991879,0.001810309,0.005514659],"study_design_scores_gemma":[0.000007941136,0.000003626831,0.00002720403,0.00001721058,0.00001224603,0.00005677031,0.00003743706,0.001483321,0.0003001901,0.9782687,0.0197709,0.00001448051],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007235794,0.001823459,0.9053512,0.002287729,0.0009908297,0.0001288051,0.001082151,0.002201151,0.07889879],"genre_scores_gemma":[0.2892615,0.003012248,0.629577,0.001440197,0.001357833,0.0004426306,0.002330653,0.001757087,0.07082078],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01550024,"threshold_uncertainty_score":0.05185348,"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."}}