Markus Krötzsch

From korrekt.org

Since March 2005, I am doing research at the AIFB institute at Karlsruhe Institute of Technology (KIT) where I have also completed my PhD thesis. Information about my research and teaching, contact details, and further relevant data can be found below.

Contents 1 Research 2 Teaching 3 Further activities 3.1 Reviewing and committee memberships 3.2 Organised events and tutorials 3.3 Invited talks 4 Curriculum vitae 4.1 Education 4.2 Jobs and civil service 4.3 Grants and awards 5 Short CV 6 Contact data

Research

My research is focussed on the practical use of Semantic Web technologies, ranging from foundational studies in knowledge representation and reasoning to actual implementations of deployable systems (especially the one that runs this site)

• Publications
• Research interests

Teaching

• Lecture «Semantic Web Technologies I» at AIFB Karlsruhe:
  • Winter 2008/09 (together with Pascal Hitzler and Sebastian Rudolph)
  • Winter 2007/08 (together with Pascal Hitzler and Sebastian Rudolph)
• Lecture «Intelligente Systeme im World Wide Web» («Intelligent Systems on the WWW») at AIFB Karlsruhe
  • Summer 2006 (together with Anupriya Ankolekar, Pascal Hitzler, and York Sure)
  • Summer 2005 (together with Pascal Hitzler and York Sure)
• Seminar «Knowledge Representation and Reasoning for the Semantic Web» at TU Dresden in Winter 2005/06 (together with Pascal Hitzler)

Further activities

• Lead developer of Semantic MediaWiki
• Member of the new W3C Web Ontology Language (OWL) working group
• Former member of W3C Rule Interchange Format (RIF) working group
• Maintainer of semanticweb.org, the Semantic Web community portal (together with Denny Vrandecic)

Reviewing and committee memberships

I have been reviewing (on programme committees) for the following journals:

• Journal of Symbolic Computation, reviewer for special issue on Automated Deduction: Decidability, Complexity, Tractability, 2008
• International Journal of Computer Mathematics, 2008
• Journal of Web Semantics, PC member of special issue on Web 2.0 and the Semantic Web, 07 2007
• Journal of Universal Computer Science, PC member of special issue on Ontologies and their Applications, JUCS 13(12), 2007

I have served as a programme committee member of the following events:

• IJCAI 2009, the 21st International Joint Conference on Artificial Intelligence, Passadena, CA, USA, July 11 – 17 2009
• ESWC 2009, poster and demo track of the 6th European Semantic Web Conference, Heraklion, Greece, May 31 – June 4 2009
• ICCS 2009, the 17th International Conference on Conceptual Structures, Moscow, Russia, Juli 26 – 31 2009
• ICFCA 2009, the 7th International Conference on Formal Concept Analysis, Darmstadt, Germany, May 21 – 24 2009
• SSW 2009, the AAAI Spring Symposium on Social Semantic Web, Stanford, CA, USA, March 23 – 25 2009

view older events

Organised events and tutorials

• Course «Ontology Modelling Languages» as ESSLLI 2009, the 21st European Summer School in Logic, Language and Information (ESSLLI 2009), Bordeaux, July 20 – 31, 2009
• Tutorial «Semantic Web Modelling Languages» at IJCAI 2009, the 21st International Joint Conference on Artificial Intelligence, Passadena, Juli 11 – 17, 2009
• Tutorial «OWL 2 Rules» at ESWC 2009, the 6th European Semantic Web Conference (ESWC 2009), Heraklion, May 31 – June 4, 2009
• OWLED 2008 (EU), the 5th International Workshop on OWL: Experiences and Directions, Karlsruhe, Germany, Oct 26 – 27 2008, local organisation.
• SWKM 2008, the 2008 Workshop on Social Web and Knowledge Management at WWW 2008, Bejing, China, April 22nd, 2008.
• Tutorial «Practical Reasoning with OWL and DL-Safe Rules» at ESWC 2006, the 3rd European Semantic Web Conference.

