Evonne: Experimental Data for a Description Logic Proof Visualization Tool

Experimental data and scripts from the IJCAR 2022 paper describing Evonne, an interactive proof visualization tool for description logics. The dataset was created by Christian Alrabbaa of Technische Universität Dresden. The data likely contains results and configurations used to evaluate the Evonne system.

Use Cases

• Benchmarking proof visualization systems based on the experimental data
• Reproducing the evaluation of the Evonne tool based on the provided scripts
• Analyzing performance in automated reasoning tasks for description logics

Strengths

• Data is directly associated with a peer-reviewed conference paper (IJCAR 2022)
• Includes both experimental data and scripts, which may aid reproducibility

Limitations

• Row count and file size are unknown, which may limit suitability assessment
• Column-level documentation is absent; field semantics must be inferred after download
• Last update date is unknown; freshness unverified

Provenance

Source

Technische Universität Dresden

Collection Method

Likely generated as part of the research and development for the Evonne tool.