In this work we present the usage of semantic web knowledge representation formalism in combination with general purpose reasoning for building a medical expert system. The properties of the approach have been studied on the example of the knowledge base construction for decision support tasks in the heart failure domain. The work consisted of descriptive knowledge presentation in the ontological form and its integration with the heart failure procedural knowledge. In this setting instance checking in description logic represents the main process of the expert system reasoning.