A Characterization Theorem for a Modal Description Logic
Authors: Paul Wild, Lutz Schröder
IJCAI 2017 | Conference PDF | Archive PDF | Plain Text | 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 {Paul.Wild, Lutz.Schroeder}@fau.de |
| 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. |