Seuraa
Michael Zakharyaschev
Michael Zakharyaschev
Vahvistettu sähköpostiosoite verkkotunnuksessa dcs.bbk.ac.uk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Modal Logic
A Chagrov, M Zakharyaschev
Clarendon Press, Oxford, 1997
17071997
Many-dimensional modal logics: theory and applications
DM Gabbay, A Kurucz, F Wolter, M Zakharyaschev
North Holland, 2003
9202003
The DL-Lite family and relations
A Artale, D Calvanese, R Kontchakov, M Zakharyaschev
Journal of artificial intelligence research 36, 1-69, 2009
6872009
E-connections of abstract description systems
O Kutz, C Lutz, F Wolter, M Zakharyaschev
Artificial intelligence 156 (1), 1-73, 2004
3242004
Ontology-based data access: A survey
G Xiao, D Calvanese, R Kontchakov, D Lembo, A Poggi, R Rosati, ...
International Joint Conferences on Artificial Intelligence, 2018
3092018
Decidable fragments of first-order temporal logics
I Hodkinson, F Wolter, M Zakharyaschev
Annals of Pure and Applied logic 106 (1-3), 85-134, 2000
3052000
Temporal description logics: A survey
C Lutz, F Wolter, M Zakharyaschev
2008 15th International Symposium on Temporal Representation and Reasoning, 3-14, 2008
2982008
Did I damage my ontology
S Ghilardi, C Lutz, F Wolter
Proc. of KR2006, 187-197, 2006
2942006
Ontology-Based Data Access: Ontop of Databases
M Rodriguez-Muro, R Kontchakov, M Zakharyaschev
International Semantic Web Conference, 558-573, 2013
2282013
Multi-dimensional modal logic as a framework for spatio-temporal reasoning
B Bennett, AG Cohn, F Wolter, M Zakharyaschev
Applied Intelligence 17, 239-251, 2002
2282002
Spatio-temporal representation and reasoning based on RCC-8.
F Wolter, M Zakharyaschev
KR, 3-14, 2000
2272000
The combined approach to query answering in DL-Lite
R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev
Twelfth International Conference on the Principles of Knowledge …, 2010
2022010
The combined approach to ontology-based data access
R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev
AAAI Press, 2011
1812011
Temporalizing Description Logics.
F Wolter, M Zakharyaschev
FroCoS, 379-402, 1998
1661998
Answering SPARQL queries over databases under OWL 2 QL entailment regime
R Kontchakov, M Rezk, M Rodriguez-Muro, G Xiao, M Zakharyaschev
International Semantic Web Conference, 552-567, 2014
1472014
A logic-based ontology comparison and module extraction, with an application to DL-Lite
R Kontchakov, F Wolter, M Zakharyaschev
Artificial Intelligence 174 (15), 1093-1141, 2010
1462010
Temporal Description Logics.
A Artale, E Franconi
Handbook of Temporal Reasoning in Artificial Intelligence 1, 375-388, 2005
1442005
Reasoning over extended ER models
A Artale, D Calvanese, R Kontchakov, V Ryzhikov, M Zakharyaschev
Conceptual Modeling-ER 2007: 26th International Conference on Conceptual …, 2007
1312007
Intuitionistic modal logic
F Wolter, M Zakharyaschev
Logic and Foundations of Mathematics: Selected Contributed Papers of the …, 1999
1271999
Which kind of module should I extract?
U Sattler, T Schneider, M Zakharyaschev
Description Logics 477, 78, 2009
1232009
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20