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].
Number Restrictions on Transitive Roles in Description Logics with Nominals
Authors: Vctor Gutirrez-Basulto, Yazmn Ibez-Garca, Jean Christoph Jung
AAAI 2017 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We study description logics (DLs) supporting number restrictions on transitive roles. We first take a look at SOQ and SON with binary and unary coding of numbers, and provide algorithms for the satisfiability problem and tight complexity bounds ranging from EXPTIME to NEXPTIME. The main contribution of this paper is to establish a complete picture of the complexity of the problem of concept satisfiability relative to TBoxes in DLs supporting counting over transitive roles, by resolving the aforementioned open problems. |
| Researcher Affiliation | Academia | V ıctor Guti errez-Basulto Cardiff University, UK Gutierrez Basulto EMAIL Yazm ın Ib a nez-Garc ıa TU Wien, Austria EMAIL Jean Christoph Jung Universit at Bremen, Germany EMAIL |
| Pseudocode | No | The paper describes algorithms and procedures in prose, but does not include any formally structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper states 'Missing proofs are available at www.informatik.uni-bremen.de/tdki/research/papers/GIJ17.pdf', which refers to proofs, not source code for the described methodology. No other statements about open-source code for the methodology were found. |
| Open Datasets | No | This paper is theoretical and does not use datasets for empirical studies, thus there is no public dataset information. |
| Dataset Splits | No | This paper is theoretical and does not involve experimental validation on datasets, so there is no information about training/validation/test splits. |
| Hardware Specification | No | This paper focuses on theoretical research and does not describe any experimental hardware specifications. |
| Software Dependencies | No | This paper is theoretical and does not mention any specific software dependencies with version numbers for implementation or experiments. |
| Experiment Setup | No | This paper is theoretical and does not describe an experimental setup, hyperparameters, or system-level training settings. |