Axiomatization of Classes of Domain Cases Based on FCA

Journal

Lecture Notes in Computer Science
ISSN: 0302-9743 , E-ISSN: 1611-3349

Output data

Year: 2020, Pages: 3-14 Pages count : 12 DOI: 10.1007/978-3-030-59535-7_1

Tags

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

Authors

Palchunov Dmitry E. ^1,2

Affiliations

1	Sobolev Institute of Mathematics, Novosibirsk, Russian Federation
2	Novosibirsk State University, Novosibirsk, Russian Federation

Palchunov D.E.
Axiomatization of Classes of Domain Cases Based on FCA
Lecture Notes in Computer Science. 2020. P.3-14. DOI: 10.1007/978-3-030-59535-7_1 WOS Scopus OpenAlex