Metamodeling-Based Coherence Checking of OWL Vocabulary Background Models. V Svátek, M Homola, J Kluka, M Vacura OWLED 1080, 2013 | 30 | 2013 |
Typed higher-order variant of SROIQ-why not? M Homola, J Kluka, V Svátek, M Vacura Description Logics, 567-578, 2014 | 21 | 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 | 13 | 2013 |
Expressive description logic with instantiation metamodelling P Kubincová, J Kľuka, M Homola Fifteenth International Conference on the Principles of Knowledge …, 2016 | 12 | 2016 |
Towards Expressive Metamodelling with Instantiation P Kubincová, J Kl’uka, M Homola DL, 2015 | 10 | 2015 |
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 |
Knowledge-based dataset for training PE malware detection models P Švec, Š Balogh, M Homola, J Kľuka arXiv preprint arXiv:2301.00153, 2022 | 5 | 2022 |
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 |
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 | 1 | 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 | 1 | 2023 |
Improving DL-Learner on a Malware Detection Use Case T Bisták, P Švec, J Kľuka, A Šimko, Š Balogh, M Homola | 1 | 2023 |
Patterns for Referring to Multiple Indirectly Specified Objects (MISO): Analysis and Guidelines. V Svátek, J Kluka, M Vacura, M Homola, M Dudás WOP (Book), 1-24, 2021 | 1 | 2021 |
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 |
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 | | 2024 |