{"id":"W3071869045","doi":"10.1007/978-3-030-57977-7_10","title":"Distributed Reasoning for Restricted Weakly-Linear Disjunctive Tuple-Generating Dependencies","year":2020,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Tuple; Computer science; Datalog; Class (philosophy); Ontology; Theoretical computer science; Benchmark (surveying); Artificial intelligence; Discrete mathematics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004499318,0.0008584707,0.001430684,0.001351705,0.001577253,0.00351702,0.004575119,0.001575969,0.006291631],"category_scores_gemma":[0.019159,0.001140085,0.002588878,0.002042165,0.002134194,0.009807617,0.005139662,0.003231919,0.0009089715],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002028963,"about_ca_system_score_gemma":0.001506143,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004252265,"about_ca_topic_score_gemma":0.007170813,"domain_scores_codex":[0.9954581,0.001388094,0.0003856767,0.001064787,0.001337963,0.0003653455],"domain_scores_gemma":[0.9817517,0.01402573,0.0004515637,0.002615862,0.0008989024,0.0002562094],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001008598,0.0005863096,0.00317542,0.0009197751,0.0003170178,0.001032443,0.001148438,0.3709774,0.008562878,0.3251292,0.01087954,0.276263],"study_design_scores_gemma":[0.00005475179,0.00002301026,0.000141625,0.00002232037,0.00005342806,0.0001270884,0.0001017122,0.7323814,0.004414616,0.2610963,0.001566566,0.00001722886],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02163673,0.000193276,0.9727857,0.0003135925,0.00003582762,0.00009694199,0.0003290731,0.001472372,0.003136402],"genre_scores_gemma":[0.4394546,0.0002669677,0.5529409,0.0001830274,0.00009941683,0.0002054297,0.001958332,0.0003677897,0.004523546],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006291631,"threshold_uncertainty_score":0.02379495,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0271185916498816,"score_gpt":0.257202969233581,"score_spread":0.2300843775836995,"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."}}