Description Logic Programs: Normal Forms