Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources
From MaRDI portal
Dataset:6700525
DOI10.5281/zenodo.6560603Zenodo6560603MaRDI QIDQ6700525FDOQ6700525
Dataset published at Zenodo repository.
Raimund Dachselt, Patrick Koopmann, Christian Alrabbaa, Julián Méndez, Stefan Borgwardt, Franz Baader
Publication date: 18 May 2022
Copyright license: Creative Commons Attribution 4.0 International
This page was built for dataset: Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources
