Towards Typed Higher-Order Description Logics. - Martin Homola; Ján Kluka; Vojtech Svátek; Miroslav Vacura (Description Logics, 2013)

Mapping structural design patterns in OWL to ontological background models. - Vojtech Svátek; Martin Homola; Ján Kluka; Miroslav Vacura (K-CAP, 2013)

Metamodeling-Based Coherence Checking of OWL Vocabulary Background Models. - Vojtech Svátek; Martin Homola; Ján Kluka; Miroslav Vacura (OWLED, 2013)

Typed Higher-Order Variant of SROIQ - Why Not? - Martin Homola; Ján Kluka; Vojtech Svátek; Miroslav Vacura (Description Logics, 2014)

B-Annot: Supplying Background Model Annotations for Ontology Coherence Testing. - Vojtech Svátek; Simone Serra; Miroslav Vacura; Martin Homola; Ján Kluka (WoDOOM, 2014)

Towards Expressive Metamodelling with Instantiation. - Petra Kubincová; Ján Kluka; Martin Homola (Description Logics, 2015)

Expressive Description Logic with Instantiation Metamodelling. - Petra Kubincová; Ján Kluka; Martin Homola (KR, 2016)

Team workflow and peer review in a virtual learning environment. - Martin Homola; Zuzana Kubincová; Ján Kluka; Martin Svolik; Milan Darjanin; Peter Zapalac (ITHET, 2017)

Pattern Alternatives for Referring to Multiple Indirectly Specified Objects. - Vojtech Svátek; Ján Kluka; Miroslav Vacura; Martin Homola (WOP@ISWC, 2017)

First- and Second-Order Models of Recursive Arithmetics. - Ján Kluka; Paul J. Voda (CoRR, 2017)

Timing the Adaptive Learning Process with Events Ontology. - Martin Homola; Ján Kluka; Zuzana Kubincová; Patrícia Marmanová; Milan Cifra (ICWL, 2019)

Towards Higher-order OWL. - Martin Homola; Ján Kluka; Petra Hozzová; Vojtech Svátek; Miroslav Vacura (Künstliche Intell., 2020)

Patterns for Referring to Multiple Indirectly Specified Objects (MISO): Analysis and Guidelines. - Vojtech Svátek; Ján Kluka; Miroslav Vacura; Martin Homola; Marek Dudás (WOP (Book), 2021)

Educational Code-Review Tool: A First Glimpse. - Zuzana Kubincová; Ján Kluka; Martin Homola; Adrián Marusák (MIS4TEL, 2022)

Improving DL-Learner on a Malware Detection Use Case. - Tomás Bisták; Peter Svec; Ján Kluka; Alexander Simko; Stefan Balogh; Martin Homola (Description Logics, 2023)

Tracking the Adaptive Learning Process with Topics Ontology. - Martin Homola; Zuzana Kubincová; Rastislav Urbánek; Ján Kluka (ICWL, 2023)

Knowledge-Based Dataset for Training PE Malware Detection Models. - Peter Svec; Stefan Balogh; Martin Homola; Ján Kluka (CoRR, 2023)

Focused categorization power of ontologies: General framework and study on simple existential concept expressions. - Vojtech Svátek; Ondrej Zamazal; Viet Bach Nguyen; Jirí Ivánek; Ján Kluka; Miroslav Vacura (Semantic Web, 2023)

Leveraging Meta-Modelling Language for Ontology Structuring and Validation. - Zekeri Adams; Martin Homola; Ján Kluka; Vojtech Svátek (EKAW (Companion), 2024)

Ontology-Driven Learning-Progress Tracking Tool in an Adaptive Virtual Learning Environment. - Martin Homola; Zuzana Kubincová; Ján Kluka; Silvia Bieliková; Rastislav Urbánek (ICWL, 2024)

Semantic Data Representation for Explainable Windows Malware Detection Models. - Peter Svec; Stefan Balogh; Martin Homola; Ján Kluka; Tomás Bisták (CoRR, 2024)