Non-expansive Fuzzy ALC
Authors: Stefan Gebhart, Lutz Schröder, Paul Wild
IJCAI 2025 | Venue PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We present an unlabelled tableau method for non-expansive fuzzy ALC, which allows reasoning over general TBoxes in EXPTIME like in two-valued ALC. Our main technical result on non-expansive fuzzy ALC is decidability of the main reasoning problems in the same complexity as for two-valued ALC; most notably, threshold satisfiability over general TBoxes is (only) EXPTIME-complete, in sharp contrast with the undecidability encountered for full ukasiewicz fuzzy ALC, and in spite of the fact that the semantics of general concept inclusions is pointwise inequality and thus corresponds to validity of ukasiewicz implication. We base this result on an unlabelled tableau calculus. |
| Researcher Affiliation | Academia | Stefan Gebhart , Lutz Schr oder and Paul Wild Friedrich-Alexander-Universit at Erlangen-N urnberg EMAIL |
| Pseudocode | Yes | Algorithm 1: checking satisfiability in non-expansive fuzzy ALC |
| Open Source Code | No | No explicit statement or link regarding open-source code for the methodology described in this paper was found. |
| Open Datasets | No | The paper focuses on theoretical aspects of fuzzy description logics, introducing a new logic and a tableau calculus, and does not mention the use or availability of any datasets. |
| Dataset Splits | No | As the paper is theoretical and does not describe experiments using datasets, there is no mention of dataset splits. |
| Hardware Specification | No | The paper is theoretical and does not describe any experiments or specific hardware used for computations. |
| Software Dependencies | No | The paper describes a theoretical framework and an algorithm but does not specify any software dependencies with version numbers. |
| Experiment Setup | No | The paper is theoretical and focuses on logic and algorithm design, thus it does not include details on experimental setup or hyperparameters. |