{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01027258,0.0009674131,0.001818113,0.003052894,0.003298601,0.00820861,0.003257547,0.003200604,0.004981123],"category_scores_gemma":[0.02334762,0.001859129,0.00370818,0.004514175,0.010695,0.04105875,0.005413204,0.007218309,0.0007266949],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003900351,"about_ca_system_score_gemma":0.002226041,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008746305,"about_ca_topic_score_gemma":0.006840502,"domain_scores_codex":[0.9935827,0.002831305,0.0006006842,0.001051003,0.001168193,0.0007661376],"domain_scores_gemma":[0.9727172,0.02170031,0.0008277175,0.002908545,0.001098446,0.0007477644],"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.00003960033,0.00001954292,0.0002858041,0.0000363487,0.00001035245,0.00005909543,0.000418519,0.001886176,0.0001383938,0.9897682,0.0006003719,0.006737531],"study_design_scores_gemma":[0.00001024007,0.000005101693,0.00003850473,0.00001868922,0.00002168539,0.00002332744,0.00008551623,0.0073574,0.0002275221,0.9906464,0.001556272,0.000009413548],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04770183,0.001347272,0.9258347,0.004478978,0.0002419498,0.0001076681,0.0005019631,0.0005174916,0.01926803],"genre_scores_gemma":[0.6966978,0.002539078,0.2850409,0.001491839,0.0005144429,0.0002621507,0.001234824,0.0005363284,0.01168283],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01027258,"threshold_uncertainty_score":0.05432725,"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."}}