{"id":"W2073165288","doi":"10.1007/s10817-007-9092-z","title":"On Keys and Functional Dependencies as First-Class Citizens in Description Logics","year":2007,"lang":"en","type":"article","venue":"Journal of Automated Reasoning","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":81,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Decidability; Negation; Dependency theory (database theory); Identification (biology); Scope (computer science); Class (philosophy); Functional dependency; Constraint (computer-aided design); Monotone polygon; Computer science; Conjunctive normal form; Mathematics; Theoretical computer science; Logical consequence; Simple (philosophy); Discrete mathematics; Programming language; Artificial intelligence; Epistemology; Data mining","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.001052551,0.0001044528,0.0001815054,0.000309868,0.000109106,0.0001373353,0.0001988116,0.00009649112,0.00001055188],"category_scores_gemma":[0.0006131862,0.00008145263,0.00004817553,0.0002624569,0.00004046293,0.0004198734,0.00005962318,0.0002469801,0.00001011915],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000108553,"about_ca_system_score_gemma":0.0000718104,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002804638,"about_ca_topic_score_gemma":0.00006241712,"domain_scores_codex":[0.9988825,0.00004261094,0.0003508355,0.0001394395,0.0003516282,0.000232949],"domain_scores_gemma":[0.9990662,0.0003736385,0.000253527,0.0001081304,0.000123562,0.000074971],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.001365309,0.001099838,0.3435144,0.0002443005,0.0004621886,0.01245285,0.01405584,0.04454249,0.02812267,0.448601,0.01387591,0.09166323],"study_design_scores_gemma":[0.001079397,0.000518947,0.8545163,0.0005486595,0.00001344538,0.002761098,0.0006822149,0.1271833,0.002491322,0.009767387,0.0002374029,0.0002004921],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9272823,0.0003441381,0.06909461,0.0005094128,0.0005938276,0.0000391617,1.202058e-7,0.0001443938,0.001992006],"genre_scores_gemma":[0.9861332,0.00006239579,0.01353824,0.0001645533,0.0000562578,3.529796e-7,2.240098e-7,0.000004447003,0.00004032801],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5110019,"threshold_uncertainty_score":0.3321542,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01880295743059998,"score_gpt":0.2498103295776138,"score_spread":0.2310073721470138,"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."}}