This page shows all presentations of this author published in EasyChair Smart Slide.
Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)
Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan and Benjamin Zarriess