Login / Signup
Vasyl Lenko
ORCID
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 2
Top Topics
Knowledge Representation Systems
Formal Ontologies
Meta Level
Description Logic Alc
Top Venues
ACIT
MoMLeT+DS
</>
Publications
</>
Vasyl Lenko
,
Volodymyr Pasichnyk
,
Nataliia Kunanets
,
Yuri Shcherbyna
Knowledge Representation and Automated Formal Reasoning in Description Logic ALC.
MoMLeT+DS
(2021)
Oleksandr Matsiuk
,
Nataliia Kunanets
,
Volodymyr Pasichnyk
,
Vasyl Lenko
,
Yuriy Shcherbyna
,
Antonii Rzheuskyi
The Procedures of Processing of Geolocation Data on Urban Underground Spaces.
ACIT
(2019)