A Decidable Very Expressive n-ary Description Logic for Database Applications