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, 2013
252013
Typed higher-order variant of SROIQ-why not?
M Homola, J Kluka, V Svátek, M Vacura
Description Logics, 567-578, 2014
182014
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
152013
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
122013
Expressive description logic with instantiation metamodelling
P Kubincová, J Kl'uka, M Homola
Proceedings of the Fifteenth International Conference on Principles of …, 2016
92016
Towards Expressive Metamodelling with Instantiation
P Kubincová, J Kl’uka, M Homola
DL, 2015
72015
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
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
32017
A Simple Semantics for Destructive Updates
J Kluka
ESSLLI Student Session, 127, 2003
2*2003
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 and Practical Valuation Tree Calculus for First-Order Logic
J Kľuka, PJ Voda
Computability in Europe 2009 Mathematical Theory and Computational Practice …, 2009
12009
Congruence-Anticongruence Closure
J Kl’uka, PJ Voda
12005
Towards Higher-order OWL
M Homola, J Kľuka, P Hozzová, V Svátek, M Vacura
KI-Künstliche Intelligenz 34 (3), 417-421, 2020
2020
Timing the Adaptive Learning Process with Events Ontology
M Homola, J Kl’uka, Z Kubincová, P Marmanová, M Cifra
International Conference on Web-Based Learning, 3-14, 2019
2019
First-and Second-Order Models of Recursive Arithmetics
J Kľuka, PJ Voda
arXiv preprint arXiv:1705.05459, 2017
2017
Pattern Alternatives for Referring to Multiple Indirectly Specified Objects.
V Svátek, J Kluka, M Vacura, M Homola
WOP@ ISWC, 2017
2017
Modular programming and verification in second-order arithmetic
J Kľuka
Comenius University in Bratislava, 2010
2010
A Proof Calculus with Case Analysis as its Only Rule
J Kľuka, PJ Voda
2009
The system can't perform the operation now. Try again later.
Articles 1–20