{"id":"W77603087","doi":"10.1007/978-3-642-24908-2_10","title":"Towards RIF-OWL Combination: An Effective Reasoning Technique in Integrating OWL and Negation-Free Rules","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of New Brunswick","funders":"","keywords":"Semantic reasoner; Computer science; Negation; Description logic; Focus (optics); Semantics (computer science); Knowledge base; Non-monotonic logic; Programming language; Artificial intelligence; Circumscription; Web Ontology Language; Theoretical computer science; Horn clause; Logic programming; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007277183,0.001406936,0.001618527,0.003108375,0.001284176,0.004254844,0.004553282,0.001723931,0.006784197],"category_scores_gemma":[0.01020182,0.001501457,0.002808188,0.002603669,0.001265325,0.008926499,0.004727646,0.004980247,0.003760053],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006183105,"about_ca_system_score_gemma":0.001457792,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001556527,"about_ca_topic_score_gemma":0.002835307,"domain_scores_codex":[0.9928468,0.002276031,0.0005958659,0.001087298,0.002943812,0.0002503922],"domain_scores_gemma":[0.9944434,0.002942675,0.0002213018,0.001206502,0.001030865,0.0001552384],"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.0003306541,0.0003835975,0.000853421,0.001055417,0.0004627215,0.000836411,0.001001762,0.01341772,0.02453596,0.09653187,0.01869157,0.841899],"study_design_scores_gemma":[0.0001736353,0.0001911019,0.0006370264,0.0004139458,0.0007531975,0.002091466,0.0004704015,0.4945879,0.08603976,0.2794069,0.1350364,0.0001983117],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001466928,0.0002523443,0.9946676,0.00011525,0.0000681395,0.00006609183,0.00006877386,0.001353474,0.001941412],"genre_scores_gemma":[0.01614363,0.0001949801,0.9807153,0.0001638759,0.00005274687,0.00007437755,0.0003778391,0.0003677704,0.00190958],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007277183,"threshold_uncertainty_score":0.03848583,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01407482208327028,"score_gpt":0.2492149350452971,"score_spread":0.2351401129620268,"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."}}