A MATHEMATICAL APPARATUS FOR DOMAIN ONTOLOGY SIMULATION. LOGICAL RELATIONSHIP SYSTEMS 1

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.