@inproceedings{00288ebd3b204c6ea906ed8b139cb799,
title = "Axiomatization of classes of domain cases based on FCA",
abstract = "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.",
keywords = "Axiomatizable class, Domain case, Domain theory, FCA, Ontological model, Subject domain, Theory of class",
author = "Palchunov, {Dmitry E.}",
note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2020. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.; 18th Russian Conference on Artificial Intelligence, RCAI 2020 ; Conference date: 10-10-2020 Through 16-10-2020",
year = "2020",
doi = "10.1007/978-3-030-59535-7_1",
language = "English",
isbn = "9783030595340",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "3--14",
editor = "Kuznetsov, {Sergei O.} and Panov, {Aleksandr I.} and Yakovlev, {Konstantin S.}",
booktitle = "Artificial Intelligence - 18th Russian Conference, RCAI 2020, Proceedings",
address = "Germany",
}