Publications of Veronika Thost

From International Center for Computational Logic
Toggle side column

Publications of Veronika Thost


Journal Articles

Veronika Thost
Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information (Extended Abstract)
KI, 31(4):377--380, 2017
Details Download

Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporalizing Rewritable Query Languages over Knowledge Bases
Journal of Web Semantics, 33:50–70, 2015
Details Download


Proceedings Articles

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Reasoning on Knowledge Graphs
Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI'18), 5309--5313, July 2018. International Joint Conference on Artificial Intelligence
Details Download

Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names
In Clare Dixon, Marcelo Finger, eds., Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17), volume 10483 of Lecture Notes in Computer Science, 60--76, September 2017. Springer
Details Download

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Ontologies for Knowledge Graphs
In Claudia d'Amato, Miriam Fernández, Valentina A. M. Tamma, Freddy Lécué, Philippe Cudré-Mauroux, Juan F. Sequeda, Christoph Lange, Jeff Heflin, eds., Proceedings of the 16th International Semantic Web Conference (ISWC'17), volume 10587 of LNCS, 418--435, October 2017. Springer
Details Download

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Reasoning with Attributed Description Logics
In Alessandro Artale, Birte Glimm, Roman Kontchakov, eds., Proceedings of the 30th International Workshop on Description Logics (DL 2017), Montpellier, France, July 18-21, 2017, volume 1879 of CEUR Workshop Proceedings, July 2017. CEUR-WS.org
Details Download

Maximilian Marx, Markus Krötzsch, Veronika Thost
Logic on MARS: Ontologies for generalised property graphs
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), 1188-1194, 2017. International Joint Conferences on Artificial Intelligence
Details Download

Veronika Thost
News on Temporal Conjunctive Queries
In Daniele Dell'Aglio, Darko Anicic, Payam M. Barnaghi, Emanuele Della Valle, Deborah L. McGuinness, Loris Bozzato, Thomas Eiter, Martin Homola, Daniele Porello, eds., Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 22nd, 2017, volume 1936 of CEUR Workshop Proceedings, 1--16, October 2017. CEUR-WS.org
Details Download

Markus Krötzsch, Veronika Thost
Ontologies for Knowledge Graphs: Breaking the Rules
In Yolanda Gil, Elena Simperl, Paul Groth, Freddy Lecue, Markus Krötzsch, Alasdair Gray, Marta Sabou, Fabian Flöck, Hideaki Takeda, eds., Proceedings of the 15th International Semantic Web Conference (ISWC 2016), volume 9981 of LNCS, 376-392, 2016. Springer
Details Download

Stefan Borgwardt, Veronika Thost
Temporal Query Answering in the Description Logic EL
In Qiang Yang, Michael Wooldridge, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2819–2825, 2015. AAAI Press
Details Download

Stefan Borgwardt, Veronika Thost
Temporal Query Answering in the Description Logic EL (extended abstract)
Proceedings of the 28th International Workshop on Description Logics (DL 2015), volume 1350, 83--87, 2015. CEUR
Details Download

Stefan Borgwardt, Veronika Thost
Temporal Query Answering in DL-Lite with Negation
In Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov, eds., GCAI 2015. Global Conference on Artificial Intelligence, volume 36 of EasyChair Proceedings in Computing, 51-65, 2015. EasyChair
Details Download

Veronika Thost, Erik Zenker
Temporal Query Answering in a Fuzzy World
In Agata Filipowska and Ruben Verborgh and Axel Polleres, eds., Posters&Demos@SEMANTiCS 2015 and DSci15 Workshop, volume 1481 of CEUR Workshop Proceedings, 84-87, September 2015. CEUR-WS.org
Details Download

Veronika Thost, Jan Holste, Özgür Özçep
On Implementing Temporal Query Answering in DL-Lite (extended abstract)
Proceedings of the 28th International Workshop on Description Logics (DL 2015), 2015. CEUR
Details Download

Marcus Hähnel, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan
Bridging the Application Knowledge Gap
Workshop on Adaptive and Reflective Middleware'14, December 2014
Details Download

Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
Certain Answers in a Rough World
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 709-712, 2014
Details Download

Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporal Query Answering in the Description Logic DL-Lite
In Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt, eds., Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, 165-180, 2013. Springer
Details Download

Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporal Query Answering in DL-Lite
In Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch, eds., Proceedings of the 26th International Workshop on Description Logics (DL-2013), volume 1014 of CEUR Workshop Proceedings, July 2013. CEUR-WS.org
Details Download

Waltenegus Dargie, Eldora, Julian Mendez, Christoph Möbius, Kateryna Rybina, Veronika Thost, Anni-Yasmin Turhan
Situation Recognition for Service Management Systems Using OWL 2 Reasoners
Proceedings of the 10th IEEE Workshop on Context Modeling and Reasoning 2013, 31-36, March 2013. IEEE Computer Society
Details Download

Sebastian Goetz, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan
OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context
In Kavitha Srinivas and Simon Jupp, eds., Proceedings of the 10th OWL: Experiences and Directions Workshop (OWLED 2013), May 2013
Details Download

Veronika Thost, Konrad Voigt, Daniel Schuster
Query Matching for Report Recommendation
Proceedings of the 22Nd ACM International Conference on Conference on Information and Knowledge Management, CIKM '13, 1391-1400, 2013. ACM
Details Download


Doctoral Theses

Veronika Thost
Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information
Phd thesis, TU Dresden, 2017/06/19
Details Download


Technical Reports

Markus Krötzsch, Veronika Thost
Ontologies for Knowledge Graphs: Breaking the Rules
Technical Report, TU Dresden, April 2016
Details Download

Stefan Borgwardt, Veronika Thost
LTL over EL Axioms
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 15-07, 2015. LTCS-Report
Details Download

Stefan Borgwardt, Veronika Thost
Temporal Query Answering in EL
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 15-08, 2015. LTCS-Report
Details Download

Stefan Borgwardt, Veronika Thost
Temporal Query Answering in DL-Lite with Negation
Technical Report, Chair for Automata Theory, Technische Universität Dresden, volume 15-16, 2015. LTCS-Report
Details Download

Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Reasoning with Temporal Properties over Axioms of DL-Lite
Technical Report, Chair of Automata Theory, TU Dresden, volume 14-06, 2014. LTCS-Report
Details Download

Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
Conjunctive Query Answering in Rough EL
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 14-04, 2014. LTCS-Report
Details Download

Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporal Query Answering w.r.t. DL-Lite-Ontologies
Technical Report, Chair of Automata Theory, TU Dresden, volume 13-05, 2013. LTCS-Report
Details Download