Towards Formalisation of Concept Descriptions and Constraints