Sebastian Rudolph

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 94

Top Venues

CoRR

Description Logics

IJCAI

Dresden University of Technology, Germany (PHD)

Education History

Dresden University of Technology, Germany

PHD

Publications

Piotr Ostropolski-Nalewaja, Sebastian Rudolph
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules. CoRR (2024)
Luisa Herrmann, Vincent Peth, Sebastian Rudolph
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. CSL (2024)
Jonas Karge, Juliette-Michelle Burkhardt, Sebastian Rudolph, Dominik Rusovac
To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence. AAMAS (2024)
Shima Asaadi, Eugenie Giesbrecht, Sebastian Rudolph
Compositional matrix-space models of language: Definitions, properties, and learning methods. Nat. Lang. Eng. 29 (1) (2023)
Johanna Rockstroh, Giada D'Ippolito, Nicolas Lazzari, Anouk Michelle Oudshoorn, Disha Purohit, Ensiyeh Raoufi, Sebastian Rudolph
A is the B of C: (Semi)-Automatic Creation of Vossian Antonomasias. Wikidata@ISWC (2023)
Luisa Herrmann, Sebastian Rudolph
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. CoRR (2023)
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying. PODS (2023)
Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Decidability of Querying First-Order Theories via Countermodels of Finite Width. CoRR (2023)
Tim S. Lyon, Sebastian Rudolph
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets. CoRR (2023)
Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying. ICDT (2023)
Bartosz Bednarczyk, Sebastian Rudolph
How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC. J. Artif. Intell. Res. 78 (2023)
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. KR (2023)
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. CoRR (2023)
Tim S. Lyon, Sebastian Rudolph
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets. JELIA (2023)
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL. IJCAI (2023)
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL. CoRR (2023)
Jonas Karge, Sebastian Rudolph
The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion. KR (2022)
Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying. CoRR (2022)
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
How to Agree to Disagree - Managing Ontological Perspectives using Standpoint Logic. ISWC (2022)
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
Modelling Multiple Perspectives by Standpoint-Enhanced DLs (Extended Abstract). Description Logics (2022)
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract). IJCAI (2022)
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
Semantic Characterizations of AGM Revision for Tarskian Logics. RuleML+RR (2022)
Jarno Vrolijk, Ioannis Reklos, Mahsa Vafaie, Arcangelo Massari, Maryam Mohammadi, Sebastian Rudolph
Toward a Comparison Framework for Interactive Ontology Enrichment Methodologies. VOILA@ISWC (2022)
Faiq Miftakhul Falakh, Sebastian Rudolph
AGM Revision in Description Logics Under Fixed-Domain Semantics. Description Logics (2022)
Sebastian Rudolph
Charting the Borderland - Decidability in Description Logics and Beyond (DL Invited Talk Abstract). Description Logics (2022)
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic. CoRR (2022)
Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
A Journey to the Frontiers of Query Rewritability. PODS (2022)
Bartosz Bednarczyk, Sebastian Rudolph
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf Is 2EXPTIME-Hard. AAAI (2022)
Emanuel Kieronski, Sebastian Rudolph
Finite Model Theory of the Triguarded Fragment and Related Logics. LICS (2021)
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics. J. Artif. Intell. Res. 70 (2021)
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic. ICALP (2021)
Emanuel Kieronski, Sebastian Rudolph
Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract). Description Logics (2021)
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics. CoRR (2021)
Xiaoyu Yin, Dagmar Gromann, Sebastian Rudolph
Neural machine translating from natural language to SPARQL. Future Gener. Comput. Syst. 117 (2021)
Jana Klimpke, Sebastian Rudolph
Visualization of Statistical Information in Concept Lattice Diagrams. ICFCA (2021)
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
Semantic Characterizations of General Belief Base Revision. CoRR (2021)
Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph
On Logics and Homomorphism Closure. CoRR (2021)
Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph
On Logics and Homomorphism Closure. LICS (2021)
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report). FCR@KI (2021)
Bartosz Bednarczyk, Sebastian Rudolph
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard. CoRR (2021)
Lucía Gómez Álvarez, Sebastian Rudolph
Standpoint Logic: Multi-Perspective Knowledge Representation. FOIS (2021)
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules. KR (2021)
Bartosz Bednarczyk, Sebastian Rudolph
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract). Description Logics (2021)
Emanuel Kieronski, Sebastian Rudolph
Finite Model Theory of the Triguarded Fragment and Related Logics. CoRR (2021)
Aaron Eberhart, David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
Seed Patterns for Modeling Trees. WOP (Book) (2021)
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules. CoRR (2021)
Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
A Journey to the Frontiers of Query Rewritability. CoRR (2020)
Nacira Abbas, Kholoud Alghamdi, Mortaza Alinam, Francesca Alloatti, Glenda C. M. Amaral, Claudia d'Amato, Luigi Asprino, Martin Beno, Felix Bensmann, Russa Biswas, Ling Cai, Riley Capshaw, Valentina Anita Carriero, Irene Celino, Amine Dadoun, Stefano De Giorgis, Harm Delva, John Domingue, Michel Dumontier, Vincent Emonet, Marieke van Erp, Paola Espinoza-Arias, Omaima Fallatah, Sebastián Ferrada, Marc Gallofré Ocaña, Michalis Georgiou, Genet Asefa Gesese, Frances Gillis-Webber, Francesca Giovannetti, María Granados Buey, Ismail Harrando, Ivan Heibi, Vitor Horta, Laurine Huber, Federico Igne, Mohamad Yaser Jaradeh, Neha Keshan, Aneta Koleva, Bilal Koteich, Kabul Kurniawan, Mengya Liu, Chuangtao Ma, Lientje Maas, Martin Mansfield, Fabio Mariani, Eleonora Marzi, Sepideh Mesbah, Maheshkumar Mistry, Alba Catalina Morales Tirado, Anna Nguyen, Viet Bach Nguyen, Allard Oelen, Valentina Pasqual, Heiko Paulheim, Axel Polleres, Margherita Porena, Jan Portisch, Valentina Presutti, Kader Pustu-Iren, Ariam Rivas Mendez, Soheil Roshankish, Sebastian Rudolph, Harald Sack, Ahmad Sakor, Jaime Salas, Thomas Schleider, Meilin Shi, Gianmarco Spinaci, Chang Sun, Tabea Tietz, Molka Tounsi Dhouib, Alessandro Umbrico, Wouter van den Berg, Weiqin Xu
Knowledge Graphs Evolution and Preservation - A Technical Report from ISWS 2019. CoRR (2020)
Mei Yang, Sarah Alice Gaggl, Sebastian Rudolph
Neva - Extension Visualization for Argumentation Frameworks. COMMA (2020)
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) (2020)
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic. CoRR (2020)
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints. ECAI (2020)
Aparna Saisree Thuluva, Darko Anicic, Sebastian Rudolph, Malintha Adikari
Semantic Node-RED for rapid development of interoperable industrial IoT applications. Semantic Web 11 (6) (2020)
Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph
SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT. Künstliche Intell. 34 (3) (2020)
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints. CoRR (2020)
Bernhard Ganter, Sebastian Rudolph, Gerd Stumme
Explaining Data with Formal Concept Analysis. Reasoning Web (2019)
Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Temporally Attributed Description Logics. Description Logic, Theory Combination, and All That (2019)
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints. Description Logics (2019)
Sebastian Rudolph, Lukas Schweizer, Zhihao Yao
SPARQL Queries over Ontologies Under the Fixed-Domain Semantics. PRICAI (1) (2019)
Xiaoyu Yin, Dagmar Gromann, Sebastian Rudolph
Neural Machine Translating from Natural Language to SPARQL. CoRR (2019)
Tayeb Abderrahmani Ghor, Esha Agrawal, Mehwish Alam, Omar Alqawasmeh, Claudia d'Amato, Amina Annane, Amr Azzam, Andrew Berezovskyi, Russa Biswas, Mathias Bonduel, Quentin Brabant, Cristina-Iulia Bucur, Elena Camossi, Valentina Anita Carriero, Shruthi Chari, David Chaves-Fraga, Fiorela Ciroku, Michael Cochez, Hubert Curien, Vincenzo Cutrona, Rahma Dandan, Danilo Dessì, Valerio Di Carlo, Ahmed El Amine Djebri, Marieke van Erp, Faiq Miftakhul Falakh, Alba Fernndez Izquierdo, Giuseppe Futia, Aldo Gangemi, Simone Gasperoni, Arnaud Grall, Lars Heling, Pierre Henri, Noura Herradi, Subhi Issa, Samaneh Jozashoori, Nyoman Juniarta, Lucie-Aimée Kaffee, Ilkcan Keles, Prashant Khare, Viktor Kovtun, Valentina Leone, Siying Li, Sven Lieber, Pasquale Lisena, Tatiana Makhalova, Ludovica Marinucci, Thomas Minier, Benjamin Moreau, Alberto Moya Loustaunau, Durgesh Nandini, Sylwia Ozdowska, Amanda Pacini de Moura, Swati Padhee, Guillermo Palma, Pedro Del Pozo Jimnez, Valentina Presutti, Roberto Reda, Ettore Rizza, Henry Rosales-mndez, Sebastian Rudolph, Harald Sack, Luca Sciullo, Humasak Simanjuntak, Carlo Stomeo, Thiviyan Thanapalasingam, Tabea Tietz, Dalia Varanka, Maria-Esther Vidal, Michael Wolowyk, Maximilian Zocholl
Linked Open Data Validity - A Technical Report from ISWS 2018. CoRR (2019)
Bartosz Bednarczyk, Sebastian Rudolph
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting. IJCAI (2019)
Markus Krötzsch, Maximilian Marx, Sebastian Rudolph
The Power of the Terminating Chase (Invited Talk). ICDT (2019)
Bartosz Bednarczyk, Sebastian Rudolph
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting. Description Logics (2019)
Karell Bertet, Sebastian Rudolph
Preface: Concept Lattices and Applications: Recent Advances and New Opportunities. Discret. Appl. Math. 249 (2018)
Sebastian Rudolph, Mantas Simkus
Satisfiability in the Triguarded Fragment of First-Order Logic. Description Logics (2018)
Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Happy Ever After: Temporally Attributed Description Logics. Description Logics (2018)
Aparna Saisree Thuluva, Darko Anicic, Sebastian Rudolph
IoT Semantic Interoperability with Device Description Shapes. ESWC (Satellite Events) (2018)
Sebastian Rudolph, Mantas Simkus
The Triguarded Fragment of First-Order Logic. LPAR (2018)
Christian Alrabbaa, Sebastian Rudolph, Lukas Schweizer
Faceted Answer-Set Navigation. RuleML+RR (2018)
Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics. RuleML+RR (2018)
David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
Preserving Constraints with the Stable Chase. ICDT (2018)
Sebastian Rudolph
Succinctness and tractability of closure operator representations. Theor. Comput. Sci. 658 (2017)
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract. AMW (2017)
Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Wolpertinger: A Fixed-Domain Reasoner. ISWC (Posters, Demos & Industry Tracks) (2017)
Sebastian Rudolph, Lukas Schweizer
Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics. Description Logics (2017)
Sebastian Rudolph, Lukas Schweizer
Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics. EPIA (2017)
Shima Asaadi, Sebastian Rudolph
Gradual Learning of Matrix-Space Models of Language for Sentiment Analysis. Rep4NLP@ACL (2017)
Aparna Saisree Thuluva, Kirill Dorofeev, Monika Wenger, Darko Anicic, Sebastian Rudolph
A Demo: Semantic-Based Re-Engineering of Automation Systems. ISWC (Posters, Demos & Industry Tracks) (2017)
David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
On the Ontological Modeling of Trees. WOP@ISWC (2017)
David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
On the Ontological Modeling of Trees. CoRR (2017)
Aparna Saisree Thuluva, Kirill Dorofeev, Monika Wenger, Darko Anicic, Sebastian Rudolph
Semantic-Based Approach for Low-Effort Engineering of Automation Systems. OTM Conferences (2) (2017)
Aparna Saisree Thuluva, Darko Anicic, Sebastian Rudolph
Semantic Web of Things for Industry 4.0. RuleML+RR (Supplement) (2017)
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics. Description Logics (2016)
Markus Krötzsch, Sebastian Rudolph
Is Your Database System a Semantic Web Reasoner? Künstliche Intell. 30 (2) (2016)
Sebastian Rudolph
Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics. KR (2016)
Sebastian Rudolph, Christian Sacarea, Diana Troanca
Conceptual Navigation for Polyadic Formal Concept Analysis. AI4KM@IJCAI (2016)
Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph
Efficient Axiom Pinpointing in EL using SAT Technology. Description Logics (2016)
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics. ECAI (2016)
Alina Petrova, Sebastian Rudolph
Web-Mining Defeasible Knowledge from Concessional Statements. ICCS (2016)
Sebastian Rudolph
The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics. Description Logics (2016)
José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Sebastian Rudolph
Concept lattices with negative information: A characterization theorem. Inf. Sci. 369 (2016)
Sebastian Rudolph, Michaël Thomazo
Expressivity of Datalog Variants - Completing the Picture. IJCAI (2016)
Stathis Delivorias, Sebastian Rudolph
Revisiting Grounded Circumscription in Description Logics. RR (2016)
Sebastian Rudolph, Christian Sacarea, Diana Troanca
Towards a Navigation Paradigm for Triadic Concepts. ICFCA (2015)
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Bound Your Models! How to Make OWL an ASP Modeling Language. CoRR (2015)
Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
A closer look at the semantic relationship between Datalog and description logics. Semantic Web 6 (1) (2015)
Sarah Alice Gaggl, Sebastian Rudolph, Michaël Thomazo
What Is a Reasonable Argumentation Semantics? Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Sebastian Rudolph, Michaël Thomazo
Characterization of the Expressivity of Existential Rule Queries. IJCAI (2015)
Sebastian Rudolph, Christian Sacarea, Diana Troanca
Reduction in Triadic Data Sets. FCA4AI@IJCAI (2015)

Sebastian Rudolph.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sebastian Rudolph