Werke:
- Optimisation of tableau-based reasoning systems for expressive description logics
- The OWL Reasoner Evaluation (ORE) 2015 Competition Report
- Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures
- Extended caching, backjumping and merging for expressive description logics