{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001172231,0.0003779403,0.0004539161,0.0005385908,0.000120161,0.000265672,0.003776021,0.0003175435,0.000004585991],"category_scores_gemma":[0.0002084511,0.0002155701,0.0001225234,0.0004168208,0.0007754956,0.0003374022,0.0005777422,0.0005999524,0.00002055793],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000120956,"about_ca_system_score_gemma":0.0002432565,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002953301,"about_ca_topic_score_gemma":0.00009879978,"domain_scores_codex":[0.9969966,0.0000872558,0.0004638174,0.0009498019,0.000992544,0.0005100039],"domain_scores_gemma":[0.9972089,0.001082593,0.0002624679,0.001275038,0.0001191097,0.00005190038],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000210115,0.00005833853,0.0001379598,0.00003049444,0.000006740403,0.000117293,0.001586202,0.003560765,0.0004851573,0.4710014,0.000117907,0.5228767],"study_design_scores_gemma":[0.00047871,0.000590331,0.006794292,0.0008401292,0.000008604904,0.00007548467,0.000001821132,0.03430238,0.002087512,0.9531933,0.0009805809,0.0006468518],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001536731,0.0005769164,0.9886137,0.001602048,0.001600708,0.0003157448,0.000003242422,0.00006614934,0.005684773],"genre_scores_gemma":[0.9398887,0.0000843754,0.05676236,0.002767989,0.0003125422,0.00001025639,0.000001100165,0.00001552619,0.0001572168],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9383519,"threshold_uncertainty_score":0.8790693,"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."}}