Control engineering problems are dealt within a plethora of methods and approaches depending on the a priori
knowledge, the description of the process to control, and the main control goal. Classical control theory is
mainly based on properties of numerical models. This paper presents an approach that applies to a class of
processes described by numerical and logical relations using inference and a knowledge base system. To attain
this goal an ontology for control systems is constructed. The work presented in this paper is based in a three
tank system benchmark.