2020
A Lightweight Defeasible Description Logic in Depth.
Künstliche Intell., 2020

2019
Schlussfolgern in Defeasible Beschreibungslogiken.
Proceedings of the Ausgezeichnete Informatikdissertationen 2019., 2019

A Lightweight Defeasible Description Logic in Depth - Quantification in Rational Reasoning and Beyond.
PhD thesis, 2019

Congenial Benchmarking of RDF Storage Solutions.
Proceedings of the 10th International Conference on Knowledge Capture, 2019

2018
Reasoning in the Defeasible Description Logic εℒ - computing standard inferences under rational and relevant semantics.
Int. J. Approx. Reason., 2018

The Data Complexity of Answering Instance Queries in <i>FL0</i>.
Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017
Making Quantification Relevant Again - the Case of Defeasible EL_\bot.
Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), 2017

Including Quantification in Defeasible Reasoning for the Description Logic EL<sub>⊥</sub>.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

2015
Elastiq: Answering Similarity-threshold Instance Queries in EL.
Proceedings of the 28th International Workshop on Description Logics, 2015