{"id":"W2034589153","doi":"10.1111/j.1467-8640.2007.00311.x","title":"THE DATALOG<sup><scp>DL</scp></sup> COMBINATION OF DEDUCTION RULES AND DESCRIPTION LOGICS","year":2007,"lang":"en","type":"article","venue":"Computational Intelligence","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Research and Productivity Council; University of New Brunswick","funders":"","keywords":"Datalog; Description logic; Computer science; Semantic reasoner; Decidability; Programming language; RuleML; Web Ontology Language; Semantic Web; Semantic Web Rule Language; Parameterized complexity; Theoretical computer science; Ontology language; Artificial intelligence; XML; Algorithm; World Wide Web; Social Semantic Web","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.0008510294,0.0001176025,0.0001193258,0.0001114267,0.0002732597,0.0001610065,0.0005424852,0.00006520381,0.000001172395],"category_scores_gemma":[0.0005050625,0.0000922031,0.00003644636,0.000290721,0.0002921456,0.0005210946,0.0001843683,0.0001128642,0.00002233587],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003559044,"about_ca_system_score_gemma":0.00004845517,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003345243,"about_ca_topic_score_gemma":0.00001408303,"domain_scores_codex":[0.9987391,0.00006340524,0.0003728547,0.0002802383,0.0003337135,0.0002106548],"domain_scores_gemma":[0.9976534,0.001559162,0.0001771983,0.0002359905,0.0003242591,0.00004999572],"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.000006620106,0.00008698385,0.002476228,0.00002066279,0.00002199986,0.000004741662,0.001759797,0.03218812,0.0001353255,0.830145,0.0005639787,0.1325905],"study_design_scores_gemma":[0.0000829635,0.0001130605,0.0547972,0.00002515331,0.00000765182,0.00007278165,0.001395219,0.5290737,0.003159729,0.4102381,0.0009622027,0.00007219904],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.230285,0.0008475119,0.7679561,0.0002020343,0.0002535928,0.0001092182,0.000001956526,0.00006043792,0.0002841203],"genre_scores_gemma":[0.9468183,0.0001524354,0.05283351,0.00007166434,0.00004239312,0.000003636427,0.00002145765,0.000004295493,0.00005232602],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7165332,"threshold_uncertainty_score":0.3759933,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0440552765355806,"score_gpt":0.2839098260728724,"score_spread":0.2398545495372917,"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."}}