A decidable very expressive n-ary description logic for database applications