Novosibirsk State University Journal of Information Technologies
Scientic Journal

ISSN 2410-0420 (Online), ISSN 1818-7900 (Print)

Switch to

All Issues >> Contents: Volume 15, Issue No 3 (2017)

Semi-Automated Methods of Transforming Sentences from Natural Language into Quantifier-Free Formulas of Predicate Logic
E. O. Nenasheva, D. E. Palchunov

Novosibirsk State University
Institute of Mathematics SB RAS

DOI: DOI 10.25205/1818-7900-2017-15-3-49-63
UDC code: 004.89

The article is devoted to the development of semi-automated methods for extracting and formal representation of knowledge from natural language texts. To solve this problem, we developed methods for converting natural language sentences into quantifier-free formulas of predicate logic. The knowledge extracted from texts is formalized. It is presented in the form of sets of atomic sentences forming fragments of atomic diagrams of algebraic systems. We developed methods for representing semantics of sentences of a natural language using binary predicates and integrating knowledge contained in several sentences of the text. Also we developed methods for eliminating missing knowledge by filling the empty places of predicates.

Key Words
knowledge extraction, representation of knowledge, knowledge integration, analysis of natural language texts, atomic diagram, ontology, theory "Meaning - text"

How to cite:
Nenasheva E. O., Palchunov D. E. Semi-Automated Methods of Transforming Sentences from Natural Language into Quantifier-Free Formulas of Predicate Logic // Vestnik NSU Series: Information Technologies. - 2017. - Volume 15, Issue No 3. - P. 49–63. - DOI 10.25205/1818-7900-2017-15-3-49-63. - ISSN 1818-7900. (in Russian).

Full Text in Russian

Available in PDF

1. Melchuk I. A. Experience of the theory of the linguistic models «Meaning - Text». Moscow, 1999. (In Russ.)
2. Melchuk I.A. About one linguistic model of the «Meaning 􀖞 Text» type: levels of utterance representation. Series of Literature and Language, 1976, vol. 33, no. 5, p. 5–33. (In Russ.)
3. Makhasoeva O. G., Palchunov D. E. Semi-automatic methods of a construction of the atomic diagrams from natural language texts. Vestnik NSU. Series: Information Technologies, 2014, vol. 12, no. 2, p. 64–73. ISSN 1818-7900. (In Russ.)
4. Makhasoeva O. G., Palchunov D. E. Program system for the construction of the atomic diagram of a model from natural language texts. Certificate of the State Registration of the Computer Program No. 2014619198, registered 10.09.2014.
5. Keisler G. Model theory. Moscow, Mir, 1977, 615 p. (In Russ.)
6. Palchunov D. E. Modelirovanie myshleniya i formalizaciya refleksii. I: Teoretiko-model'naya formalizaciya ontologii i refleksii [Modeling of reasoning and formalization of reflection I: Model theoretical formalization of ontology and reflection]. Filosofiya nauki, 2006, no. 4 (31), p. 86–114. (In Russ.)
7. Naydanov Ch. 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.)
8. Naydanov Ch. A., Palchunov D. E., Sazonova P. A. Development of automated methods for the prevention of risks of critical conditions, based on the analysis of the knowledge extracted from the medical histories. The Siberian Scientific Medical Journal, 2016, vol. 36, no. 1, p. 105–113. (In Russ.)
9. Szeredi P., Lukácsy G., Benkő T. The Semantic Web Explained: The Technology and Mathematics behind Web 3.0. Cambridge Uni. Press, 2014, 478 p.
10. Parreiras F. S. Semantic Web and Model-Driven Engineering. Wiley-IEEE Press, 2012, 264 p.
11. Allemang D., Hendler J. Semantic Web for the Working Ontologist. Morgan Kaufmann, 2008, 352 p.
12. Khoroshevsky V. F. Knowledge Spaces in the Internet and Semantic Web (Part 1). Iskusstvennyj intellekt i prinjatie reshenij, 2008, no. 1, p. 80–97. (In Russ.)
13. Meilicke C., Stuckenschmidt H. A Reasoning-Based Support Tool for Ontology Mapping Evaluation. Uni. of Mannheim Press, 2008.
14. Gutiererz F., Dou D., Fickas S., Griffiths G. Online Reasoning for Ontology-Based Error Detection in Text. Uni. of Oregon Press, 2014.
15. Noy N., Rector A. Defining N-ary Relations on the Semantic Web. W3C Working Group Note (12 April 2006). URL:
16. 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.)
17. Palchunov D. E. The solution of the problem of information retrieval based on ontologies. Biznes-informatika, 2008, no. 1, p. 3–13. (In Russ.)

Publication information
Main title Vestnik NSU Series: Information Technologies, Volume 15, Issue No 3 (2017).
Parallel title: Novosibirsk State University Journal of Information Technologies Volume 15, Issue No 3 (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
DSpace handle

|Home Page| |All Issues| |Information for Authors| |Journal Boards| |Ethical principles| |Editorial Policy| |Contact Information| |Publication fee| |Open Access Policy| |Old Site in Russian|
© 2006-2018, Novosibirsk State University.