Development of Methods for Integrating Automatic Logical Inference Tools to Generate Knowledge in the Ontological Model

Abstract

The article is devoted to the development of new knowledge generation methods based on the analysis of natural language texts. To extract knowledge from natural language texts, the method of presenting sentences in the form of binary predicates with new constant-situation is used. For the representation of knowledge in a formal form, we use quantifier-free sentences of predicate logic, as well as the OWL DL language. The generation of new knowledge is realized with the help of reasoners, using pre-defined patterns of inference rules. A software system has been developed that allows users to get answers to specific questions related to given natural language texts. The answers are built in a natural language, using not only the knowledge that is explicitly contained in the document being processed, but also the knowledge generated by the reasoners.