About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Prof. Sebastian Rudolph

Professor for Computational Logic

Sebastian Rudolph
Sebastian Rudolph
obtained his PhD in mathematics from the Institute for Algebra at the Dresden University of Technology in 2006 for his work on applying interactive knowledge acquisition techniques from the field of Formal Concept Analysis to Decription Logics.

Thereafter, he joined the Knowledge Management group of Rudi Studer at the Institute AIFB University of Karlsruhe (now: Karlsruhe Institute of Technology), where he worked on numerous topics related to the fields of logic-based Knowledge Representation and Semantic Technologies.

In 2009, he stayed at the Information Systems group at the Oxford University Computing Laboratory to conduct research on decidability problems related to query answering in description logics. Further regular research visits have led him to the Knowledge Based Systems Group at the TU Vienna and the GraphIK (Graphs for Inferences on Knowledge) team at the Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier.

In 2011 he defended his postdoctoral thesis (Habilitation) in computer science, entitled "Reasoning and Modeling Support for Logic-Based Knowledge Representation", at the Karlsruhe Institute of Technology.

In 2013, he became full professor for Computational Logic in the Computer Science Department at the Technische Universität Dresden.

His publication record comprises more than 70 publications in various fields; his active research interests include semantic technologies, knowledge representation, logic, algebra, complexity theory, machine learning, database theory, and computational linguistics. He contributed to the OWL 2 standard as participant of the OWL working group of the W3C, and co-authored two textbooks on Semantic Web modeling languages.

He acts on the steering committees of multiple conferences, on the editorial board of the Journal on Data Semantics, and as area editor "reasoning" at the Journal of Web Semantics.

His research interests comprise Artificial Intelligence, Knowledge Representation and Reasoning, Logic, Semantic Web, Complexity Theory, Computational Linguistics, Formal Concept Analysis, Ontology Modelling and Optimisation

For further information, see his homepage.