Encontrar algoritmos de decisión para los problemas de inferencia como satisfactibilidad, subsumición y consistencia en "ABoxes" para lógicas de descripción expresivas y con la menor complejidad posible, de forma que la implementación computacional sea afrontable, la cual es todo un reto.