{"id":"W2406441913","doi":"","title":"Exploring Parallelization of Conjunctive Branches in Tableau-Based Description Logic Reasoning.","year":2013,"lang":"en","type":"article","venue":"","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Scalability; Multiprocessing; Conjunctive query; Theoretical computer science; Process (computing); Parallel computing; Programming language; Database; Relational database","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.002434258,0.0005860254,0.000655711,0.000721917,0.001022588,0.002017967,0.001599619,0.0007371198,0.00380182],"category_scores_gemma":[0.009412687,0.000555287,0.00110927,0.00132968,0.001313321,0.003272496,0.001629933,0.001358612,0.0005372551],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001694528,"about_ca_system_score_gemma":0.002540254,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01116566,"about_ca_topic_score_gemma":0.01827336,"domain_scores_codex":[0.9983511,0.0005863819,0.0001114249,0.0002905302,0.0005004701,0.0001601334],"domain_scores_gemma":[0.9920118,0.006202072,0.0003174728,0.0006965361,0.0006305547,0.0001415108],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001050029,0.0006679477,0.006756953,0.0008118003,0.0001883231,0.0008856493,0.002121249,0.3610179,0.03395635,0.1012928,0.005379145,0.4858717],"study_design_scores_gemma":[0.00006787704,0.00004620741,0.0002115639,0.00001871837,0.00003784064,0.00005894893,0.0001403865,0.956634,0.00998898,0.03057399,0.00221129,0.00001017632],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08828479,0.0002746487,0.9024744,0.0005900007,0.00004048296,0.0004107382,0.0001905074,0.003107819,0.004626632],"genre_scores_gemma":[0.2983718,0.0001320029,0.6995347,0.00009429241,0.00001495855,0.000154486,0.0003298349,0.0001869482,0.001181059],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01116566,"threshold_uncertainty_score":0.0222013,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1206477970800012,"score_gpt":0.2421317363209033,"score_spread":0.1214839392409021,"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."}}