Published May 18, 2022
| Version v1
Dataset
Open
Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources
Creators
- 1. Technische Universität Dresden
Description
- evonne-experiments-ijcar22.zip: contains data and scripts used in the experiments.
- evonne-tool-ijcar22.zip: contains the version of Evonne described in the paper.
For more about Evonne (latest version, publications), visit https://imld.de/evonne
Files
evonne-experiments-ijcar22.zip
Files
(908.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:28e764f0ba2bfe0c9be2e6fbc6c5f416
|
608.8 MB | Preview Download |
|
md5:1da5d5c7004fc2ec0547ca65c17f36a0
|
299.5 MB | Preview Download |