{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":5,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":5,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"666f4a6656e9","filters":{"venue":"Description Logics"}},"results":[{"id":"W183822441","doi":"","title":"Binary Absorption in Tableaux-Based Reasoning for Description Logics.","year":2006,"lang":"en","type":"article","venue":"Description Logics","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":43,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Generalization; Satisfiability; Axiom; Binary number; Terminology; Algorithm; Theoretical computer science; Boolean satisfiability problem; Mathematics; Arithmetic","authors":[{"name":"Alexander K. Hudek","is_ca":true},{"name":"Grant Weddell","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04297128287683932,"gpt":0.2480619291802778,"spread":0.2050906463034385,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005145459,0.0006840648,0.0007799786,0.0014882,0.001546468,0.003572657,0.003146408,0.001596237,0.004861734],"category_scores_gemma":[0.01140152,0.0009542833,0.002109918,0.001973957,0.004740673,0.008307454,0.003659155,0.003755498,0.001043341],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00255843,"about_ca_system_score_gemma":0.001425012,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002294092,"about_ca_topic_score_gemma":0.003300183,"domain_scores_codex":[0.996484,0.001255486,0.0002177235,0.0005922166,0.001189293,0.0002611551],"domain_scores_gemma":[0.992179,0.005969113,0.0003741162,0.0009466042,0.0003687172,0.0001624397],"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.00009794129,0.00006692278,0.000375292,0.0001724176,0.00003186564,0.0001680947,0.0005326335,0.01463666,0.00225224,0.9207196,0.002022398,0.05892395],"study_design_scores_gemma":[0.00002853262,0.00003111806,0.00008832357,0.00005969379,0.00003243033,0.0001456226,0.00008706493,0.1151054,0.004030046,0.8707492,0.009619296,0.00002327042],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003807575,0.0002010686,0.992436,0.0003153293,0.00003916916,0.00008525521,0.00004462866,0.0005251357,0.002545887],"genre_scores_gemma":[0.1721415,0.0004115833,0.8227327,0.0004786093,0.0001111449,0.0002269477,0.0002625598,0.0002205273,0.003414356],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005145459,"threshold_uncertainty_score":0.02721214,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2142128908","doi":"","title":"Automata-Based Abduction for Tractable Diagnosis.","year":2010,"lang":"en","type":"article","venue":"Description Logics","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"","funders":"","keywords":"Computer science; Inference; Abductive reasoning; Axiom; Domain (mathematical analysis); Theoretical computer science; Complete information; Automaton; Artificial intelligence; Non-monotonic logic; Representation (politics); Interpretation (philosophy); Monotonic function; Machine learning; Programming language; Mathematical economics; Mathematics","authors":[{"name":"Thomas Hubauer","is_ca":false},{"name":"Steffen Lamparter","is_ca":false},{"name":"Michael Pirker","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0428340268826681,"gpt":0.265612261656814,"spread":0.2227782347741459,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003986652,0.001621664,0.001060896,0.002011505,0.001019755,0.002955619,0.002822758,0.001831356,0.007697817],"category_scores_gemma":[0.01660074,0.001143514,0.004552469,0.001302038,0.003743092,0.004167427,0.005551188,0.004593375,0.001801079],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002614786,"about_ca_system_score_gemma":0.002734333,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002857573,"about_ca_topic_score_gemma":0.00387202,"domain_scores_codex":[0.9960881,0.001145507,0.000471916,0.0009008392,0.001173707,0.0002199265],"domain_scores_gemma":[0.9896629,0.00766035,0.0005347141,0.001463282,0.0005686856,0.0001100271],"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.0001985737,0.0001332805,0.001087274,0.001035606,0.0002611858,0.0004950134,0.0005553476,0.2244369,0.007091274,0.5873452,0.003785004,0.1735754],"study_design_scores_gemma":[0.00004721903,0.00004836333,0.00008393078,0.0001247981,0.00007210555,0.0001884781,0.00007206472,0.5297327,0.005709182,0.4549036,0.008988002,0.00002953663],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001419322,0.0001725328,0.9954193,0.0002736318,0.00003183535,0.0001108566,0.0001209743,0.0007116952,0.001739983],"genre_scores_gemma":[0.1022219,0.0004502227,0.8927717,0.0003032684,0.00006156779,0.0005404092,0.0006540729,0.0001685619,0.002828354],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007697817,"threshold_uncertainty_score":0.02575177,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W109312419","doi":"","title":"Retrospective on Clio: Schema Mapping and Data Exchange in Practice.","year":2007,"lang":"en","type":"article","venue":"Description Logics","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"University of Toronto","funders":"","keywords":"IBM; Computer science; Schema (genetic algorithms); Research center; Library science; Data science; Operations research; Information retrieval; Political science; Engineering","authors":[{"name":"Renée J. Miller","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1312090230740086,"gpt":0.3333104883830632,"spread":0.2021014653090546,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01860381,0.0009367794,0.0005978938,0.004363329,0.00253069,0.009283986,0.002331997,0.003667618,0.0260554],"category_scores_gemma":[0.0242555,0.0008646832,0.0008068094,0.008094832,0.007746951,0.02317834,0.005965266,0.006784834,0.006495851],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006599124,"about_ca_system_score_gemma":0.004863209,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01326569,"about_ca_topic_score_gemma":0.01271448,"domain_scores_codex":[0.9922391,0.004202803,0.0004574884,0.0009886576,0.001574807,0.0005370867],"domain_scores_gemma":[0.9813311,0.01172612,0.0005920683,0.002617609,0.0027587,0.0009744228],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00008090772,0.0000811694,0.0007231073,0.0004165502,0.00002946042,0.0001354629,0.003552817,0.001072819,0.0006073464,0.5495006,0.324969,0.1188308],"study_design_scores_gemma":[0.00001094803,0.00003447773,0.0003602743,0.0004606818,0.00001114307,0.0002129656,0.00075682,0.0008524527,0.0007210737,0.04782763,0.9487289,0.00002250435],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006031773,0.1089813,0.3944218,0.1911949,0.01335271,0.0005475833,0.002139104,0.002802589,0.2805282],"genre_scores_gemma":[0.1227185,0.1498256,0.3120551,0.06489588,0.01616721,0.001258964,0.007949714,0.004982533,0.3201466],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0260554,"threshold_uncertainty_score":0.09838754,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W38868912","doi":"10.1111/ahe.13073","title":"Specifying Event Logics for Active Databases.","year":2002,"lang":"en","type":"article","venue":"Description Logics","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Active database; Computer science; Event (particle physics); Event calculus; Semantics (computer science); Action (physics); Database; Dimension (graph theory); Description logic; Theoretical computer science; Programming language; Mathematics","authors":[{"name":"Iluju Kiringa","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.153769469963791,"gpt":0.2870872975224822,"spread":0.1333178275586912,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005245909,0.001206348,0.0007096098,0.002172435,0.0009892323,0.005445167,0.003512545,0.001597111,0.01410117],"category_scores_gemma":[0.01199596,0.000858541,0.002404175,0.001667114,0.001651145,0.0107432,0.003231108,0.0024987,0.00362179],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002151694,"about_ca_system_score_gemma":0.002621925,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004951288,"about_ca_topic_score_gemma":0.008794604,"domain_scores_codex":[0.9953706,0.001036839,0.0009686286,0.0009704543,0.001323558,0.0003299741],"domain_scores_gemma":[0.9949598,0.002526353,0.0004858753,0.001273417,0.000559616,0.0001949908],"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.0002908737,0.0001293453,0.002041425,0.0009431511,0.0001197658,0.0004779361,0.0005677742,0.01782481,0.003208021,0.8064004,0.02917562,0.1388208],"study_design_scores_gemma":[0.00009199754,0.00007906563,0.0004828419,0.0003981114,0.00011138,0.0006715825,0.000311036,0.1756786,0.01499845,0.6018119,0.2052895,0.00007563362],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003702221,0.000741143,0.9701955,0.0009326306,0.0001575917,0.0003249485,0.005436425,0.009166503,0.009343094],"genre_scores_gemma":[0.1969716,0.001970854,0.7661583,0.001864789,0.0003078177,0.00110262,0.01656321,0.001795785,0.01326507],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01410117,"threshold_uncertainty_score":0.04717314,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2406241794","doi":"","title":"Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect.","year":2015,"lang":"en","type":"article","venue":"Description Logics","topic":"Natural Language Processing Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Conjunctive query; Computer science; Context (archaeology); Noun phrase; Expression (computer science); Constant (computer programming); Phrase; Base (topology); Theoretical computer science; Natural language processing; Information retrieval; Programming language; Noun; Mathematics; Relational database","authors":[{"name":"Alexander Borgida","is_ca":false},{"name":"David Toman","is_ca":true},{"name":"Grant Weddell","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1015648086962483,"gpt":0.311220755416625,"spread":0.2096559467203767,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01197072,0.0005559333,0.001092369,0.001558664,0.002465387,0.007009591,0.002138745,0.002590737,0.006996925],"category_scores_gemma":[0.03076077,0.00105123,0.001877645,0.002668377,0.006650427,0.01891561,0.008276426,0.003704338,0.001771706],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003503284,"about_ca_system_score_gemma":0.001995533,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009102272,"about_ca_topic_score_gemma":0.007452008,"domain_scores_codex":[0.9884266,0.004783439,0.001379437,0.001950627,0.002757181,0.0007027747],"domain_scores_gemma":[0.9738984,0.01591212,0.001214338,0.004557614,0.003804798,0.0006127678],"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.0001925381,0.00003625064,0.001134571,0.0002444158,0.00003485748,0.0008781628,0.0061302,0.001448907,0.003127933,0.9525095,0.005876388,0.02838633],"study_design_scores_gemma":[0.00007956515,0.00006677368,0.0007726631,0.0001616712,0.0001618404,0.002501574,0.004666176,0.05487449,0.01318893,0.7666396,0.1567418,0.0001448383],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02851502,0.0007835156,0.9402848,0.004999277,0.0001957239,0.0003145805,0.0006641537,0.002080311,0.02216267],"genre_scores_gemma":[0.4091432,0.0007460704,0.5713007,0.002653651,0.0002204583,0.000430968,0.001001639,0.0007712651,0.01373195],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01197072,"threshold_uncertainty_score":0.06330794,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}