{"id":"W2616150629","doi":"10.1016/j.tcs.2004.10.036","title":"On reasoning about structural equality in XML: a description logic approach","year":2004,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":35,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Satisfiability; Feature (linguistics); Description logic; XML; Theoretical computer science; Boolean satisfiability problem; Programming language; Mathematics; Linguistics","routes":{"ca_aff":true,"ca_fund":true,"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.01386389,0.001749002,0.002699094,0.006147148,0.003650193,0.01027135,0.008722543,0.006325591,0.007329162],"category_scores_gemma":[0.03409026,0.002671872,0.007163155,0.00907276,0.0107698,0.05202513,0.009785383,0.007442981,0.001009898],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004888596,"about_ca_system_score_gemma":0.003150695,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01505478,"about_ca_topic_score_gemma":0.01168321,"domain_scores_codex":[0.986017,0.005029384,0.001925448,0.001969865,0.003873602,0.001184655],"domain_scores_gemma":[0.973142,0.02086781,0.001049609,0.002597426,0.001829118,0.0005139735],"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.00007499877,0.00009183242,0.0004938975,0.0003174538,0.0001194908,0.0003906372,0.0008266096,0.01228185,0.0005574708,0.9515173,0.002347374,0.03098111],"study_design_scores_gemma":[0.00002990993,0.00001270374,0.00008168334,0.0000802716,0.0001125701,0.000149811,0.0002173149,0.03149379,0.0008928761,0.9627461,0.004148628,0.00003436343],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00828399,0.001451394,0.9784456,0.004267752,0.0001711696,0.0001269118,0.000439107,0.0004536292,0.006360282],"genre_scores_gemma":[0.2426615,0.004117813,0.7405558,0.002540592,0.0007501148,0.0003446901,0.002588448,0.000419156,0.006021844],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01505478,"threshold_uncertainty_score":0.07332015,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02815735822224639,"score_gpt":0.2811092599757268,"score_spread":0.2529519017534804,"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."}}