1. Efficient TBox Reasoning with Value Restrictions using the ${\cal F}{{\cal L}_0}$ wer Reasoner. Issue 2 (15th March 2022) Authors: BAADER, FRANZ; KOOPMANN, PATRICK; MICHEL, FRIEDRICH; TURHAN, ANNI-YASMIN; ZARRIESS, BENJAMIN Journal: Theory and practice of logic programming Issue: Volume 22:Issue 2(2022) Page Start: 162 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