канд. техн. наук, доцент, доцент кафедры «Математическое обеспечение и применение ЭВМ»
Candidate of Technical Sciences, Associate Professor, Associate Professor of the Department of Mathematical Support and Computer Use
Senior Lecturer of the Department of Mathematical Support and Computer Use, Penza State University
ст. преподаватель кафедры «Математическое обеспечение и применение ЭВМ»
Candidate of Technical Sciences, Associate Professor of the Department of Mathematical Support and Computer Use
канд. техн. наук, доцент, доцент кафедры «Математическое обеспечение и применение ЭВМ»
The paper raises the problem of improving the efficiency of processing documents submitted to the tax authority during the state registration of entrepreneurial activity by reducing the time of document processing through the automation of the verification process. The relevance of the study is due to a significant number of routine operations performed manually by specialists of the tax authority, as well as a large volume of income documents. The article considers the process of processing documents submitted to the tax authority when registering various forms for business activities. On the basis of the conducted research the expediency of development of software tools for automated verification of documents is substantiated. The peculiarities of this task requiring the use of ontological approach to data representation are highlighted. The ontology of a formalized document and the rules of its verification are described. An algorithm of document verification within the framework of the constructed ontological model is proposed. The architecture of information system including metadata, application server and user application is described. The metadata layer is represented by a set of ontologies built on the basis of the developed ontology model. An information system providing support for ontologies as well as automated document verification is developed. The results of automated document processing using the developed system are presented, confirming the reduction of time costs for verification of documents.
В работе поднимается проблема повышения эффективности обработки документов, подаваемых в налоговый орган при государственной регистрации предпринимательской деятельности, путем сокращения времени обработки документов за счет автоматизации процесса верификации. Актуальность исследования обусловлена значительным количеством рутинных операций, выполняемых специалистами налогового органа вручную, а также большим объемом входящих документов. В статье рассмотрен процесс обработки документов, подаваемых в налоговый орган при регистрации различных форм для ведения предпринимательской деятельности. На основе проведенного исследования обоснована целесообразность разработки программных средств автоматизированной верификации документов. Выделены особенности данной задачи, требующие использования онтологического подхода к представлению данных. Описана онтология формализованного документа и правил его верификации. Предложен алгоритм верификации документов в рамках построенной онтологической модели. Описана архитектура информационной системы, включающая метаданные, сервер приложения и приложение пользователя. Уровень метаданных представлен совокупностью онтологий, построенных на основе разработанной онтологической модели. Разработана информационная система, обеспечивающая поддержку онтологий, а также автоматизированную верификацию документов. Представлены результаты автоматизированной обработки документов с использованием разработанной системы, подтверждающие снижение временных затрат на верификацию документов.