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..
A Characterization Theorem for a Modal Description Logic
Authors: Paul Wild, Lutz Schröder
IJCAI 2017 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We prove a modal characterization theorem for this embedding, in analogy to results by van Benthem and Rosen relating ALC to standard first-order logic: We show that S5ALC with only local roles is, both over finite and over unrestricted models, precisely the bisimulation-invariant fragment of S5FOL, thus giving an exact description of the expressive power of S5ALC with only local roles. |
| Researcher Affiliation | Academia | Friedrich-Alexander-Universit at Erlangen-N urnberg EMAIL |
| Pseudocode | No | The paper does not contain structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide any concrete access to source code for the methodology described, nor does it state that code is released. |
| Open Datasets | No | The paper focuses on theoretical proofs and does not involve empirical experiments with datasets for training. |
| Dataset Splits | No | The paper is theoretical and does not mention training, validation, or test dataset splits. |
| Hardware Specification | No | The paper presents theoretical work and does not involve computational experiments requiring hardware specifications. |
| Software Dependencies | No | The paper is theoretical and does not describe computational experiments with specific software dependencies. |
| Experiment Setup | No | The paper describes theoretical proofs and definitions, and therefore does not include details on an experimental setup or hyperparameters. |