Sebastian Rudolph

From International Center for Computational Logic

Prof. Sebastian Rudolph

ProfessorTechnische Universität DresdenInternational Center for Computational Logic Computational Logic

Since April 2013 I am full professor for Computational Logic at the Institute for Artificial Intelligence at the Faculty of Computer Science at the Technische Universität Dresden. My research interests comprise Artificial Intelligence, in particular Knowledge Representation and Reasoning using diverse formalisms (such as Description Logics, Existential Rules and Formal Concept Analysis) and their applications in diverse areas, for instance Semantic Technologies. I deal with problems ranging from theoretical foundations (e.g., decidability and complexity of reasoning tasks) to practical deployment (ontology modeling, interactive knowledge acquisition). In 2017, I received an ERC Consolidator Grant for investigating general principles of decidability in logic-based knowledge representation.

Before returning to Dresden, I spend the years 2006 to 2013 as a postdoctoral researcher, project leader and later Privatdozent (similar to associate professor) in Rudi Studer's Knowledge Management group at the Institute AIFB of the Karlsruhe Institute of Technology, where I obtained my habilitation in 2011. Before I had completed my PhD in Algebra and my studies for highschool teaching in mathematics, physics and computer science at the TU Dresden.

Newest Publications

View full publication list

Fariz Darari, Werner Nutt, Simon Razniewski, Sebastian Rudolph
Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements
Semantic Web, 11(3):441-482, 2020
Details

Bartosz Bednarczyk, Franz Baader, Sebastian Rudolph
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), to appear
Details

Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Temporally Attributed Description Logics
In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter, eds., Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, volume 11560 of LNCS, 441-474. Springer, 2019
Details Download

Sebastian Rudolph
Presburger Concept Cardinality Constraints in Very Expressive Description Logics – Allegro sexagenarioso ma non ritardando
In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter, eds., Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, volume 11560 of LNCS, 542-561. Springer, 2019
Details Download

Bartosz Bednarczyk, Sebastian Rudolph, Franz Baader
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32nd International Workshop on Description Logics, volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details

Bartosz Bednarczyk, Franz Baader, Sebastian Rudolph
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
Technical Report, Computational Logic Group, 2019
Details Download

Bartosz Bednarczyk, Sebastian Rudolph
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32nd International Workshop on Description Logics, volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details

Bartosz Bednarczyk, Sebastian Rudolph
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting
Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI'19), August 2019. International Joint Conferences on Artificial Intelligence
Details

Bernhard Ganter, Sebastian Rudolph, Gerd Stumme
Explaining Data with Formal Concept Analysis
In Markus Krötzsch, Daria Stepanova, eds., Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial Lectures., volume 11810 of LNCS, 153-195, 2019. Springer
Details Download

Sebastian Rudolph, Lukas Schweizer, Zhihao Yao
SPARQL Queries over Ontologies Under the Fixed-Domain Semantics
In Abhaya C. Nayak, Alok Sharma, eds., PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I, volume 11670 of Lecture Notes in Computer Science, 486--499, August 2019. Springer
Details Download

View full publication list

Courses


Suggested Thesis Topics


Completed Theses

DeciGUT-logo-final.png

DeciGUT
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation

Iccl cube blue 200px.png

EMCL (offered until 2017)
European Master's Program in Computational Logic

Quantla-logo.png

QuantLA
Quantitative Logics and Automata

Wolpert-github.png

Wolpertinger
Wolpertinger is a fixed-domain reasoner