{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001388594,0.00007241623,0.0001282082,0.0001097321,0.00002345513,0.00005156532,0.0002262818,0.00003095298,0.00004111902],"category_scores_gemma":[0.0001137857,0.00005813495,0.00002350494,0.0002801097,0.00003165019,0.001070874,0.00004309546,0.00004164137,0.00003544491],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000340485,"about_ca_system_score_gemma":0.0000359542,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001183158,"about_ca_topic_score_gemma":0.0001018171,"domain_scores_codex":[0.9993513,0.00004485898,0.0001749979,0.0001836111,0.00009705082,0.0001482058],"domain_scores_gemma":[0.9995474,0.00007872179,0.00006360106,0.0002020219,0.00008663192,0.00002159907],"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.00003954154,0.0003039494,0.2941921,0.0001309411,0.00002850997,0.000009023704,0.003989956,0.02121569,0.01921901,0.5506184,0.0007567413,0.1094961],"study_design_scores_gemma":[0.0007314919,0.0001832873,0.4379699,0.00009859748,0.000003630119,0.000001853897,0.0007521213,0.5202093,0.02190468,0.01782659,0.00009732639,0.0002212664],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3415908,0.00004512849,0.6556656,0.0002645517,0.0001172406,0.0001235862,4.671643e-8,0.00008048025,0.002112478],"genre_scores_gemma":[0.9469599,0.00001739308,0.05275282,0.0001637697,0.000008244931,0.00004694335,0.000001052077,0.000002486269,0.00004741077],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.605369,"threshold_uncertainty_score":0.2370674,"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."}}