{"id":"W2998070951","doi":"10.1609/aaai.v34i03.5699","title":"Towards Universal Languages for Tractable Ontology Mediated Query Answering","year":2020,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Fundamental Research Funds for the Central Universities; National Natural Science Foundation of China","keywords":"Conjunctive query; Computer science; P; Query language; Ontology language; Locality; Ontology; Boolean conjunctive query; Theoretical computer science; Programming language; Artificial intelligence; Information retrieval; Time complexity; Web search query; Sargable; Linguistics; Algorithm; Semantic 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.007239533,0.0007072196,0.001130883,0.001639458,0.001196055,0.003995026,0.002518978,0.001611395,0.002330601],"category_scores_gemma":[0.02201527,0.001362285,0.002818255,0.001475281,0.005382367,0.01030242,0.008360035,0.005369934,0.0005196725],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003055816,"about_ca_system_score_gemma":0.002607915,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002556171,"about_ca_topic_score_gemma":0.00201457,"domain_scores_codex":[0.9923977,0.002506502,0.0008686968,0.001583366,0.001815646,0.0008281249],"domain_scores_gemma":[0.982451,0.009817774,0.001201129,0.003629415,0.002388952,0.0005117134],"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.00004977196,0.00005420077,0.0005097704,0.0002416077,0.00004192783,0.0002183279,0.001902751,0.008426848,0.005076139,0.9643756,0.001365002,0.0177382],"study_design_scores_gemma":[0.00004437823,0.00004846711,0.0001941977,0.0001084636,0.00007484767,0.0003352965,0.0006464921,0.08789264,0.008213564,0.8886696,0.01371375,0.00005826791],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03298975,0.0004901857,0.9579189,0.001231786,0.0000449197,0.000171661,0.000304005,0.001361836,0.005486879],"genre_scores_gemma":[0.5198938,0.0006378992,0.4729747,0.001136633,0.0001943042,0.0005930923,0.000772662,0.0005222852,0.003274691],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007239533,"threshold_uncertainty_score":0.03828681,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09381173772767637,"score_gpt":0.3027292792059528,"score_spread":0.2089175414782764,"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."}}