Sebastian Rudolph

From korrekt.org

Sebastian Rudolph is yet another Dresdener KR theorist who joined the Semantic Web reasoning group at AIFB. His background is in FCA, algebra, logic, and many other things. Our joined works usually relate to description logics.

For further information see:

• Sebastian's homepage (including contact data and publications)
• Sebastian's homepage at AIFB

Publications with Sebastian Rudolph

The following is a list of works that Sebastian Rudolph and I published together (or where Sebastian Rudolph was otherwise involved in), also available as an RSS feed. For more of his works, please consult his list of publications.

• Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler. Complexities of Horn Description Logics. In ACM Transactions on Computational Logic (to appear). ACM 2012. (view details, download)
   
• Markus Krötzsch, Sebastian Rudolph. Second-Order Queries for Rule-Based Data Access. In Institute AIFB Technical Report 3019. Karlsruhe Institute of Technology 2011. (view details, download)
   
• František Simančík, Boris Motik, Markus Krötzsch. Fixed Parameter Tractable Reasoning in DLs via Decomposition. In Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev, eds.: Proceedings of the 24th International Workshop on Description Logics (DL-11). CEUR Workshop Proceedings 2011. (view details, download)
   
• Yevgeny Kazakov, Markus Krötzsch, František Simančík. Unchain My EL Reasoner. In Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev, eds.: Proceedings of the 24th International Workshop on Description Logics (DL-11). CEUR Workshop Proceedings 2011. (view details, download)
   
• Markus Krötzsch, Frederick Maier, Adila A. Krisnadhi, Pascal Hitzler. Nominal Schemas for Integrating Rules and Ontologies. In Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev, eds.: Proceedings of the 24th International Workshop on Description Logics (DL-11). CEUR Workshop Proceedings 2011. (view details, download)
   
• Markus Krötzsch, Sebastian Rudolph. Extending Decidable Existential Rules by Joining Acyclicity and Guardedness. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11). IJCAI 2011. (view details, download)
   
• Markus Krötzsch, Sebastian Rudolph. Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules. In Institute AIFB Technical Report 3011. Karlsruhe Institute of Technology 2011. (view details, download)
   
• Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt. On the Semantic Relationship between Datalog and Description Logics. In Pascal Hitzler, Thomas Lukasiewicz, eds.: Proceedings of the 4th International Conference on Web Reasoning and Rule Systems. Springer 2010. (view details, download)
   
• Denny Vrandecic, Markus Krötzsch, Sebastian Rudolph, Uta Lösch. Leveraging Non-Lexical Knowledge for the Linked Open Data Web. In Review of AF Transactions 1/2010. Antoine Zimmermann 2010. (view details, download)
   
• Markus Krötzsch, Anees Mehdi, Sebastian Rudolph. Orel: Database-Driven Reasoning for OWL 2 Profiles. In Volker Haarslev, David Toman, Grant Weddell, eds.: Proceedings of the 23rd International Workshop on Description Logics (DL2010). CEUR Workshop Proceedings 2010. (view details, download)
   
• Pascal Hitzler, Markus Krötzsch, Bijan Parsia, Peter F. Patel-Schneider, Sebastian Rudolph (eds.). OWL 2 Web Ontology Language Primer. W3C Recommendation 27 October 2009. (view details)
   
• Markus Krötzsch, Sebastian Rudolph. The Largest DLP Possible. Universität Karlsruhe (TH) 2009. (view details, download)
   
• Markus Krötzsch, Sebastian Rudolph. A Matter of Principles: Towards the Largest DLP Possible. In Proceedings of the 22nd International Workshop on Description Logics (DL2009). CEUR Workshop Proceedings 2009. (view details, download)
   
• Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph. Foundations of Semantic Web Technologies. CRC Press 2009. (view details)
   
• Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler. ELP: Tractable Rules for OWL 2. In Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan, eds.: Proceedings of the 7th International Semantic Web Conference (ISWC-08). Springer 2008. (view details, download)
   
• Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler. Description Logic Reasoning with Decision Diagrams – Compiling SHIQ to Disjunctive Datalog. In Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan, eds.: Proceedings of the 7th International Semantic Web Conference (ISWC-08). Springer 2008. (view details, download)
   
• Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler. Approximate OWL-Reasoning with Screech. In Diego Calvanese, Georg Lausen, eds.: Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems (RR-08). Springer 2008. (view details, download)
   
• Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler. Cheap Boolean Role Constructors for Description Logics. In Steffen Hölldobler, Carsten Lutz, Heinrich Wansing, eds.: Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA-08). Springer 2008. (view details, download)
   
• Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler. Description Logic Rules. In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikos Avouris, eds.: Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08). IOS Press 2008. (view details, download)
   
• Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler. Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-08). AAAI Press 2008. (view details, download)
   
• Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler. All Elephants are Bigger than All Mice. In Proceedings of the 21st International Workshop on Description Logics (DL-08). CEUR Workshop Proceedings 2008. (view details, download)
   
• Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, York Sure. Semantic Web – Grundlagen. Springer 2008. (view details)
   
• Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler. Conjunctive Queries for a Tractable Fragment of OWL1.1. In Karl Aberer, Key-Sun Choi, Natasha Noy, Dean Allemang, Kyung-Il Lee, Lyndon Nixon, Jennifer Golbeck, Peter Mika, eds.: Proceedings of the 6th International Semantic Web Conference (ISWC-07). Springer 2007. (view details, download)
   
• Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler. Complexity Boundaries for Horn Description Logics. In Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-07). AAAI Press 2007. (view details, download)
   
• Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler. Quo Vadis, CS? – On the (non)-impact of Conceptual Structures on the Semantic Web. In Uta Priss, Simon Polovina, Richard Hill, eds.: Proceedings of the 15th International Conference on Conceptual Structures (ICCS-07). Springer 2007. (view details, download)
   
• Markus Krötzsch, Sebastian Rudolph. Conjunctive Queries for EL with Role Composition. In Proceedings of the 20th International Workshop on Description Logics (DL-07). CEUR Workshop Proceedings 2007. (view details, download)
   
• Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic. Efficient OWL Reasoning with Logic Programs – Evaluations. In Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie, eds.: Proceedings of The First International Conference on Web Reasoning and Rule Systems 2007 (RR-07). Springer 2007. (view details, download)
   
• Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler. On the Complexity of Horn Description Logics. In Bernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, Evan Wallace, eds.: Proceedings of the 2nd Workshop on OWL: Experiences and Directions (OWLED-06). CEUR Workshop Proceedings 2006. (view details, download)