Michael Zakharyaschev
Titel
Citeras av
Citeras av
År
Modal Logic
A Chagrov, M Zakharyaschev
Clarendon Press, Oxford, 1997
13721997
Many-dimensional modal logics: theory and applications
DM Gabbay, A Kurucz, F Wolter, M Zakharyaschev
North Holland, 2003
7452003
The DL-Lite family and relations
A Artale, D Calvanese, R Kontchakov, M Zakharyaschev
Journal of artificial intelligence research 36, 1-69, 2009
5452009
E-connections of abstract description systems
O Kutz, C Lutz, F Wolter, M Zakharyaschev
Artificial intelligence 156 (1), 1-73, 2004
3002004
Decidable fragments of first-order temporal logics
I Hodkinson, F Wolter, M Zakharyaschev
2522000
Temporal description logics: A survey
C Lutz, F Wolter, M Zakharyaschev
2008 15th International Symposium on Temporal Representation and Reasoning, 3-14, 2008
2262008
Spatio-temporal representation and reasoning based on RCC-8.
F Wolter, M Zakharyaschev
KR, 3-14, 2000
1992000
Multi-dimensional modal logic as a framework for spatio-temporal reasoning
B Bennett, AG Cohn, F Wolter, M Zakharyaschev
Applied Intelligence 17 (3), 239-251, 2002
1962002
Ontology-based data access: Ontop of databases
M Rodriguez-Muro, R Kontchakov, M Zakharyaschev
International Semantic Web Conference, 558-573, 2013
1712013
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
1692010
The combined approach to ontology-based data access
R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev
Twenty-second international joint conference on artificial intelligence, 2011
1482011
Temporalizing description logics
F Wolter, M Zakharyaschev
Frontiers of Combining Systems 2, 379-402, 1999
1421999
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
1152010
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
1082014
Reasoning over extended ER models
A Artale, D Calvanese, R Kontchakov, V Ryzhikov, M Zakharyaschev
International Conference on Conceptual Modeling, 277-292, 2007
1082007
Which kind of module should I extract?
U Sattler, T Schneider, M Zakharyaschev
Description Logics 477, 78, 2009
942009
Qualitative spatio-temporal representation and reasoning: a computational perspective
F Wolter, M Zakharyaschev
Exploring Artificial Intelligence in the New Millenium, 175-216, 2002
932002
Modal description logics: modalizing roles
P Woltert, M Zakharyaschev
Fundamenta Informaticae 39 (4), 411-438, 1999
921999
Satisfiability problem in description logics with modal operators
F Wolter, M Zakharyaschev
PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING-INTERNATIONAL …, 1998
911998
Minimal module extraction from DL-Lite ontologies using QBF solvers
R Kontchakov, L Pulina, U Sattler, T Schneider, P Selmer, F Wolter, ...
Twenty-First International Joint Conference on Artificial Intelligence, 2009
892009
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20