Skip to main content
SpringerLink
Log in

Analyzing Natural Languages: Antimems, Contradictions, and Onthologies

  • CYBERNETICS
  • Published:
Cybernetics and Systems Analysis Aims and scope

Problems of the analysis of natural language texts are considered. In particular, approaches to the partial solution to problems of logical consistency/inconsistency of facts derived from the text, searching for antimems, and constructing ontologies based on the results of the linguistic (semantic-syntactic) analysis of the text are proposed. Logical analysis of the text is performed on the basis of the propositional calculus and methods of proof in this calculus.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. S. C. Cleene, Mathematical Logic, John Wiley and Sons, New York (1967).

    Google Scholar 

  2. M. Bergmann, An Introduction to Many-Valued and Fuzzy Logic, Cambridge University Press (2008).

  3. N. P. Darchuk, Computer Annotation of Texts in Ukrainian Language: Results and Perspectives [in Ukrainian], Osvita Ukrayiny, Kyiv (2013).

  4. S. Kryvyi, N. Darchuk, and O. Provotar, “Ontological similar systems for analysis of texts of natural language,” Problems in Programming, No. 2–3, 132–139 (2018).

  5. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider (eds.), The Description Logic Handbook: Theory, Implementation, and Applications, 2nd ed., Cambridge University Press (2010).

  6. Yu. A. Schreider, The Logic of Sign Systems [in Russian], Znaniye, Moscow (1974).

  7. B. A. Kulik, Logic of Natural Reasoning [in Russian], Nevskii Dialekt, St. Petersburg (2001).

Download references

Author information

Authors and Affiliations

  1. Taras Shevchenko National University of Kyiv, Kyiv, Ukraine

    S. Kryvyi & N. Darchuk

  2. Khmelnytskyi National University, Khmelnytskyi, Ukraine

    T. Skrypnyk

Authors
  1. S. Kryvyi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. N. Darchuk
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. T. Skrypnyk
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to S. Kryvyi.

Additional information

Translated from Kibernetyka ta Systemnyi Analiz, No. 2, March–April, 2023, pp. 3–17.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Kryvyi, S., Darchuk, N. & Skrypnyk, T. Analyzing Natural Languages: Antimems, Contradictions, and Onthologies. Cybern Syst Anal 59, 177–189 (2023). https://doi.org/10.1007/s10559-023-00553-7

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10559-023-00553-7

Keywords

Search

Navigation