Аннотация:
Статья посвящена разработке онтологической модели тарифов и услуг оператора сотовой связи. Онтологическая модель строится по принципу четырехуровневой модели представления знаний. Для создания онтологии
используются точные и логически полные определения понятий. Их формальное описание представлено в логике предикатов, а также в OWL DL. Порождение новых знаний в онтологической модели реализуется при помощи автоматизированных средств логического вывода. Разрабатываемая программная система предназначена для того, чтобы предлагать пользователям наиболее подходящие услуги и тарифы данного оператора сотовой связи на основе анализа потребностей пользователя.
Ключевые слова:
онтология, онтологическая модель, тарифы и услуги сотовой связи, представление знаний, порождение знаний, формальное определение понятия, атомарная диаграмма.