TY - JOUR

T1 - Application of boolean-valued models and FCA for the development of ontological models

AU - Palchunov, Dmitry

AU - Yakhyaeva, Gulnara

PY - 2017

Y1 - 2017

N2 - The paper is devoted to the development of methods of ontology supported knowledge discovery in the field of mobile network subscribers. We develop the ontological model of the domain of mobile networks. This ontological model is intended to describe the behavior of mobile network subscribers. The ontological model is based on the four-level model of knowledge representation. In the paper, special attention is given to the third level which represents the set of cases from the domain. For the analysis of domain cases and for the generation of fuzzy knowledge about the domain we use Boolean-valued models, fuzzy models and Formal Concept Analysis. To describe the set of cases from the domain we use formal contexts; objects of these formal contexts are models representing sets of subscribers. We study formal contexts generated by Boolean-valued models, and formal concepts of these formal contexts. We obtain a description of theories of classes of domain cases in the language of formal concepts.

AB - The paper is devoted to the development of methods of ontology supported knowledge discovery in the field of mobile network subscribers. We develop the ontological model of the domain of mobile networks. This ontological model is intended to describe the behavior of mobile network subscribers. The ontological model is based on the four-level model of knowledge representation. In the paper, special attention is given to the third level which represents the set of cases from the domain. For the analysis of domain cases and for the generation of fuzzy knowledge about the domain we use Boolean-valued models, fuzzy models and Formal Concept Analysis. To describe the set of cases from the domain we use formal contexts; objects of these formal contexts are models representing sets of subscribers. We study formal contexts generated by Boolean-valued models, and formal concepts of these formal contexts. We obtain a description of theories of classes of domain cases in the language of formal concepts.

KW - Boolean-valued model

KW - FCA

KW - Formal concept

KW - Formal context

KW - Fuzzy model theory

KW - Mobile network subscribers

KW - Mobile networks

KW - Ontological model

KW - Ontology

UR - http://www.scopus.com/inward/record.url?scp=85030085347&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:85030085347

VL - 1921

SP - 77

EP - 87

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

SN - 1613-0073

ER -