Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources

From MaRDI portal

(Redirected from Dataset:6700525)

Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Evonne:_Interactive_Proof_Visualization_for_Description_Logics_(System_Description)_-_IJCAR22_-_Resources&oldid=54697457"