A Mathematical Apparatus for Domain Ontology Simulation. Logical Relationship Systems

* This paper was made according to the program of fundamental scientific research of the Presidium of the Russian Academy of Sciences «Mathematical simulation and intellectual systems», the project "Theoretical foundation of the intellectual systems based on ontologies for intellectual support of scientific researches".

A mathematical apparatus for domain ontology simulation will be described in the series of the articles The goal of this article is to define unenriched and enriched logical relationship systems that can be considered as mathematical models for domain ontologies. The extendable language of applied logic described in the previous articles of the series is used as the language of representation of these systems.