descriptive logic

Situation awareness support system in the software testing process

The paper is devoted to the development of a prototype information system based on ontological modeling using logical inference (descriptive logic) in the process of software testing.

The actual problem of using situational awareness as a key factor in designing the decision support system is considered.

For the practical application of the developed methods of critical situations identification the software testing industry has been selected. It is related to the complexity of the software development processes and the high cost of error.

Підхід до автоматичної побудови функцій інтерпретації під час навчання онтологій

In the paper the approach to automated construction of interpretation functions (axioms) of concepts and relations of the domain ontology during its training are considered. The method of recognizing the semantics of natural language texts and its representation in the form of descriptive logic.