Follow
Ján Kľuka
Title
Cited by
Cited by
Year
Metamodeling-Based Coherence Checking of OWL Vocabulary Background Models.
V Svátek, M Homola, J Kluka, M Vacura
OWLED 1080, 2013
292013
Typed higher-order variant of SROIQ-why not?
M Homola, J Kluka, V Svátek, M Vacura
Description Logics, 567-578, 2014
212014
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
192013
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
132013
Expressive description logic with instantiation metamodelling
P Kubincová, J Kľuka, M Homola
Fifteenth International Conference on the Principles of Knowledge …, 2016
122016
Towards Expressive Metamodelling with Instantiation
P Kubincová, J Kl’uka, M Homola
DL, 2015
102015
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
62017
Knowledge-Based Dataset for Training PE Malware Detection Models
P Švec, Š Balogh, M Homola, J Kľuka
arXiv preprint arXiv:2301.00153, 2022
52022
B-Annot: Supplying Background Model Annotations for Ontology Coherence Testing
V Svátek, S Serra, M Vacura, M Homola, J Kluka
42014
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
42013
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
22019
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
12023
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
12021
Pattern Alternatives for Referring to Multiple Indirectly Specified Objects.
V Svátek, J Kluka, M Vacura, M Homola
WOP@ ISWC, 2017
12017
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
12012
A Simple Semantics for Destructive Updates
J Kluka
ESSLLI Student Session, 127, 2003
1*2003
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
2023
Improving DL-Learner on a Malware Detection Use Case
T Bisták, P Švec, J Kľuka, A Šimko, Š Balogh, M Homola
2023
Focused categorization power of ontologies: General framework and study on simple existential concept expressions
V Svátek, O Zamazal, VB Nguyen, J Ivánek, J Kľuka, M Vacura
Semantic Web, 1-45, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20