A Mathematical Apparatus for Ontology Simulation. Specialized Extensions of the Extendable Language of Applied Logic

* 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 is described in the series of articles. This article is the second one of the series. It describes a few specialized extensions of the extendable languages of applied logic that was described in the first article of the series. A few examples of some ideas related to domain ontologies and formalization of these ideas using the language are presented.