A New Formal Description of Ontology Definition and Ontology Algebra

Ontology definition is the base of ontology engineering, however, ontology definition currently seldom provides the accurate mathematical characteristics, namely, most of the ontology definitions cannot be described in a formal way, and the existing ontology definitions aren´t complete enough. In this paper, it reviews and sums up the ontology definitions and the formal descriptions of ontology. And, it proposes a novel method of formal ontology definition by analyzing existing ontology definitions, which can make the ontology modeling primitives precise by delimiting the data types with functional description language. Lastly, puts forward the closed definition of ontology algebra, and gives a formal description of ontology algebra based on the new formal description of ontology.