{"id":"W2066986855","doi":"10.1007/s10817-014-9304-2","title":"Absorption for ABoxes","year":2014,"lang":"en","type":"article","venue":"Journal of Automated Reasoning","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"SPARQL; Description logic; RDF; Conjunctive query; Negation; Computer science; Logical consequence; Knowledge base; Web Ontology Language; RDF Schema; Ontology; Theoretical computer science; Graph; Class (philosophy); Semantics (computer science); Semantic Web; Relational database; Information retrieval; Programming language; Artificial intelligence; Epistemology","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.003579282,0.0009362386,0.001004086,0.003283788,0.002493669,0.004322623,0.001804225,0.001931813,0.01453292],"category_scores_gemma":[0.01202406,0.001715638,0.002772306,0.002544485,0.002751907,0.0160652,0.005460787,0.006042333,0.002915214],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001566881,"about_ca_system_score_gemma":0.001142823,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001859773,"about_ca_topic_score_gemma":0.001939644,"domain_scores_codex":[0.9960814,0.001261845,0.0004314751,0.0008053518,0.0009055202,0.0005144277],"domain_scores_gemma":[0.9873173,0.007989402,0.0004474595,0.002450024,0.001528893,0.000266975],"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.00007381824,0.00006952328,0.0005892388,0.0001493605,0.00004026478,0.0002627169,0.0007792838,0.0008284361,0.002109686,0.9581532,0.003602166,0.03334237],"study_design_scores_gemma":[0.00001734914,0.00001940202,0.0001816342,0.00006278833,0.00005720973,0.0003840775,0.0002323413,0.00695747,0.003286564,0.973488,0.01528931,0.00002385377],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04728816,0.001015102,0.8907417,0.002854809,0.0003354309,0.0001384829,0.0005427173,0.002997492,0.05408618],"genre_scores_gemma":[0.5552073,0.0009194884,0.4031353,0.001223735,0.0004785156,0.000215896,0.001678802,0.001536899,0.03560406],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01453292,"threshold_uncertainty_score":0.04861748,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01098037176893957,"score_gpt":0.2661427066874711,"score_spread":0.2551623349185316,"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."}}