Formalization of processes in the land relations of Ukraine

The work listed a number of problematic tasks in the sphere of land relations of Ukraine, among which: weak communications between laws, inconsistency interpretations laws and insufficient use of modern information technologies. The relevance of the work is the need to solve problem tasks land relations in Ukraine and absence, proposed in the work, mathematical apparatus for solving these tasks. Analyzed work of scientists, who work in the sphere of land relations and who work in the sphere of formalize of rights. The proposed decision of actual tasks with help create mathematical ensuring for develop decision support system in land relations. The basis of this mathematical ensuring constitute methods of category theory, which provide the formalization of complex tasks. Based on methods of category theory models of land relations are constructed using data Land code of Ukraine. They will become an element of ontology land relations, which will be the structural parts of the knowledge base decision support system in the land management of Ukraine. It should also be noted, what similar models can be used in other subject areas.