Extendable Language of Applied Logic Ontology Language Specification Specialized Extensions of the Extendable Language of Applied Logic
Institute of Information Theories and Applications FOI ITHEA
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.
* 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".