أرسل هذا في رسالة قصيرة: Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning.