Media type: E-Article Title: Rules and Reasoning: Efficient TBox Reasoning with Value Restrictions—Introducing the $$\mathcal {F\!L}_{o}{} \textit{wer}$$ Reasoner Contributor: Michel, Friedrich; Turhan, Anni-Yasmin; Zarrieß, Benjamin imprint: Springer International Publishing, 2019 Published in: Rules and Reasoning Language: Not determined DOI: 10.1007/978-3-030-31095-0_9 ISSN: 0302-9743; 1611-3349 Origination: Footnote: