Number Restrictions on Transitive Roles in Description Logics with Nominals
Authors: Vctor Gutirrez-Basulto, Yazmn Ibez-Garca, Jean Christoph Jung
AAAI 2017 | Conference PDF | Archive PDF | Plain Text | 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 V@cardiff.ac.uk Yazm ın Ib a nez-Garc ıa TU Wien, Austria yazmin.garcia@tuwien.ac.at Jean Christoph Jung Universit at Bremen, Germany jeanjung@informatik.uni-bremen.de |
| 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. |