Ján Kľuka
Tytuł
Cytowane przez
Cytowane przez
Rok
Metamodeling-Based Coherence Checking of OWL Vocabulary Background Models.
V Svátek, M Homola, J Kluka, M Vacura
OWLED 1080, 2013
292013
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
202013
Typed higher-order variant of SROIQ-why not?
M Homola, J Kluka, V Svátek, M Vacura
Description Logics, 567-578, 2014
192014
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 Kľuka, M Homola
Fifteenth International Conference on the Principles of Knowledge …, 2016
102016
Towards Expressive Metamodelling with Instantiation
P Kubincová, J Kl’uka, M Homola
DL, 2015
82015
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
52013
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
42017
B-Annot: Supplying Background Model Annotations for Ontology Coherence Testing
V Svátek, S Serra, M Vacura, M Homola, J Kluka
42014
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
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
2021
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
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
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
2009
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20