Artemjeva A structure of domain ontologies and their mathematical models

A primitive conceptualization is defined as the set of all intended situations. A non–primitive conceptualization is defined as the set of all the pairs every of which consists of an intended knowledge system and the set of all the situations admitted by the knowledge system. The reality of a domain is considered as the set of all the situation which have ever taken place in the past, are taking place now and will take place in the future. A conceptualization is defined as precise if the set of intended situations is equal to the domain reality. The representation of various elements of a domain ontology in a model of the ontology is considered. These elements are terms for situation description and situations themselves, terms for knowledge description and knowledge systems themselves, mathematical terms and constructions, auxiliary terms and ontological agreements. It has been shown that any ontology representing a conceptualization has to be non– primitive if either (1) a conceptualization contains intended situations of different structures, or (2) a conceptualization contains concepts designated by terms for knowledge description, or (3) a conceptualization contains concept classes and determines properties of the concepts belonging to these classes, but the concepts themselves are introduced by domain knowledge, or (4) some restrictions on meanings of terms for situation description in a conceptualization depend on the meaning of terms for knowledge description. Keywords: Domain ontology, domain ontology model, domain mode