Towards a formal representation for description rules