Vasyl Lenko

Lviv Polytechnic National University · Department of Information Systems and Networks

The paper describes a modern type-theoretical approach to the knowledge representation and formal reasoning in ontologies. The current state and limitations of the adopted technology for reasoning in ontologies as well as the advantages of the proposed approach are highlighted. Curry-Howard correspondence and its role in the establishment of comput...

Досліджено процеси набуття та управління персональними даними і знаннями, а також комунікації в межах віртуальних дослідницьких спільнот. Розглянуто поняття віртуального наукового колективу та особливості захисту інформації у налагодженні процесів комунікації в ньому. Висвітлено проблеми в організації ефективної комунікації між учасниками віртуальн...