EasyChair Smart SlideUser guide
Author: Christian Alrabbaa

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č

Finding Good Proofs fof Ontology-Mediated Query Answers

Finding Good Proofs fof Ontology-Mediated Query Answers

Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova

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

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies

Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova

Presentations in this collection: 5
Copyright © 2002 – 2026 EasyChair