{"id":"W2555428809","doi":"10.1007/978-3-319-42911-3_44","title":"On Partial Features in the $$\\mathcal{DLF}$$ Family of Description Logics","year":2016,"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":"University of Waterloo","funders":"","keywords":"Unary operation; Predicate (mathematical logic); Partial function; Computer science; Function (biology); Order (exchange); Discrete mathematics; Algorithm; Theoretical computer science; Mathematics; Programming language","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.004401457,0.001210986,0.001543469,0.002590809,0.002386065,0.00635154,0.002914758,0.001922307,0.007195726],"category_scores_gemma":[0.006722913,0.00152377,0.00317244,0.004325785,0.004579515,0.019233,0.004806202,0.006089378,0.001819726],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005077943,"about_ca_system_score_gemma":0.001736073,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008984444,"about_ca_topic_score_gemma":0.009232428,"domain_scores_codex":[0.9971823,0.00101172,0.0002934878,0.0004830527,0.0007563355,0.00027313],"domain_scores_gemma":[0.9974203,0.001416421,0.0001422425,0.0005622092,0.0003289285,0.0001299579],"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.00002366672,0.00001669762,0.00008400726,0.00007256292,0.00001513694,0.00004939069,0.0001453284,0.001722778,0.0001859784,0.9691871,0.002395551,0.02610175],"study_design_scores_gemma":[0.000007364959,0.000006311653,0.00004139237,0.00004610881,0.00001199965,0.00004185075,0.0000301133,0.005178534,0.0001981651,0.9850525,0.009374029,0.00001159766],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009350483,0.004819151,0.9441202,0.002725496,0.0002705802,0.00009601663,0.0008847818,0.0008650629,0.03686834],"genre_scores_gemma":[0.2859268,0.007139989,0.6707799,0.002380727,0.0005533781,0.0004589687,0.004071796,0.0009997268,0.02768871],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008984444,"threshold_uncertainty_score":0.03684324,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03425786817573451,"score_gpt":0.25595723607156,"score_spread":0.2216993678958255,"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."}}