Concepedia

Miroslav Vacura

MV

Statistics

Publications

4

Citations

58

H-Index

4

Active since

2013

Affiliations

Comenius University Bratislava(Current)

Prague University of Economics and Business

Miroslav Vacura is an author at Comenius University Bratislava specializing in computing, computer science, and description logics.

ORCID

Publications per year

2013–2014

4

Publications

4

Metamodeling-Based Coherence Checking of OWL Vocabulary Background Models

Vojtěch Svátek, Martin Homola, Ján Kľuka et al. · OWL: Experiences and Directions · 2013 · 17 citations

, , +13

Typed Higher-Order Variant of SROIQ - Why Not?

Martin Homola, Ján Kľuka, Vojtěch Svátek et al. · 2014 · 16 citations

, , +10

Towards Typed Higher-Order Description Logics.

Martin Homola, Ján Kľuka, Vojtěch Svátek et al. · 2013 · 13 citations

, , +15

Mapping structural design patterns in OWL to ontological background models

Vojtěch Svátek, Martin Homola, Ján Kľuka et al. · 2013 · 12 citations

, , +16

1–4 of 4