Efficient TBox Reasoning with Value Restrictions - Introducing the ℱ\

Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). - Franz Baader; Patrick Koopmann; Friedrich Michel; Anni-Yasmin Turhan; Benjamin Zarrieß (Description Logics, 2022)

Model-based autotuning of discretization methods in numerical simulations of partial differential equations. - Nesrine Khouzami; Friedrich Michel; Pietro Incardona; Jerónimo Castrillón; Ivo F. Sbalzarini (J. Comput. Sci., 2022)

Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner. - Franz Baader; Patrick Koopmann; Friedrich Michel; Anni-Yasmin Turhan; Benjamin Zarrieß (Theory Pract. Log. Program., 2022)