{"id":"W2093824416","doi":"10.2298/csis0901023k","title":"Model driven engineering of a tableau algorithm for description logics","year":2009,"lang":"en","type":"article","venue":"Computer Science and Information Systems","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":true,"ca_institutions":"Athabasca University","funders":"","keywords":"Metamodeling; Computer science; Programming language; Lisp; Semantic reasoner; Syntax; Java; Abstract syntax; Description logic; Ontology; Implementation; Model transformation; Algorithm; Theoretical computer science; Semantics (computer science); Artificial intelligence","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.002963277,0.0005283442,0.0005032912,0.00118578,0.0009781921,0.00251379,0.001424181,0.001029255,0.005118957],"category_scores_gemma":[0.006895281,0.0005921707,0.001645652,0.0008630982,0.001778922,0.002925161,0.001716706,0.001796491,0.001135991],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001998078,"about_ca_system_score_gemma":0.002315265,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003143588,"about_ca_topic_score_gemma":0.003522998,"domain_scores_codex":[0.9979752,0.0006912794,0.0001349924,0.0002624243,0.0008315535,0.0001045282],"domain_scores_gemma":[0.9975415,0.001628909,0.0001039839,0.0003480007,0.0003291241,0.00004851004],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00004818558,0.00005119363,0.0002640308,0.0001593106,0.00003745492,0.0001153904,0.000309814,0.05179102,0.004795995,0.8533621,0.001827943,0.08723763],"study_design_scores_gemma":[0.00004231828,0.00005398461,0.00006176205,0.0001052089,0.0000297735,0.00012303,0.00006866256,0.4846932,0.01006231,0.4679758,0.0367551,0.0000288111],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001073417,0.00003151941,0.9970902,0.00007772799,0.00001818695,0.00003954646,0.00002746895,0.0002961019,0.001345787],"genre_scores_gemma":[0.02759686,0.00006879208,0.9703285,0.00005650075,0.000009004155,0.0001154447,0.0001017165,0.0001617082,0.001561559],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005118957,"threshold_uncertainty_score":0.01712465,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02642450872349376,"score_gpt":0.225545041229433,"score_spread":0.1991205325059392,"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."}}