{"id":"W2027035578","doi":"10.1016/j.knosys.2010.09.001","title":"Reasoning with part–part relations in a description logic","year":2010,"lang":"en","type":"article","venue":"Knowledge-Based Systems","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Athabasca University","funders":"","keywords":"Extension (predicate logic); Axiom; Computer science; Syntax; Description logic; Knowledge representation and reasoning; Conjunction (astronomy); Representation (politics); Semantics (computer science); Simple (philosophy); Theoretical computer science; Programming language; Algebra over a field; Artificial intelligence; Mathematics; Epistemology; Pure mathematics","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.0007314291,0.0001616805,0.0002340065,0.0002099272,0.0001530243,0.0002278055,0.0004697709,0.0001316769,0.00001275148],"category_scores_gemma":[0.0001828894,0.0001251588,0.00004367702,0.0005951744,0.00007218647,0.0003539635,0.00004775697,0.0003003872,0.0002337211],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006335971,"about_ca_system_score_gemma":0.0002299365,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001652943,"about_ca_topic_score_gemma":0.002555808,"domain_scores_codex":[0.9985925,0.0001775693,0.0003182625,0.0004032427,0.0001809913,0.0003274238],"domain_scores_gemma":[0.9988011,0.0002072712,0.0001250943,0.0006402187,0.0001422457,0.00008406716],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00006781836,0.0008358177,0.4186045,0.0003139641,0.00005619735,0.0001931997,0.004500649,0.005230376,0.00545065,0.5446282,0.01335299,0.006765686],"study_design_scores_gemma":[0.003786474,0.0005499673,0.09926053,0.001987939,0.00004822057,0.0002049635,0.0009848768,0.7563775,0.002096861,0.002215438,0.131072,0.00141522],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4357729,0.001424038,0.5114413,0.0007989393,0.00636336,0.0008705774,0.000003563825,0.000884922,0.04244043],"genre_scores_gemma":[0.991321,0.000001410175,0.007200603,0.00003226995,0.0001881026,0.0001091826,0.000004795173,0.00001042186,0.001132183],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7511472,"threshold_uncertainty_score":0.5103828,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02919761232854673,"score_gpt":0.2481008404066738,"score_spread":0.2189032280781271,"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."}}