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 [1].
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. |