RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



The Bulletin of Irkutsk State University. Series Mathematics:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


The Bulletin of Irkutsk State University. Series Mathematics, 2019, Volume 27, Pages 36–54 (Mi iigum365)  

A formalization of document models with semantic modelling

A. V. Mantsivodaab, D. K. Ponomaryovbcd

a Irkutsk State University, Irkutsk, Russian Federation
b Sobolev Institute of Mathematics, Novosibirsk, Russian Federation
c Ershov Institute of Informatics Systems, Novosibirsk, Russian Federation
d Novosibirsk State University, Novosibirsk, Russian Federation

Abstract: In this paper, we formalize the general concept of a document model in terms of the Semantic Modelling (SM) paradigm. We argue that the idea of using documents as a basic metaphor for modelling appears to be very useful, since it provides a balance between the logical tools for knowledge processing and cognitive aspects for a much wider audience than the community of professional mathematicians. A subject domain can be arbitrarily complex by its nature, but humans tend to choose those primitives, which are convenient for cognition. The notion of a document is an example of such a primitive, which has been employed for centuries and clearly remains topical in the era of information systems. The significant outcome of constructing the semantics of document models within the SM paradigm is that Semantic Modelling makes document models executable. Executable models can be directly used as practical information systems, and this feature makes the programming stage unnecessary. Replacing programming with modelling has a great impact on the efficiency of IT systems development and maintenance, and makes these systems friendly for the Artificial Intelligence tools.

Keywords: semantic modelling, document model.

Funding Agency Grant Number
Russian Science Foundation 17-11-01176
The research was supported by the Russian Science Foundation (Grant No. 17-11-01176).


DOI: https://doi.org/10.26516/1997-7670.2019.27.36

Full text: PDF file (370 kB)
References: PDF file   HTML file

Document Type: Article
UDC: 510.62:004.82
MSC: 68T27, 68N19
Received: 10.10.2018
Language: English

Citation: A. V. Mantsivoda, D. K. Ponomaryov, “A formalization of document models with semantic modelling”, The Bulletin of Irkutsk State University. Series Mathematics, 27 (2019), 36–54

Citation in format AMSBIB
\Bibitem{ManPon19}
\by A.~V.~Mantsivoda, D.~K.~Ponomaryov
\paper A formalization of document models with semantic modelling
\jour The Bulletin of Irkutsk State University. Series Mathematics
\yr 2019
\vol 27
\pages 36--54
\mathnet{http://mi.mathnet.ru/iigum365}
\crossref{https://doi.org/10.26516/1997-7670.2019.27.36}


Linking options:
  • http://mi.mathnet.ru/eng/iigum365
  • http://mi.mathnet.ru/eng/iigum/v27/p36

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Number of views:
    This page:13
    Full text:4

     
    Contact us:
     Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019