Axiomatization of classes of domain cases based on FCA

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review


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.

Original languageEnglish
Title of host publicationArtificial Intelligence - 18th Russian Conference, RCAI 2020, Proceedings
EditorsSergei O. Kuznetsov, Aleksandr I. Panov, Konstantin S. Yakovlev
PublisherSpringer Science and Business Media Deutschland GmbH
Number of pages12
ISBN (Print)9783030595340
Publication statusPublished - 2020
Event18th Russian Conference on Artificial Intelligence, RCAI 2020 - Moscow, Russian Federation
Duration: 10 Oct 202016 Oct 2020

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12412 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference18th Russian Conference on Artificial Intelligence, RCAI 2020
CountryRussian Federation


  • Axiomatizable class
  • Domain case
  • Domain theory
  • FCA
  • Ontological model
  • Subject domain
  • Theory of class

Fingerprint Dive into the research topics of 'Axiomatization of classes of domain cases based on FCA'. Together they form a unique fingerprint.

Cite this