Статья посвящена разработке онтологической модели тарифов и услуг оператора сотовой связи. Онтологическая модель строится по принципу четырехуровневой модели представления знаний. Для создания онтологии
используются точные и логически полные определения понятий. Их формальное описание представлено в логике предикатов, а также в OWL DL. Порождение новых знаний в онтологической модели реализуется при помощи автоматизированных средств логического вывода. Разрабатываемая программная система предназначена для того, чтобы предлагать пользователям наиболее подходящие услуги и тарифы данного оператора сотовой связи на основе анализа потребностей пользователя.
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.