Invited talks

See also the talk section in publications.

• Speaker at Reasoning Web Summer School 2007 on «Reasoning in Semantic Wikis»
• Invited talk at the Semantic Web Technology Showcase 2007, Vienna, Austria (colocated with ESTC2007, the first European Semantic Technology Conference) on «Practical Reasoning with OWL and Rules»

Curriculum vitae

• Born on May 6th 1981 in Rodewisch, Germany
• Married, no children
• Contact data

Education

• Since Mar 2010: Postdoctoral researcher at AIFB, Karlsruhe Instititue of Technology
• Mar 2005–Feb 2010: PhD student and research assistant in Prof. Rudi Studer's group at Institute AIFB of Karlsruhe Institute of Technology KIT (formerly Karlsruhe University)
• Feb 2005: Master of Science in Computational Logic, degree 1.0 (supervised by Dr. habil. Pascal Hitzler TUD, Prof. Steffen Hölldobler TUD, Prof. Guo-Qiang Zhang CWRU)
• Jun–Aug 2004: visit at CWRU Cleveland
• 2003–2005: Study of Computational Logic at the ICCL of TU Dresden
• 2000–2003: Study of Computer Science at Technische Universität Dresden
• 1999: Abitur, Grade 1.1 (with distinction)
• 1991–1999: High school Goethe Gymnasium Auerbach

Jobs and civil service

• 2002–2003: student assistant in Prof. Michael Thielscher's Computational Logic Group, topic area cognitive robotics
• 2001–2005: various occupations as student tutor for courses Logic I and Logic II at TU Dresden
• 2001–2002: software developer at Signsoft GmbH, Dresden (3D visualisation, OO API development)
• 1999–2000: Civil service at hospital Vogtlandklinikum Rodewisch

Grants and awards

• do it.software-award 2007: third price of the 2007 do it software awards for Semantic MediaWiki (with Denny Vrandecic, York Sure, Rudi Studer)
• Georg-Helm-Preis 2005: best Master's thesis in 2005; yearly award given to two or three graduates (Master's/PhD) of TU Dresden
• DAAD grant «Kurzfristige Studienaufenthalte zur Anfertigung einer Masterarbeit»: thesis research exchange grant of the German Academic Exchange Service, hosted by CWRU Cleveland
• Bestes Vordiplom 2002: award for best Computer Science pre-degree at TU Dresden (best grade point average)

Short CV

Many occasions require a brief personal description. Here is a typical example of what I might use:

Markus Krötzsch is a postdoctoral researcher at the Institute of Applied Informatics and Formal Description Methods (AIFB) of the Karlsruhe Institute of Technology (KIT) where he also completed his PhD thesis. He received his Master of Science at the International Center for Computational Logic at Dresden University of Technology in 2005. His research is focused on knowledge representation on the Semantic Web, its practical applications, and its algorithmic and logical foundations. He also is the lead developer of the successful Semantic Web application platform Semantic MediaWiki, co-editor of the W3C OWL 2 specification, chief maintainer of the semanticweb.org community portal, and co-author of the textbook Foundations of Semantic Web Technologies.

Contact data

• Email: mak@aifb.uni-karlsruhe.de
  • I receive many emails. Some might be overlooked or lost. Feel free to re-send your unanswered message.
  • Random requests for software support or other consultations will usually be ignored, unless I have some concrete personal commitment or research interest.
• Phone: +49 721 608 7362 (work)
• Fax: +49 721 608 5998
• Skype: kroetzsch (only for people I know personally)
• My university homepage (featuring my GPG/PGP key)
• Yes, I have accounts at LinkedIn, Facebook, and XING – though there is also some truth in this rant
• Mail address

Markus Krötzsch
Institut AIFB
Gebäude 11.40
Karlsruher Institut für Technologie (KIT)
76128 Karlsruhe
Germany

• Visitors' address

Room 245
Kollegiengebäude am Ehrenhof
Englerstraße 11
76131 Karlsruhe
Germany