Abstract: 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.

Keywords: 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.

ACM Classification Keywords: I.2.4 Knowledge Representation Formalisms and Methods, F4.1. Mathematical Logic

Link:

A MATHEMATICAL APPARATUS FOR DOMAIN ONTOLOGY SIMULATION. LOGICAL RELATIONSHIP SYSTEMS1

Alexander Kleshchev, Irene Artemjeva

http://www.foibg.com/ijita/vol12/ijita12-4-p07.pdf