Notice: The reproducibility variables underlying each score are classified using an automated LLM-based pipeline, validated against a manually labeled dataset. LLM-based classification introduces uncertainty and potential bias; scores should be interpreted as estimates. Full accuracy metrics and methodology are described in Coakley et alK. L. Coakley, T. Snelleman, H. Hoos, and O. E. Gundersen, "The embrace of open science: An analysis of a decade of AI research and 56 800 conference papers," Under Review, 2026..
Least General Generalizations in Description Logic: Verification and Existence
Authors: Jean Christoph Jung, Carsten Lutz, Frank Wolter2854-2861
AAAI 2020 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | Our focus is on the complexity of existence and verification, the latter meaning to decide whether a candidate concept is the LCS or MSC. We consider cases with and without a background TBox and a target signature. Our results range from CONP-complete for LCS and MSC verification in the description logic EL without TBoxes to undecidability of LCS and MSC verification and existence in ELI with TBoxes. |
| Researcher Affiliation | Academia | Jean Christoph Jung,1 Carsten Lutz,1 Frank Wolter2 1University of Bremen, Germany 2University of Liverpool, United Kingdom EMAIL, EMAIL |
| Pseudocode | No | No structured pseudocode or algorithm blocks were found in the paper. |
| Open Source Code | No | The paper states: 'A full version that contains all proof details is available at http://www.informatik.uni-bremen.de/tdki/research/.' This link is for proof details, not the source code of the methodology. |
| Open Datasets | No | This is a theoretical paper and does not involve the use of datasets for training. |
| Dataset Splits | No | This is a theoretical paper and does not involve the use of datasets or their validation splits. |
| Hardware Specification | No | This is a theoretical paper and does not describe experiments that would require hardware specifications. |
| Software Dependencies | No | This is a theoretical paper and does not mention any specific software dependencies with version numbers. |
| Experiment Setup | No | This is a theoretical paper and does not describe any experimental setup details or hyperparameters. |