{"id":"W3057900685","doi":"10.1007/978-3-030-57977-7_8","title":"Invertible Bidirectional Metalogical Translation Between Prolog and RuleML for Knowledge Representation and Querying","year":2020,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of New Brunswick","funders":"","keywords":"RuleML; Computer science; Programming language; Prolog; XML; Natural language processing; Artificial intelligence; SGML; Streaming XML; World Wide Web","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.001918562,0.0005447554,0.000668819,0.001264965,0.0008092753,0.003427677,0.001704897,0.00094917,0.01230879],"category_scores_gemma":[0.005224793,0.0008342953,0.001463997,0.001502845,0.001653315,0.004211946,0.00333458,0.002741345,0.006942046],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001012477,"about_ca_system_score_gemma":0.002044869,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002038184,"about_ca_topic_score_gemma":0.002280416,"domain_scores_codex":[0.9978461,0.0006225229,0.0002697179,0.0003898537,0.0006958774,0.0001760141],"domain_scores_gemma":[0.9978619,0.0009270383,0.0000874951,0.0006736013,0.0004023596,0.00004757252],"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.0001717649,0.0001883096,0.0002922138,0.0005375036,0.00005774742,0.0004097069,0.0008511849,0.007180562,0.0108936,0.6952437,0.02104066,0.2631331],"study_design_scores_gemma":[0.00007461623,0.00007172262,0.0002791569,0.0002267256,0.0001102909,0.0005291665,0.0003275955,0.09380805,0.04799633,0.6555473,0.2009438,0.00008527366],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003140338,0.0002051653,0.9782578,0.0003387425,0.0001681959,0.0001119693,0.0005577174,0.005777104,0.01144301],"genre_scores_gemma":[0.1037021,0.0004966048,0.8763926,0.0004422752,0.0001437727,0.0002715529,0.002710441,0.002671427,0.01316925],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01230879,"threshold_uncertainty_score":0.04117697,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08378794783684153,"score_gpt":0.3032245046084706,"score_spread":0.219436556771629,"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."}}