{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001655554,0.0001959733,0.000237916,0.0002191565,0.0002853596,0.000508328,0.002147136,0.00007241732,0.000006282623],"category_scores_gemma":[0.0002274094,0.000146898,0.00005687424,0.001135603,0.001761516,0.0007491099,0.0006620094,0.0002824428,0.00003037069],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001844689,"about_ca_system_score_gemma":0.0001294654,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004058004,"about_ca_topic_score_gemma":0.000004247184,"domain_scores_codex":[0.9973558,0.0001394145,0.0002959466,0.0008467133,0.000698635,0.0006635562],"domain_scores_gemma":[0.9988017,0.0001450852,0.00006826119,0.0007440528,0.00008338084,0.0001574875],"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.00001026827,0.00004801139,0.0001989556,0.00000598588,0.000001105079,0.00001338783,0.000672403,0.003786488,0.0001525412,0.9878457,0.000001705035,0.00726343],"study_design_scores_gemma":[0.0003177469,0.0001564862,0.0176805,0.0000426726,0.000001148099,0.0000387081,0.0000155764,0.3239398,0.0006864403,0.6569498,0.000001126205,0.000169995],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3345753,0.00002039927,0.6609203,0.0003551419,0.0003234092,0.0001109002,2.568096e-7,0.0001572827,0.003536965],"genre_scores_gemma":[0.7362126,0.000001252123,0.2631387,0.0005988423,0.00003836439,0.000004806424,4.341545e-7,0.000003370538,0.000001672262],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.4016373,"threshold_uncertainty_score":0.6490378,"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."}}