This paper considers interrelations between universal
algebra, algebraic logic, geometry and computer science. The key idea of the paper is to show that
problems, coming from computer science, require
introducing of highly non-trivial mathematical structures. On the other
hand, algebraic models in computer science give deeper understanding of problems
essence.
This general idea is illustrated on the example of knowledge bases.
Theorems concerning the knowledge base equivalence problem are formulated.