http://people.aifb.kit.edu/sru/home/ 2012-05-09T17:28:44+02:00 http://people.aifb.kit.edu/sru/home/ http://people.aifb.kit.edu/sru/home/lib/images/favicon.ico text/html 2012-03-12T23:12:34+02:00 http://people.aifb.kit.edu/sru/home/doku.php/home?rev=1331590354&do=diff University --- DBLP --- Facebook --- LinkedIn --- XING --- StudiVZ * 1995 – 2000 studies for high school teaching (mathematics/physics/computer science), Dresden University * 2000 – 2003 scholarship holder “Graduiertenkolleg 334”, Dresden University * 2003 – 2005 research assistant at the chair for Psychology of Teaching and Learning, Dresden University * 2006 dissertation in Mathematics (Dr.rer.nat.) at the Institute for Algebra, Dresden University * 2006 – 2008 postdoctoral re… text/html 2009-10-17T14:31:42+02:00 http://people.aifb.kit.edu/sru/home/doku.php/impressum?rev=1255782702&do=diff www.sebastian-rudolph.de is the personal homepage of Sebastian Rudolph. Unless otherwise stated, all contents are published under the Creative Commons Licence CC-BY. Exceptions of this rule are clearly indicated by a footer below the respective page, as done, e.g., on this page. Images may have their own licenses, accessible by clicking on the image, and they are not automatically subject ot the license of the page they are embedded into. text/html 2010-06-22T22:15:37+02:00 http://people.aifb.kit.edu/sru/home/doku.php/leasure?rev=1277237737&do=diff Content will be added soon. text/html 2008-09-16T22:31:49+02:00 http://people.aifb.kit.edu/sru/home/doku.php/leisure?rev=1221597109&do=diff Well, since my work is enjoyable (which I'm really grateful for), there is only little time left for leisure activities. Yet, one thing I apparently can not live without is music. I've been singing in choirs since I started school and I never really stopped. Right now I'm in a nice ensemble called “Les Chanteurs” meeting on a weekly basis. text/html 2009-10-04T12:39:19+02:00 http://people.aifb.kit.edu/sru/home/doku.php/news?rev=1254652759&do=diff Sunday, 4th of October 2009 Saturday, 3rd of October 2009 For our research group's annual retreat meeting, everybody had to prepare a poster summarizing their research interests. Since I was doing a lot of different things in the course of the last years, it wasn't that easy to make a coherent story out of it. Here is what I finally came up with (at least, I managed to convince myself). text/html 2008-07-05T18:10:55+02:00 http://people.aifb.kit.edu/sru/home/doku.php/paper_aaai2008?rev=1215274255&do=diff download technical report (PDF) We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered binary decision diagrams (OBDDs) as a datastructure for storing and operating on large model representations. We thus draw on the success and the proven scalability of OBDD-based systems. To the best of our knowledge, we present the very first algorithm for using OBDDs for reasoning wit… text/html 2012-04-24T15:18:26+02:00 http://people.aifb.kit.edu/sru/home/doku.php/relational_exploration?rev=1335273506&do=diff Relational Exploration is a dialogue-based method for structurized specification of relational knowledge in terms of a description logic knowledge base. The underlying technique is attribute exploration known from formal concept analysis. Coupled with description logic reasoners, this method can be used to create or refine OWL ontologies. In collaboration with my colleague Johanna Völker, this method was combined with lexical ontology learning approaches and implemented in the tools RELExO and … text/html 2008-06-10T10:21:45+02:00 http://people.aifb.kit.edu/sru/home/doku.php/start?rev=1213086105&do=diff 'Sebastian Rudolph' is a postdoctoral researcher at the Institute AIFB, University of Karlsruhe and member of the [<http://logic.aifb.uni-karlsruhe.de/wiki/ONTOLORE> ONTOLORE group] (Ontology Logic and Reasoning at Semantic Karlsruhe). [100px|Logo] [35px|Logo] text/html 2012-04-30T14:23:56+02:00 http://people.aifb.kit.edu/sru/home/doku.php/university?rev=1335788636&do=diff I am assistant professor at the Institute AIFB at the Karlsruhe Institute of Technology. Moreover, I am guest lecturer at Heidelberg University, guest researcher at FZI Karlsruhe, and member of the W3C OWL Working Group. Artificial Intelligence -- Knowledge Representation and Reasoning -- Logic -- Semantic Web -- Complexity Theory -- Computational Linguistics -- Formal Concept Analysis -- Ontology Modelling -- Optimisation