Abstract:
The paper is devoted to the development of ontological model of tariffs and services of mobile operator. The ontological model is based on the four-level model of knowledge representation. We create the ontology on the base of precise and logically complete definitions of concepts. The formal description of definitions is presented in predicate logic, and in OWL DL. The generation of new knowledge in the ontological model is implemented using automated logical reasoning. We develop a software system designed to offer users the most suitable services and tariffs of the mobile operator on the base of analysis of user's needs.
Keywords:domain ontology, ontological model, tariffs and services of mobile operator, knowledge representation, knowledge generation, formal definition, the atomic diagram.
