{"id":"W7112485657","doi":"","title":"Forgetting-based abduction in ALC-ontologies (extended abstract)","year":2017,"lang":"en","type":"article","venue":"Research Explorer (The University of Manchester)","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Open Text (Canada)","funders":"","keywords":"Forgetting; Description logic; Key (lock); Horn clause; Ontology; Semantics (computer science)","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.005302493,0.0007998393,0.0006496215,0.002092541,0.0007529499,0.003227319,0.002617305,0.001097701,0.005662651],"category_scores_gemma":[0.01368251,0.0008393528,0.002690282,0.00127248,0.002332242,0.004548346,0.003542376,0.00236823,0.0009337678],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008670945,"about_ca_system_score_gemma":0.001292115,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004133597,"about_ca_topic_score_gemma":0.0041136,"domain_scores_codex":[0.9958782,0.001038514,0.0005566198,0.0006853538,0.001565888,0.0002753835],"domain_scores_gemma":[0.9912961,0.004700514,0.0004455255,0.002177987,0.001265022,0.0001148996],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003726314,0.0001793308,0.00335061,0.001442813,0.0003642796,0.001479267,0.003108884,0.06203525,0.0195114,0.2054391,0.00651904,0.6961974],"study_design_scores_gemma":[0.000151823,0.0001435327,0.001219557,0.0005797802,0.0003527615,0.002009593,0.0005231159,0.5291525,0.09703668,0.3030797,0.06559042,0.0001605817],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004631261,0.0001529995,0.9907718,0.0001333885,0.00003151034,0.00007675857,0.00009667125,0.002961265,0.001144463],"genre_scores_gemma":[0.1119835,0.0002379676,0.8845548,0.0002084503,0.00003303146,0.00008897154,0.000412034,0.0004261236,0.002055212],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005662651,"threshold_uncertainty_score":0.02804255,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1432111644979468,"score_gpt":0.3403685468876623,"score_spread":0.1971573823897156,"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."}}