EasyChair Smart SlideDocs/Log in
Author: Julián Méndez

This page shows all presentations of this author published in EasyChair Smart Slide.

Explaining Description Logic Entailments in Practice with Evee and Evonne

Explaining Description Logic Entailments in Practice with Evee and Evonne

Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez and Alexej Popovič

Evonne: Interactive Proof Visualization for Description Logics (System Description)

Evonne: Interactive Proof Visualization for Description Logics (System Description)

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann and Julián Méndez

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair