In this paper mathematical formalization for software system based on ontological models is proposed. Formalization is built using algebraic types system approach. Developed formal representation of models and modeling system.
In this paper we propose a formalization of ontology-based task execution modeling system. It is built using approach of algebraic systems theory. We show that proposed algebraic system is based on multiple domains, which can be used for ontological models representation and knowledge elucidation, storage and processing
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.
In the paper a method an algorithm and tools for selection of knowledge from a text document are suggested. It is shown that this algorithm has to be multistage and involve hierarchical procedure of concepts recognition of relations, predicates and rules which are introduced into the resulting ontology.
In the paper the behavior of an intelligent agent in a competitive environment is investigated in the paper. The OODA loop is chosen for behavior simulation. The interaction of OODA loop stages (observation, orientation, decision support, action) with the ontology of tasks and subject area in which the agent operates was explored.
This paper reviews the opportunities of the use of ontologies and meta-models for the creation of the system of dynamic integration of semistructured data. The process of the converting semistructured data into the structured information has been described. The dynamic integration of semistructured data at different levels of complexity (physical, logical and global) has been considered.
In the paper the method of the automatic development of ontology has been developed. A method, algorithm and means for selection of knowledge from the text document is proposed. It is shown that this algorithm has to be multistage and involve hierarchical recognition procedure of concepts, relations, predicates and rules which are included into the resulting ontology.
The importance of ontology within concepts of the knowledge base and intelligent systems is considered in the article. Standard ISO/IEC 25012 has been offered for evaluation of ontologies qualities of knowledge bases of intelligent decision support systems.
Описано семантичний пошук і зберігання даних науково-технічної інформаційної системи. Наведено пропозиції щодо семантичного структурування контенту науково- технічної інформаційної системи з явним структурованим представленням семантичних зв'язків між інформаційними об'єктами, що містяться в системі. Визначено основні складові математичної моделі онтології науково-технічної інформаційної системи для семантичного пошуку і зберігання науково-технічного інформаційного ресурсу.
Описано етапи процесу очищення даних у СППР. Запропоновано та описано концепти онтології очищення даних. Проведено аналіз методів і технологій очищення даних на кожному з етапів процесу з врахуванням його особливостей. Побудована онтологія очищення даних для методологічної систематизації методів у реалізації функціональних елементів моделі СППР.