Extraction of isomorphic subformulas as a tool for logic ontology construction

Standard

Extraction of isomorphic subformulas as a tool for logic ontology construction. / Kosovskaya, T.

In: Journal of Physics: Conference Series, Vol. 1864, No. 1, 012086, 20.05.2021.

Research output: Contribution to journal › Conference article › peer-review

BibTeX

@article{54b3924c74ef49989a03a2f30567e1d7,

title = "Extraction of isomorphic subformulas as a tool for logic ontology construction",

abstract = "A way of constructing a logic ontology for complex structured objects is considered in the paper. The descriptions of such objects are given in the predicate calculus language. An algorithm for extracting subsets of objects with the same properties and establishing their relative position is described. To construct such an ontology, an algorithm for extracting the largest subformula isomorphic to subformulas of all descriptions of objects from the class is used.",

author = "T. Kosovskaya",

note = "Publisher Copyright: {\textcopyright} Published under licence by IOP Publishing Ltd.; 13th Multiconference on Control Problems, MCCP 2020 ; Conference date: 06-10-2020 Through 08-10-2020",

year = "2021",

month = may,

day = "20",

doi = "10.1088/1742-6596/1864/1/012086",

language = "English",

volume = "1864",

journal = "Journal of Physics: Conference Series",

issn = "1742-6588",

publisher = "IOP Publishing Ltd.",

number = "1",

url = "http://www.elektropribor.spb.ru/nauchnaya-deyatelnost/xiii-mkpu/index3.php",

}

RIS

TY - JOUR

T1 - Extraction of isomorphic subformulas as a tool for logic ontology construction

AU - Kosovskaya, T.

N1 - Conference code: 13

PY - 2021/5/20

Y1 - 2021/5/20

N2 - A way of constructing a logic ontology for complex structured objects is considered in the paper. The descriptions of such objects are given in the predicate calculus language. An algorithm for extracting subsets of objects with the same properties and establishing their relative position is described. To construct such an ontology, an algorithm for extracting the largest subformula isomorphic to subformulas of all descriptions of objects from the class is used.

AB - A way of constructing a logic ontology for complex structured objects is considered in the paper. The descriptions of such objects are given in the predicate calculus language. An algorithm for extracting subsets of objects with the same properties and establishing their relative position is described. To construct such an ontology, an algorithm for extracting the largest subformula isomorphic to subformulas of all descriptions of objects from the class is used.

UR - http://www.scopus.com/inward/record.url?scp=85107401087&partnerID=8YFLogxK

U2 - 10.1088/1742-6596/1864/1/012086

DO - 10.1088/1742-6596/1864/1/012086

M3 - Conference article

AN - SCOPUS:85107401087

VL - 1864

JO - Journal of Physics: Conference Series

JF - Journal of Physics: Conference Series

SN - 1742-6588

IS - 1

M1 - 012086

T2 - 13th Multiconference on Control Problems, MCCP 2020

Y2 - 6 October 2020 through 8 October 2020

ER -

ID: 86413347