Novosibirsk State University Journal of Information Technologies|
ISSN 2410-0420 (Online), ISSN 1818-7900 (Print)
The Development of Ontological Model of Tariffs and
Services of Mobile Operator, Based on Logically Complete Definitions of Concepts
A. I. Kapustina, D. E. Palchunov
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.
domain ontology, ontological model, tariffs and services of mobile operator, knowledge representation, knowledge generation, formal definition, the atomic diagram
How to cite:
Kapustina A. I., Palchunov D. E. The Development of Ontological Model of Tariffs and Services of Mobile Operator, Based on Logically Complete Definitions of Concepts // Vestnik NSU Series: Information Technologies. - 2017. - Volume 15, Issue No 2. - P. 34–46. - ISSN 1818-7900. (in Russian).
Full Text in Russian
Available in PDF
1. Trofimov I. V. The evolution of the OWL language power. Program system: Theory and application, 2011, no. 4 (8), p. 85–94. URI: http://psta.psiras.ru/read/psta2011_4_85-94.pdf (in Russ.).
2. Naidanov C. A., Palchunov D. E., Sazonova P. A. Model-theoretic methods of integration of knowledge extracted from medical documents. Vestnik NSU Series: Information Technologies, 2015, vol. 13, no. 3, p. 29–41. ISSN 1818-7900 (in Russ.).
3. Palchunov D. E. Modeling of reasoning and formalization of reflection II: Ontologies and formalization of concepts. Filosofiya nauki, 2008, no. 2 (37), p. 62–99 (in Russ.).
4. Dolgusheva E. V., Palchunov D. E. Model-theoretic methods of generation of knowledge about mobile subscribers’ preferences. Vestnik NSU Series: Information Technologies, 2016, vol. 14, no. 2, p. 5–16. ISSN 1818-7900 (in Russ.).
5. Korsun I. A., Palchunov D. E. Model-Theoretic Methods of Extraction of Knowledge on the Meaning of Concepts from the Natural Language Texts. Vestnik NSU Series: Information Technologies, 2016, vol. 14, no. 3, p. 34–48. ISSN 1818-7900 (in Russ.).
6. Muromtsev D. I. Ontology engineering knowledge in the system St. Petersburg, 2007, 62 p. (in Russ.).
7. Gruber T. R. The Role of Common Ontology in Achieving Sharable, Reusable Knowledge
Bases. Knowledge Systems Laboratory, Stanford University, 1991.
8. Khala K. A. Sequential Presentation of Method for Integration the OWL DL and SWRL
Using Protеgе-owl API. Open Semantic Technologies for Intelligent Systems (OSTIS-2017), 2017,
9. Möller R., Haarslev V. Tableau-based Reasoning. Handbook on Ontologies, S. Staab, R. Studer (eds), 2nd ed. Springer-Verlag, 2009, p. 509– 28.
10. Zuo M., Haarslev V. Intelligent Tableau Algorithm for DL Reasoning. Proceedings of the 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Nancy, France, 2013, p. 273–287.
11. O'Connor M., Das A. SQWRL: a query language for OWL. Proceedings of the 6th International Conference on OWL: Experiences and Directions (OWLED-2009), 2009, vol. 529, p. 208–215.
Main title Vestnik NSU Series: Information Technologies, Volume 15, Issue No 2 (2017).
Parallel title: Novosibirsk State University Journal of Information Technologies Volume 15, Issue No 2 (2017).
Key title: Vestnik Novosibirskogo gosudarstvennogo universiteta. Seriâ: Informacionnye tehnologii
Abbreviated key title: Vestn. Novosib. Gos. Univ., Ser.: Inf. Tehnol.
Variant title: Vestnik NGU. Seriâ: Informacionnye tehnologii
Year of Publication: 2017
ISSN: 1818-7900 (Print), ISSN 2410-0420 (Online)
Publisher: Novosibirsk State University Press
© 2006-2018, Novosibirsk State University.