Abstract: 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.
Keywords: Extendable language of applied logic, ontology language specification, specialized extensions of the
extendable language of applied logic.
ACM Classification Keywords: I.2.4 Knowledge Representation Formalisms and Methods, F4.1. Mathematical Logic
Link:
A MATHEMATICAL APPARATUS FOR ONTOLOGY SIMULATION. SPECIALIZED EXTENSIONS OF THE EXTENDABLE LANGUAGE OF APPLIED LOGIC1
Alexander Kleshchev, Irene Artemjeva
http://www.foibg.com/ijita/vol12/ijita12-3-p10.pdf