| Metamodeling-Based Coherence Checking of OWL Vocabulary Background Models. V Svátek, M Homola, J Kluka, M Vacura OWLED 1080, 2013 | 29 | 2013 |
| Typed higher-order variant of SROIQ-why not? M Homola, J Kluka, V Svátek, M Vacura Description Logics, 567-578, 2014 | 23 | 2014 |
| Mapping structural design patterns in OWL to ontological background models V Svátek, M Homola, J Kluka, M Vacura Proceedings of the seventh international conference on Knowledge capture …, 2013 | 19 | 2013 |
| Towards Typed Higher-Order Description Logics M Homola, J Kl’uka, V Svátek, M Vacura 26th International Workshop on Description Logics (DL-2013), 2013 | 15 | 2013 |
| Expressive description logic with instantiation metamodelling P Kubincová, J Kľuka, M Homola Fifteenth International Conference on the Principles of Knowledge …, 2016 | 13 | 2016 |
| Towards Expressive Metamodelling with Instantiation P Kubincová, J Kl’uka, M Homola DL, 2015 | 11 | 2015 |
| Knowledge-based dataset for training PE malware detection models P Švec, Š Balogh, M Homola, J Kľuka arXiv preprint arXiv:2301.00153, 2022 | 7 | 2022 |
| Team workflow and peer review in a virtual learning environment M Homola, Z Kubincová, J Kl'uka, M Švolík, M Darjanin, P Zapalač 2017 16th International Conference on Information Technology Based Higher …, 2017 | 6 | 2017 |
| B-Annot: Supplying Background Model Annotations for Ontology Coherence Testing V Svátek, S Serra, M Vacura, M Homola, J Kluka | 4 | 2014 |
| Ontological Distinctions for Linked Data Vocabularies V Svátek, M Homola, J Kl’uka, M Vacura Technical Report, online http://patomat. vse. cz/tr-odlv-2013. pdf, 2013 | 4 | 2013 |
| Patterns for referring to multiple indirectly specified objects (MISO): Analysis and guidelines V Svátek, J Kl’uka, M Vacura, M Homola, M Dudáš Advances in Pattern-Based Ontology Engineering, 1-24, 2021 | 3 | 2021 |
| Timing the adaptive learning process with events ontology M Homola, J Kl’uka, Z Kubincová, P Marmanová, M Cifra Advances in Web-Based Learning–ICWL 2019: 18th International Conference …, 2019 | 3 | 2019 |
| Tracking the adaptive learning process with topics ontology M Homola, Z Kubincová, R Urbánek, J Kl’uka International Conference on Web-Based Learning, 155-165, 2023 | 2 | 2023 |
| Towards explainable malware detection with structured machine learning P Švec, T Bisták, M Homola, Š Balogh, J Kľuka, A Šimko The Fourth Workshop on Explainable Logic-Based Knowledge Representation …, 2023 | 2 | 2023 |
| Semantic Data Representation for Explainable Windows Malware Detection Models P Švec, Š Balogh, M Homola, J Kľuka, T Bisták arXiv preprint arXiv:2403.11669, 2024 | 1 | 2024 |
| Improving DL-Learner on a Malware Detection Use Case. T Bisták, P Svec, J Kluka, A Simko, S Balogh, M Homola Description Logics, 2023 | 1 | 2023 |
| Pattern Alternatives for Referring to Multiple Indirectly Specified Objects. V Svátek, J Kluka, M Vacura, M Homola WOP@ ISWC, 2017 | 1 | 2017 |
| Referring to multiple unspecified objects of a type: multi-instance fact pattern family V Svátek, M Homola, J Kl’uka, M Vacura Submitted to Semantic Web Journal, 2014 | 1* | 2014 |
| Towards Conceptual Structure Verification of Linked Data Vocabularies V Svátek, M Vacura, M Homola, J Kl’uka | 1 | 2012 |
| A Simple Semantics for Destructive Updates J Kluka ESSLLI Student Session, 127, 2003 | 1* | 2003 |
Martin HomolaComenius University in BratislavaVerified email at fmph.uniba.sk
