{"id":"W2398927931","doi":"","title":"Decidable Reasoning over Timestamped Conceptual Models","year":2008,"lang":"en","type":"article","venue":"View","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Decidability; Fragment (logic); Embedding; Conceptual model; Computer science; Description logic; EXPTIME; Automated reasoning; Theoretical computer science; Artificial intelligence; Algorithm; Computational complexity theory; 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.0001139194,0.00008912034,0.0001689236,0.0000311514,0.0001223299,0.00003700654,0.0004298262,0.0000402481,0.00005416739],"category_scores_gemma":[0.00004336991,0.00007334223,0.00004888958,0.0001896857,0.00007858891,0.000452364,0.0001469785,0.00006342364,0.0001494689],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001777856,"about_ca_system_score_gemma":0.00008402683,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006647026,"about_ca_topic_score_gemma":0.000004929818,"domain_scores_codex":[0.9991966,0.00003501109,0.0001353916,0.0002330116,0.000172012,0.0002280055],"domain_scores_gemma":[0.9994079,0.00007722108,0.00004234278,0.0003833582,0.00003374051,0.000055399],"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.00000968942,0.0001310745,0.003794612,0.00003690879,0.00004853923,0.000401387,0.006814882,0.001306529,0.0004129984,0.8814093,0.04772842,0.0579056],"study_design_scores_gemma":[0.002392489,0.0003469746,0.02872938,0.0004508578,0.00003513299,0.0007683064,0.0003270992,0.6786497,0.004183155,0.05846538,0.2241019,0.001549655],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1828988,0.009399351,0.758386,0.0005243966,0.0004918129,0.00023615,0.000001161558,0.0006269025,0.04743541],"genre_scores_gemma":[0.9308989,0.0005518424,0.06596096,0.0009470281,0.00005082944,0.00001161334,8.738991e-7,0.000007215189,0.001570711],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.822944,"threshold_uncertainty_score":0.299081,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05193947071102523,"score_gpt":0.2572184285924288,"score_spread":0.2052789578814036,"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."}}