A.  Krisnadhi, ?Data Complexity of Instance Checking in the EL Family of Description Logics?, Technische Universität Dresden, Dresden, 2007.