Markus Krötzsch
From korrekt.org
I am a postdoctoral researcher at the Department of Computer Science at the University of Oxford. My scientific interests are, broadly speaking, in the area of intelligent information systems. I have made contributions to lightweight and rule-based ontology languages, query answering, reasoning complexity, and content management and integration platforms for the Web of Data. This has led to many publications, but also to introductory texts (including two textbooks) and other teaching materials. I also co-edited the W3C Web Ontology Language standard OWL 2.
My most important ongoing development projects are the semantic content management system Semantic MediaWiki and the highly efficient ELK ontology reasoner. I maintain the semanticweb.org community portal. In each of these projects, I have the pleasure of working with some excellent collaborators.
Further details can be found elsewhere:
- Publications: books, papers, articles
- Research: topics and interests
- Teaching: teaching materials, tutorials, lectures
- Activities: organisation, reviewing, standardisation, …
- Grants and awards: collected accolades
- Short biography: a short personal description
- Contact: how to reach me
Recent publications
- Despoina Magka, Markus Krötzsch, Ian Horrocks. Computing Stable Models for Nonmonotonic Existential Rules. IJCAI 2013, 2013. (view details)
- Sebastian Rudolph, Markus Krötzsch. Flag & Check: Data Access with Monadically Defined Queries. PODS 2013, 2013. (view details, download)
- Emanuele Della Valle, Stefan Schlobach, Markus Krötzsch, Alessandro Bozzon, Stefano Ceri, Ian Horrocks. Order matters! Harnessing a world of orderings for reasoning over massive data. Semantic Web Journal, 2013. (view details, download)
- Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler. Complexities of Horn Description Logics. ACM Transactions on Computational Logic, 2013. (view details, download)
- Markus Krötzsch. The Not-So-Easy Task of Computing Class Subsumptions in OWL RL. ISWC2012, nominated for Best Paper award, 2012. (view details, download)
Finally, regarding that name or mine: It is written Krötzsch or Kroetzsch, but never Krotzsch. The vowel ö (umlaut o) is pronounced long, as in Gödel and Björk. It's roughly like the ea in the English pearl or the eu in French peu (try making these sounds while forming your mouth as when saying an o). You could try to combine the sounds that appear in the following words:
chrome + pearl + match
Or simply call me Markus.