{"id":"W7055691065","doi":"","title":"The datalog combination of deduction rules and description logics","year":2007,"lang":"en","type":"article","venue":"NPARC","topic":"Magnetic confinement fusion research","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Datalog; Description logic; Decidability; Semantic reasoner; Parameterized complexity; Web Ontology Language; Circumscription; Bridging (networking); Fragment (logic)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01068638,0.0009648587,0.001244063,0.002409415,0.0009541097,0.005742207,0.00329968,0.00131812,0.00333355],"category_scores_gemma":[0.01858023,0.001461798,0.002753475,0.002555103,0.004894848,0.01178519,0.005144453,0.004397112,0.00157614],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00186095,"about_ca_system_score_gemma":0.002493183,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002767935,"about_ca_topic_score_gemma":0.002698779,"domain_scores_codex":[0.9902518,0.002873794,0.00132284,0.001693722,0.003567361,0.0002904866],"domain_scores_gemma":[0.981605,0.01150348,0.0007360695,0.004431348,0.001424911,0.0002992186],"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.00006424281,0.00008414636,0.0006677023,0.0006210759,0.000123598,0.0003273101,0.0004677164,0.009023894,0.00204438,0.8330003,0.003552867,0.1500228],"study_design_scores_gemma":[0.00003815367,0.00005254086,0.0001790144,0.0001677266,0.00009453514,0.0004127495,0.00009887028,0.06318006,0.006380943,0.8629857,0.06636316,0.00004657047],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001119502,0.0005074608,0.9936631,0.0006076318,0.00009122791,0.00006676362,0.0001284057,0.0004531344,0.003362815],"genre_scores_gemma":[0.07384735,0.001570508,0.9185475,0.001102288,0.0003459025,0.0002933747,0.0007135655,0.0003138757,0.003265583],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01068638,"threshold_uncertainty_score":0.05651569,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01900874028523887,"score_gpt":0.2641994035909579,"score_spread":0.245190663305719,"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."}}