{"id":"W2963728447","doi":"10.48550/arxiv.1604.05006","title":"Expressive Completeness of Existential Rule Languages for Ontology-based\\n Query Answering","year":2016,"lang":"","type":"preprint","venue":"arXiv (Cornell University)","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Completeness (order theory); Computer science; Question answering; Ontology; Existentialism; Programming language; Natural language processing; Information retrieval; Artificial intelligence; Mathematics; Philosophy","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.007528994,0.0006715338,0.0008365274,0.001430552,0.001108636,0.004601384,0.002518893,0.001200374,0.002311642],"category_scores_gemma":[0.02077213,0.0007960435,0.002212748,0.001350609,0.003892211,0.01138224,0.005571969,0.004542266,0.0004568088],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001531614,"about_ca_system_score_gemma":0.001952924,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002112286,"about_ca_topic_score_gemma":0.001906228,"domain_scores_codex":[0.9901973,0.002440151,0.001254203,0.001931955,0.003479796,0.0006965416],"domain_scores_gemma":[0.9777482,0.01474245,0.0008320381,0.004324601,0.002008574,0.0003441624],"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.00009494229,0.0001073515,0.0011968,0.0002749553,0.00009110219,0.0002704123,0.001949069,0.011628,0.005803712,0.9380256,0.001776104,0.03878198],"study_design_scores_gemma":[0.00003621811,0.00003593211,0.0003638956,0.00006713943,0.00008164929,0.0003331584,0.0003592277,0.08005647,0.008687971,0.9009287,0.009007258,0.00004228386],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0646379,0.0005356452,0.9204746,0.001220345,0.00006565924,0.0001570934,0.0009286255,0.0008507238,0.01112934],"genre_scores_gemma":[0.6646969,0.0008397127,0.326718,0.0009391584,0.00017186,0.0003513544,0.002407277,0.0003971369,0.003478528],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007528994,"threshold_uncertainty_score":0.03981757,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1053345310562446,"score_gpt":0.2267085009012357,"score_spread":0.121373969844991,"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."}}