Axiomatization of classes of domain cases based on FCA › Обзор исследований

Standard

Axiomatization of classes of domain cases based on FCA. / Palchunov, Dmitry E.

Artificial Intelligence - 18th Russian Conference, RCAI 2020, Proceedings. ред. / Sergei O. Kuznetsov; Aleksandr I. Panov; Konstantin S. Yakovlev. Springer Science and Business Media Deutschland GmbH, 2020. стр. 3-14 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 12412 LNAI).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Harvard

Palchunov, DE 2020, Axiomatization of classes of domain cases based on FCA. в SO Kuznetsov, AI Panov & KS Yakovlev (ред.), Artificial Intelligence - 18th Russian Conference, RCAI 2020, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Том. 12412 LNAI, Springer Science and Business Media Deutschland GmbH, стр. 3-14, 18th Russian Conference on Artificial Intelligence, RCAI 2020, Moscow, Российская Федерация, 10.10.2020. https://doi.org/10.1007/978-3-030-59535-7_1

APA

Palchunov, D. E. (2020). Axiomatization of classes of domain cases based on FCA. в S. O. Kuznetsov, A. I. Panov, & K. S. Yakovlev (Ред.), Artificial Intelligence - 18th Russian Conference, RCAI 2020, Proceedings (стр. 3-14). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 12412 LNAI). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-59535-7_1

Vancouver

Palchunov DE. Axiomatization of classes of domain cases based on FCA. в Kuznetsov SO, Panov AI, Yakovlev KS, Редакторы, Artificial Intelligence - 18th Russian Conference, RCAI 2020, Proceedings. Springer Science and Business Media Deutschland GmbH. 2020. стр. 3-14. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-59535-7_1

Author

Palchunov, Dmitry E. / Axiomatization of classes of domain cases based on FCA. Artificial Intelligence - 18th Russian Conference, RCAI 2020, Proceedings. Редактор / Sergei O. Kuznetsov ; Aleksandr I. Panov ; Konstantin S. Yakovlev. Springer Science and Business Media Deutschland GmbH, 2020. стр. 3-14 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

BibTeX

@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",

}

RIS

TY - GEN

T1 - Axiomatization of classes of domain cases based on FCA

AU - Palchunov, Dmitry E.

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