Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources
收藏Zenodo2022-05-18 更新2026-04-07 收录
下载链接：
https://zenodo.org/record/6560602
下载链接
链接失效反馈官方服务：
资源简介：
- <strong>evonne-experiments-ijcar22.zip</strong>: contains data and scripts used in the experiments. - <strong>evonne-tool-ijcar22.zip: </strong>contains the version of Evonne described in the paper. For more about Evonne (latest version, publications), visit https://imld.de/evonne
提供机构：
Borgwardt, Stefan; Alrabbaa, Christian; Méndez, Julián; Baader, Franz; Dachselt, Raimund; Koopmann, Patrick
创建时间：
2022-05-18
