HEURISTICS AND NUMERICAL METHOD FOR NORMALIZING THE EMPIRICAL CONTEXT IN ONTOLOGICAL DATA ANALYSIS

Abstract

Областью исследования является онтологический анализ данных, заключающийся в построении формальных онтологий на основе эмпирических данных о слабоструктурированных предметных областях. Предметом исследования является нормализация эмпирического V -контекста - нестрогого соответствия «объекты-свойства» - при ограничениях существования свойств. Задача исследования состоит в разработке численного метода, который реализует эвристический подход к нормализации эмпирических контекстов. В работе используются методы теории множеств и бинарных отношений, модели и методы анализа формальных понятий, а также существующая методология применения ограничений существования свойств для построения формальных онтологий. Отличие и новизна предложенного метода заключаются в более эффективной реализации эвристического подхода за счёт представления системы измеряемых свойств - множества фиксируемых у объектов исследуемой предметной области свойств с заданными на нём ограничениями существования - в виде совокупности субструктур, однородных по виду экзистенциального сопряжения свойств-членов. The research field is ontological data analysis, which consists in the construction of formal ontologies based on empirical data on semi-structured subject domains. The subject of the research is the normalization of the empirical V -context - a non-strict correspondence "objects-properties" - with properties existence constraints. The research objective is to develop a numerical method that implements a heuristic approach to the normalization of empirical contexts. The work uses the methods of the theory of sets and binary relations, models and methods of formal concept analysis, as well as the existing methodology for applying the properties existence constraints to construct formal ontologies. The difference and novelty of the proposed method consists in the more efficient implementation of the heuristic approach by representing the system of measured properties - the set of properties fixed in the objects of the studied subject domain with the existence constraints on it - as a set of substructures that are homogeneous in the form of existential relation of member properties.