{"id":"W1683212044","doi":"10.7551/mitpress/4290.001.0001","title":"The Logic of Knowledge Bases","year":2001,"lang":"en","type":"book","venue":"The MIT Press eBooks","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":176,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Body of knowledge; Knowledge base; Computer science; Open Knowledge Base Connectivity; Knowledge representation and reasoning; Procedural knowledge; Knowledge-based systems; Descriptive knowledge; Predicate logic; Domain knowledge; Knowledge extraction; Argument (complex analysis); Commonsense knowledge; General knowledge; First-order logic; Artificial intelligence; Personal knowledge management; Knowledge management; Description logic; Programming language; Organizational learning; Psychology","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.002974613,0.001099696,0.000992668,0.0034121,0.003260267,0.01190971,0.002537248,0.002497669,0.01529141],"category_scores_gemma":[0.00645298,0.001166886,0.001291228,0.00459582,0.01090589,0.01894605,0.004672603,0.005461561,0.007229837],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005394432,"about_ca_system_score_gemma":0.003909778,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005707498,"about_ca_topic_score_gemma":0.003329392,"domain_scores_codex":[0.9960829,0.00119119,0.0003483869,0.0006128009,0.001497694,0.0002670184],"domain_scores_gemma":[0.9971957,0.001439492,0.0001379803,0.0005329599,0.0005822023,0.0001115298],"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.000003614906,0.000002969618,0.00001396694,0.00006236845,0.000004841658,0.0000260847,0.0001844112,0.0002802955,0.000042965,0.9820794,0.007773897,0.009525171],"study_design_scores_gemma":[0.000005431726,0.000002840984,0.00002025027,0.0001190078,0.000005328654,0.00005557627,0.00008382569,0.0008443469,0.0001032032,0.7862802,0.2124732,0.00000689266],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.001894959,0.03960352,0.301978,0.01822818,0.002076062,0.000182503,0.001172733,0.001219665,0.6336445],"genre_scores_gemma":[0.2152028,0.06578647,0.3441458,0.01605182,0.004189771,0.001612031,0.004801366,0.001332986,0.3468769],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01529141,"threshold_uncertainty_score":0.05115491,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06137269150586024,"score_gpt":0.2723438598775051,"score_spread":0.2109711683716449,"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."}}