Extendable Language of Applied Logic Ontology Language Specification Kernel of Extendable Language of Applied Logic Unenriched Logical Relationship Systems Enriched Logical Relationship Systems Enrichment of Logical Relationship System
Institute of Information Theories and Applications FOI ITHEA
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.
* 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".