Standard

Isomorphism of predicate formulas as the base of logic ontology construction. / Kosovskaya, Tatiana .

в: International Journal "Information Theories and Applications", Том 27, № 3, 2020, стр. 248-255.

Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Harvard

Kosovskaya, T 2020, 'Isomorphism of predicate formulas as the base of logic ontology construction', International Journal "Information Theories and Applications", Том. 27, № 3, стр. 248-255.

APA

Kosovskaya, T. (2020). Isomorphism of predicate formulas as the base of logic ontology construction. International Journal "Information Theories and Applications", 27(3), 248-255.

Vancouver

Kosovskaya T. Isomorphism of predicate formulas as the base of logic ontology construction. International Journal "Information Theories and Applications". 2020;27(3):248-255.

Author

Kosovskaya, Tatiana . / Isomorphism of predicate formulas as the base of logic ontology construction. в: International Journal "Information Theories and Applications". 2020 ; Том 27, № 3. стр. 248-255.

BibTeX

@article{7a587dce76174c0ea7422de9dcc99992,
title = "Isomorphism of predicate formulas as the base of logic ontology construction",
abstract = "The paper describes an approach to the formation of logic ontology based on descriptions of objects in terms of the predicate calculus language. The main tool for creating such a description is an extraction of an elementary conjunction of predicate formula literals that is isomorphic to subformulas of some given formulas. Thedefinition of an isomorphism of elementary conjunctions of atomic predicate formulas is given. The method of ontology construction is formulated. An illustrative example of such a construction and expansion of ontology is presented. ",
keywords = "Logic ontology, isomorphism of predicate formulas",
author = "Tatiana Kosovskaya",
year = "2020",
language = "English",
volume = "27",
pages = "248--255",
journal = "International Journal on Information Theory and Applications",
issn = "1310-0513",
number = "3",

}

RIS

TY - JOUR

T1 - Isomorphism of predicate formulas as the base of logic ontology construction

AU - Kosovskaya, Tatiana

PY - 2020

Y1 - 2020

N2 - The paper describes an approach to the formation of logic ontology based on descriptions of objects in terms of the predicate calculus language. The main tool for creating such a description is an extraction of an elementary conjunction of predicate formula literals that is isomorphic to subformulas of some given formulas. Thedefinition of an isomorphism of elementary conjunctions of atomic predicate formulas is given. The method of ontology construction is formulated. An illustrative example of such a construction and expansion of ontology is presented.

AB - The paper describes an approach to the formation of logic ontology based on descriptions of objects in terms of the predicate calculus language. The main tool for creating such a description is an extraction of an elementary conjunction of predicate formula literals that is isomorphic to subformulas of some given formulas. Thedefinition of an isomorphism of elementary conjunctions of atomic predicate formulas is given. The method of ontology construction is formulated. An illustrative example of such a construction and expansion of ontology is presented.

KW - Logic ontology

KW - isomorphism of predicate formulas

UR - http://www.foibg.com/ijita/vol27/ijita27-03-p03.pdf

M3 - Article

VL - 27

SP - 248

EP - 255

JO - International Journal on Information Theory and Applications

JF - International Journal on Information Theory and Applications

SN - 1310-0513

IS - 3

ER -

ID: 74222533