Skip to content

Sebastian Rudolph

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

79

Venues

26

Active years

2001–2025

Best venue rank

A*

Where they publish

Papers

79 indexed papers, newest first.

YearVenueTitleAuthors
2025KRPutting Perspective into OWL [Sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order Logic.Luca Gmez lvarez, Sebastian Rudolph
2025KRFitting Ontologies and Constraints to Relational Structures.Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph
2024CSLDecidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures.Luisa Herrmann, Vincent Peth, Sebastian Rudolph
2024KRReasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities.Luca Gmez lvarez, Sebastian Rudolph
2024KRThe Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules.Piotr Ostropolski-Nalewaja, Sebastian Rudolph
2023ICDTFinite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying.Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
2023IJCAITractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL.Luca Gmez lvarez, Sebastian Rudolph, Hannes Strass
2023JELIADerivation-Graph-Based Characterizations of Decidable Existential Rule Sets.Tim S. Lyon, Sebastian Rudolph
2023KRPushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+.Luca Gmez lvarez, Sebastian Rudolph, Hannes Strass
2023PODSBounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying.Jean-Franois Baget, Marie-Laure Mugnier, Sebastian Rudolph
2022AAAIThe Price of Selfishness: Conjunctive Query Entailment for ALCSelf Is 2EXPTIME-Hard.Bartosz Bednarczyk, Sebastian Rudolph
2022IJCAICapturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract).Camille Bourgaux, David Carral, Markus Krtzsch, Sebastian Rudolph, Michal Thomazo
2022KRThe More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion.Jonas Karge, Sebastian Rudolph
2022PODSA Journey to the Frontiers of Query Rewritability.Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
2021FOISStandpoint Logic: Multi-Perspective Knowledge Representation.Luca Gmez lvarez, Sebastian Rudolph
2021ICALPDatalog-Expressibility for Monadic and Guarded Second-Order Logic.Manuel Bodirsky, Simon Knuer, Sebastian Rudolph
2021ICFCAVisualization of Statistical Information in Concept Lattice Diagrams.Jana Klimpke, Sebastian Rudolph
2021KIA Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report).Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
2021KRCapturing Homomorphism-Closed Decidable Queries with Existential Rules.Camille Bourgaux, David Carral, Markus Krtzsch, Sebastian Rudolph, Michal Thomazo
2021LICSOn Logics and Homomorphism Closure.Manuel Bodirsky, Thomas Feller, Simon Knuer, Sebastian Rudolph
2021LICSFinite Model Theory of the Triguarded Fragment and Related Logics.Emanuel Kieronski, Sebastian Rudolph
2020COMMANeva - Extension Visualization for Argumentation Frameworks.Mei Yang, Sarah Alice Gaggl, Sebastian Rudolph
2020ECAISatisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints.Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
2019ICDTThe Power of the Terminating Chase (Invited Talk).Markus Krtzsch, Maximilian Marx, Sebastian Rudolph
2019IJCAIWorst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting.Bartosz Bednarczyk, Sebastian Rudolph
2019PRICAISPARQL Queries over Ontologies Under the Fixed-Domain Semantics.Sebastian Rudolph, Lukas Schweizer, Zhihao Yao
2018ICDTPreserving Constraints with the Stable Chase.David Carral, Markus Krtzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
2018LPARThe Triguarded Fragment of First-Order Logic.Sebastian Rudolph, Mantas Simkus
2017EPIANot Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics.Sebastian Rudolph, Lukas Schweizer
2016ECAIFixed-Domain Reasoning for Description Logics.Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
2016ICCSWeb-Mining Defeasible Knowledge from Concessional Statements.Alina Petrova, Sebastian Rudolph
2016IJCAIConceptual Navigation for Polyadic Formal Concept Analysis.Sebastian Rudolph, Christian Sacarea, Diana Troanca
2016IJCAIExpressivity of Datalog Variants - Completing the Picture.Sebastian Rudolph, Michal Thomazo
2016KRUndecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics.Sebastian Rudolph
2015ICFCATowards a Navigation Paradigm for Triadic Concepts.Sebastian Rudolph, Christian Sacarea, Diana Troanca
2015IJCAIReasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention).Pierre Bourhis, Markus Krtzsch, Sebastian Rudolph
2015IJCAIOn the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks.Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
2015IJCAIMembership Constraints in Formal Concept Analysis.Sebastian Rudolph, Christian Sacarea, Diana Troanca
2015IJCAIReduction in Triadic Data Sets.Sebastian Rudolph, Christian Sacarea, Diana Troanca
2015IJCAICharacterization of the Expressivity of Existential Rule Queries.Sebastian Rudolph, Michal Thomazo
2014ECAIMixing Materialization and Query Rewriting for Existential Rules.Michal Thomazo, Sebastian Rudolph
2014ICFCAOn the Succinctness of Closure Operator Representations.Sebastian Rudolph
2014KRNominal Schemas in Description Logics: Complexities Clarified.Markus Krtzsch, Sebastian Rudolph
2014PODSExpressiveness of guarded existential rule languages.Georg Gottlob, Sebastian Rudolph, Mantas Simkus
2013PODSFlag & check: data access with monadically defined queries.Sebastian Rudolph, Markus Krtzsch
2012AAMASExclusivity-based allocation of knowledge.Madalina Croitoru, Sebastian Rudolph
2012ECAIExpExpExplosion: Uniform Interpolation in General EL Terminologies.Nadeschda Nikitina, Sebastian Rudolph
2012EKAWAdvocatus Diaboli - Exploratory Enrichment of Ontologies with Negative Constraints.Sbastien Ferr, Sebastian Rudolph
2012ICFCASome Notes on Managing Closure Operators.Sebastian Rudolph
2012KRA Generic Querying Algorithm for Greedy Sets of Existential Rules.Michal Thomazo, Jean-Franois Baget, Marie-Laure Mugnier, Sebastian Rudolph
2012SGAIMulti-Agent Knowledge Allocation.Sebastian Rudolph, Madalina Croitoru
2011AAAIRevisiting Semantics for Epistemic Extensions of Description Logics.Anees Mehdi, Sebastian Rudolph
2011ICCSUtility and Feasibility of Reasoning beyond Decidability in Semantic Technologies.Sebastian Rudolph, Michael Schneider
2011IJCAIWalking the Complexity Lines for Generalized Guarded Existential Rules.Jean-Franois Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michal Thomazo
2011IJCAIExtending Decidable Existential Rules by Joining Acyclicity and Guardedness.Markus Krtzsch, Sebastian Rudolph
2011IJCAIReasoning-Supported Interactive Revision of Knowledge Bases.Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
2011IJCAIQuery Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ.Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
2011PADLResults on Out-of-Order Event Processing.Paul Fodor, Darko Anicic, Sebastian Rudolph
2011WWWEP-SPARQL: a unified language for event processing and stream reasoning.Darko Anicic, Paul Fodor, Sebastian Rudolph, Nenad Stojanovic
2010ACLCompositional Matrix-Space Models of Language.Sebastian Rudolph, Eugenie Giesbrecht
2010ICCSConceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks.Pia-Ramona Wojtinnek, Brian Harrington, Sebastian Rudolph, Stephen Pulman
2010KRStatus QIO: Conjunctive Query Entailment Is Decidable.Birte Glimm, Sebastian Rudolph
2010KRWorst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2.Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
2009ICDETop-k Exploration of Query Candidates for Efficient Keyword Search on Graph-Shaped (RDF) Data.Thanh Tran, Haofen Wang, Sebastian Rudolph, Philipp Cimiano
2008AAAITerminological Reasoning in SHIQ with Ordered Binary Decision Diagrams.Sebastian Rudolph, Markus Krtzsch, Pascal Hitzler
2008ECAIDescription Logic Rules.Markus Krtzsch, Sebastian Rudolph, Pascal Hitzler
2008ICFCAAcquiring Generalized Domain-Range Restrictions.Sebastian Rudolph
2008ICFCALexico-Logical Acquisition of OWL DL Axioms.Johanna Vlker, Sebastian Rudolph
2008JELIACheap Boolean Role Constructors for Description Logics.Sebastian Rudolph, Markus Krtzsch, Pascal Hitzler
2008NLDBIntensional Question Answering Using ILP: What Does an Answer Mean?.Philipp Cimiano, Helena Hartfiel, Sebastian Rudolph
2007AAAIComplexity Boundaries for Horn Description Logics.Markus Krtzsch, Sebastian Rudolph, Pascal Hitzler
2007ICCSUsing FCA for Encoding Closure Operators into Neural Networks.Sebastian Rudolph
2007ICCSQuo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web.Sebastian Rudolph, Markus Krtzsch, Pascal Hitzler
2007ICCSSupporting Lexical Ontology Learning by Relational Exploration.Sebastian Rudolph, Johanna Vlker, Pascal Hitzler
2007ICFCASome Notes on Pseudo-closed Sets.Sebastian Rudolph
2007IJCAIEncoding Closure Operators into Neural Networks.Sebastian Rudolph
2007KIRelational Exploration - Reconciling Plato and Aristotle.Sebastian Rudolph
2004ICCSExploring Relational Structures Via FLE.Sebastian Rudolph
2001ICCSFormal Concept Analysis Methods for Dynamic Conceptual Graphs.Bernhard Ganter, Sebastian Rudolph