Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Axiomatization of classes of domain cases based on FCA. / Palchunov, Dmitry E.
Artificial Intelligence - 18th Russian Conference, RCAI 2020, Proceedings. ed. / Sergei O. Kuznetsov; Aleksandr I. Panov; Konstantin S. Yakovlev. Springer Science and Business Media Deutschland GmbH, 2020. p. 3-14 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12412 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
}
TY - GEN
T1 - Axiomatization of classes of domain cases based on FCA
AU - Palchunov, Dmitry E.
N1 - Publisher Copyright: © Springer Nature Switzerland AG 2020. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.
PY - 2020
Y1 - 2020
N2 - The article is devoted to the application of Formal Concept Analysis to the development of domain semantic models. The paper deals with the problem of axiomatization of classes of cases from various domains. The research is based on the model theoretical approach to the formalization of domains and on Formal Concept Analysis. We consider the four-level semantic model that conceptually describes the given domain. The third level of the semantic model is the set of domain cases. To describe sets of domain cases we use formal contexts; the objects of these formal contexts are models formalizing domain cases. We represent classes of domain cases as classes of models having different signatures. Theories of classes of domain cases and axiomatizable classes of domain cases are investigated. They are defined as intents and extents of formal concepts of the corresponding formal contexts. It is shown that the introduced notion of theory of class of cases, i.e., theory of class containing models with different signatures, is a generalization of the notion of theory of a class of models in the classical sense.
AB - The article is devoted to the application of Formal Concept Analysis to the development of domain semantic models. The paper deals with the problem of axiomatization of classes of cases from various domains. The research is based on the model theoretical approach to the formalization of domains and on Formal Concept Analysis. We consider the four-level semantic model that conceptually describes the given domain. The third level of the semantic model is the set of domain cases. To describe sets of domain cases we use formal contexts; the objects of these formal contexts are models formalizing domain cases. We represent classes of domain cases as classes of models having different signatures. Theories of classes of domain cases and axiomatizable classes of domain cases are investigated. They are defined as intents and extents of formal concepts of the corresponding formal contexts. It is shown that the introduced notion of theory of class of cases, i.e., theory of class containing models with different signatures, is a generalization of the notion of theory of a class of models in the classical sense.
KW - Axiomatizable class
KW - Domain case
KW - Domain theory
KW - FCA
KW - Ontological model
KW - Subject domain
KW - Theory of class
UR - http://www.scopus.com/inward/record.url?scp=85092173244&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-59535-7_1
DO - 10.1007/978-3-030-59535-7_1
M3 - Conference contribution
AN - SCOPUS:85092173244
SN - 9783030595340
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 3
EP - 14
BT - Artificial Intelligence - 18th Russian Conference, RCAI 2020, Proceedings
A2 - Kuznetsov, Sergei O.
A2 - Panov, Aleksandr I.
A2 - Yakovlev, Konstantin S.
PB - Springer Science and Business Media Deutschland GmbH
T2 - 18th Russian Conference on Artificial Intelligence, RCAI 2020
Y2 - 10 October 2020 through 16 October 2020
ER -
ID: 26008225