Veronika Thost
Veronika Thost
MIT-IBM Watson AI Lab, IBM Research
Bestätigte E-Mail-Adresse bei ibm.com - Startseite
TitelZitiert vonJahr
Temporal query answering in the description logic DL-Lite
S Borgwardt, M Lippmann, V Thost
International Symposium on Frontiers of Combining Systems, 165-180, 2013
492013
Temporalizing rewritable query languages over knowledge bases
S Borgwardt, M Lippmann, V Thost
Journal of Web Semantics 33, 50-70, 2015
342015
Temporal query answering in the description logic EL
S Borgwardt, V Thost
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
272015
Metric temporal description logics with interval-rigid names
F Baader, S Borgwardt, P Koopmann, A Ozaki, V Thost
International Symposium on Frontiers of Combining Systems, 60-76, 2017
262017
Logic on MARS: Ontologies for Generalised Property Graphs.
M Marx, M Krötzsch, V Thost
IJCAI, 1188-1194, 2017
232017
Situation recognition for service management systems using OWL 2 reasoners
W Dargie, J Mendez, C Möbius, K Rybina, V Thost, AY Turhan
2013 IEEE International Conference on Pervasive Computing and Communications …, 2013
132013
Temporal Query Answering in DL-Lite with Negation.
S Borgwardt, V Thost
GCAI, 51-65, 2015
122015
Ontologies for knowledge graphs: Breaking the rules
M Krötzsch, V Thost
International Semantic Web Conference, 376-392, 2016
102016
Attributed Description Logics: Reasoning on Knowledge Graphs.
M Krötzsch, M Marx, A Ozaki, V Thost
Ijcai, 5309-5313, 2018
92018
On implementing temporal query answering in DL-Lite
V Thost, J Holste, ÖL Özçep
Description Logics, 2015
92015
Attributed description logics: Ontologies for knowledge graphs
M Krötzsch, M Marx, A Ozaki, V Thost
International Semantic Web Conference, 418-435, 2017
82017
Temporal Query Answering in DL-Lite.
S Borgwardt, M Lippmann, V Thost
Description Logics 1014, 80-92, 2013
82013
LTL over EL axioms
S Borgwardt, V Thost
LTCS-Report, 2015
62015
Temporal query answering wrt DL-Lite-ontologies
S Borgwardt, M Lippmann, V Thost
LTCS-Report, 0
5
Using ontology-based data access to enable context recognition in the presence of incomplete information
V Thost
KI-Künstliche Intelligenz 31 (4), 377-380, 2017
42017
OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context.
S Götz, J Mendez, V Thost, AY Turhan
OWLED, 2013
42013
QED: out-of-the-box datasets for SPARQL query evaluation
V Thost, J Dolby
European Semantic Web Conference, 491-506, 2019
22019
Metric temporal extensions of DL-Lite and interval-rigid names
V Thost
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
22018
Temporal Query Answering in EL.
S Borgwardt, V Thost
Description Logics, 2015
22015
Query matching for report recommendation
V Thost, K Voigt, D Schuster
Proceedings of the 22nd ACM international conference on Information …, 2013
22013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20