Obserwuj
Martin Homola
Tytuł
Cytowane przez
Cytowane przez
Rok
Contextualized Knowledge Repositories for the Semantic Web
L Serafini, M Homola
Web Semantics: Science, Services and Agents on the World Wide Web 12, 64-87, 2012
962012
Metamodeling-Based Coherence Checking of OWL Vocabulary Background Models
V Svátek, M Homola, J Kľuka, M Vacura
10th OWL: Experiences and Directions Workshop (OWLED 2013), 2013
292013
Taking Advantage of Web 2.0 in Organized Education (A Survey)
M Homola, Z Kubincova
Interactive Computer Aided Learning (ICL 2009), 741-752, 2009
282009
Modeling contextualized knowledge
M Homola, L Serafini, A Tamilin
6th Workshop on Semantic Web Applications and Perspectives (SWAP2010), 2010
272010
Augmenting subsumption propagation in distributed description logics
M Homola, L Serafini
Applied Artificial Intelligence 24 (1-2), 39-76, 2010
232010
Cosmic-ray extremely distributed observatory
P Homola, D Beznosko, G Bhatta, Ł Bibrzycki, M Borczyńska, Ł Bratek, ...
Symmetry 12 (11), 1835, 2020
212020
Tableau-Based ABox Abduction for the ALCHO Description Logic
J Pukancová, M Homola
30th International Workshop on Description Logics (DL 2017), 2017
202017
Typed higher-order variant of SROIQ – Why not?
M Homola, J Kľuka, V Svátek, M Vacura
27th International Workshop on Description Logics (DL 2014), 2014
202014
Mapping Structural Design Patterns in OWL to Ontological Background Models
V Svátek, M Vacura, M Homola, J Kľuka
7th International Conference on Knowledge Capture (K-CAP 2013), 2013
202013
Distributed description logics revisited
M Homola
20th International Workshop on Description Logics (DL-2007), 2007
202007
Dynamic logic programming: Various semantics are equal on acyclic programs
M Homola
Computational Logic in Multi-Agent Systems (CLIMA V), 149-149, 2005
182005
Towards Formal Comparison of Ontology Linking, Mapping and Importing
M Homola, L Serafini
23rd International Workshop on Description Logics (DL 2010), 291-302, 2010
172010
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
M Knorr, M Slota, J Leite, M Homola
Journal of Logic and Computation 24 (6), 1279-1311, 2014
162014
Towards more effective tableaux reasoning for CKR
L Bozzato, M Homola, L Serafini
25th International Workshop on Description Logics (DL 2012), 2012
152012
Motivational Effect of Peer Review in Blog-Based Activities
Z Kubincová, M Homola, V Bejdová
Advances in Web-Based Learning (ICWL 2013), 194-203, 2013
142013
Semantic Investigations in Distributed Ontologies
M Homola
PhD. thesis, Comenius University in Bratislava, Slovakia, 2010
132010
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
Tool-supported assessment of wiki-based assignments
Z Kubincová, M Homola, R Janajev
4th International Conference on Computer Supported Education (CSEDU 2012), 2012
122012
Expressive Description Logic with Instantiation Metamodelling
P Kubincová, J Kľuka, M Homola
15th International Conference on the Principles of Knowledge Representation …, 2016
112016
Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis.
J Pukancová, M Homola
28th International Workshop on Description Logics (DL 2015), 2015
112015
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20