Sebastian Rudolph

According to our database, Sebastian Rudolph authored at least 178 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures.

Luisa Herrmann, Vincent Peth, Sebastian Rudolph

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

Compositional matrix-space models of language: Definitions, properties, and learning methods.

Shima Asaadi, Eugenie Giesbrecht, Sebastian Rudolph

Nat. Lang. Eng., January, 2023

How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC.

Bartosz Bednarczyk, Sebastian Rudolph

J. Artif. Intell. Res., 2023

Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures.

Luisa Herrmann, Sebastian Rudolph

CoRR, 2023

Decidability of Querying First-Order Theories via Countermodels of Finite Width.

Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph

CoRR, 2023

A is the B of C: (Semi)-Automatic Creation of Vossian Antonomasias.

Johanna Rockstroh, Giada D'Ippolito, Nicolas Lazzari, Anouk Michelle Oudshoorn, Disha Purohit, Ensiyeh Raoufi, Sebastian Rudolph

Proceedings of the Wikidata Workshop 2023 co-located with 22nd International Semantic Web Conference (ISWC 2023), 2023

Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying.

Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph

Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+.

Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets.

Tim S. Lyon, Sebastian Rudolph

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL.

Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Finite-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

Proceedings of the 26th International Conference on Database Theory, 2023

2022

Toward a Comparison Framework for Interactive Ontology Enrichment Methodologies.

Jarno Vrolijk, Ioannis Reklos, Mahsa Vafaie, Arcangelo Massari, Maryam Mohammadi, Sebastian Rudolph

Proceedings of the Seventh International Workshop on the Visualization and Interaction for Ontologies and Linked Data co-located with the 21st International Semantic Web Conference (ISWC 2022), 2022

How to Agree to Disagree - Managing Ontological Perspectives using Standpoint Logic.

Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass

Proceedings of the Semantic Web - ISWC 2022, 2022

Semantic Characterizations of AGM Revision for Tarskian Logics.

Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald

Proceedings of the Rules and Reasoning, 2022

A Journey to the Frontiers of Query Rewritability.

Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph

Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion.

Jonas Karge, Sebastian Rudolph

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract).

Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Charting the Borderland - Decidability in Description Logics and Beyond (DL Invited Talk Abstract).

Sebastian Rudolph

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

AGM Revision in Description Logics Under Fixed-Domain Semantics.

Faiq Miftakhul Falakh, Sebastian Rudolph

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Modelling Multiple Perspectives by Standpoint-Enhanced DLs (Extended Abstract).

Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

The Price of Selfishness: Conjunctive Query Entailment for ALCSelf Is 2EXPTIME-Hard.

Bartosz Bednarczyk, Sebastian Rudolph

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics.

Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß

J. Artif. Intell. Res., 2021

Neural machine translating from natural language to SPARQL.

Xiaoyu Yin, Dagmar Gromann, Sebastian Rudolph

Future Gener. Comput. Syst., 2021

Semantic Characterizations of General Belief Base Revision.

Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald

CoRR, 2021

A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics.

Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald

CoRR, 2021

Seed Patterns for Modeling Trees.

Aaron Eberhart, David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph

Proceedings of the Advances in Pattern-Based Ontology Engineering, 2021

Finite Model Theory of the Triguarded Fragment and Related Logics.

Emanuel Kieronski, Sebastian Rudolph

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

On Logics and Homomorphism Closure.

Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Capturing Homomorphism-Closed Decidable Queries with Existential Rules.

Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report).

Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald

Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021

Visualization of Statistical Information in Concept Lattice Diagrams.

Jana Klimpke, Sebastian Rudolph

Proceedings of the Formal Concept Analysis - 16th International Conference, 2021

Datalog-Expressibility for Monadic and Guarded Second-Order Logic.

Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

Standpoint Logic: Multi-Perspective Knowledge Representation.

Lucía Gómez Álvarez, Sebastian Rudolph

Proceedings of the Formal Ontology in Information Systems, 2021

Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract).

Emanuel Kieronski, Sebastian Rudolph

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract).

Bartosz Bednarczyk, Sebastian Rudolph

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2020

Semantic Node-RED for rapid development of interoperable industrial IoT applications.

Aparna Saisree Thuluva, Darko Anicic, Sebastian Rudolph, Malintha Adikari

Semantic Web, 2020

Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements.

Fariz Darari, Werner Nutt, Simon Razniewski, Sebastian Rudolph

Semantic Web, 2020

SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT.

Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph

Künstliche Intell., 2020

Knowledge Graphs Evolution and Preservation - A Technical Report from ISWS 2019.

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 A. C. 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

CoRR, 2020

Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints.

Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Neva - Extension Visualization for Argumentation Frameworks.

Mei Yang, Sarah Alice Gaggl, Sebastian Rudolph

Proceedings of the Computational Models of Argument, 2020

2019

Linked Open Data Validity - A Technical Report from ISWS 2018.

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

CoRR, 2019

Explaining Data with Formal Concept Analysis.

Bernhard Ganter, Sebastian Rudolph, Gerd Stumme

Proceedings of the Reasoning Web. Explainable Artificial Intelligence, 2019

SPARQL Queries over Ontologies Under the Fixed-Domain Semantics.

Sebastian Rudolph, Lukas Schweizer, Zhihao Yao

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

The Power of the Terminating Chase (Invited Talk).

Markus Krötzsch, Maximilian Marx, Sebastian Rudolph

Proceedings of the 22nd International Conference on Database Theory, 2019

Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting.

Bartosz Bednarczyk, Sebastian Rudolph

Proceedings of the 32nd International Workshop on Description Logics, 2019

Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints.

Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph

Proceedings of the 32nd International Workshop on Description Logics, 2019

Presburger Concept Cardinality Constraints in Very Expressive Description Logics - Allegro sexagenarioso ma non ritardando.

"Johann" Sebastian Rudolph

Proceedings of the Description Logic, Theory Combination, and All That, 2019

Temporally Attributed Description Logics.

Ana Ozaki, Markus Krötzsch, Sebastian Rudolph

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018

Preface: Concept Lattices and Applications: Recent Advances and New Opportunities.

Karell Bertet, Sebastian Rudolph

Discret. Appl. Math., 2018

Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics.

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

Faceted Answer-Set Navigation.

Christian Alrabbaa, Sebastian Rudolph, Lukas Schweizer

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

The Triguarded Fragment of First-Order Logic.

Sebastian Rudolph, Mantas Simkus

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Preserving Constraints with the Stable Chase.

David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph

Proceedings of the 21st International Conference on Database Theory, 2018

IoT Semantic Interoperability with Device Description Shapes.

Aparna Saisree Thuluva, Darko Anicic, Sebastian Rudolph

Proceedings of the Semantic Web: ESWC 2018 Satellite Events, 2018

Satisfiability in the Triguarded Fragment of First-Order Logic.

Sebastian Rudolph, Mantas Simkus

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Happy Ever After: Temporally Attributed Description Logics.

Ana Ozaki, Markus Krötzsch, Sebastian Rudolph

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017

Succinctness and tractability of closure operator representations.

Sebastian Rudolph

Theor. Comput. Sci., 2017

A Demo: Semantic-Based Re-Engineering of Automation Systems.

Aparna Saisree Thuluva, Kirill Dorofeev, Monika Wenger, Darko Anicic, Sebastian Rudolph

Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

Wolpertinger: A Fixed-Domain Reasoner.

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa

Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

On the Ontological Modeling of Trees.

David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph

Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017), 2017

Semantic Web of Things for Industry 4.0.

Aparna Saisree Thuluva, Darko Anicic, Sebastian Rudolph

Proceedings of the Doctoral Consortium, 2017

Gradual Learning of Matrix-Space Models of Language for Sentiment Analysis.

Shima Asaadi, Sebastian Rudolph

Proceedings of the 2nd Workshop on Representation Learning for NLP, 2017

Semantic-Based Approach for Low-Effort Engineering of Automation Systems.

Aparna Saisree Thuluva, Kirill Dorofeev, Monika Wenger, Darko Anicic, Sebastian Rudolph

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics.

Sebastian Rudolph, Lukas Schweizer

Proceedings of the Progress in Artificial Intelligence, 2017

Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract.

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer

Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

2016

Is Your Database System a Semantic Web Reasoner?

Markus Krötzsch, Sebastian Rudolph

Künstliche Intell., 2016

Concept lattices with negative information: A characterization theorem.

José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Sebastian Rudolph

Inf. Sci., 2016

Revisiting Grounded Circumscription in Description Logics.

Stathis Delivorias, Sebastian Rudolph

Proceedings of the Web Reasoning and Rule Systems - 10th International Conference, 2016

Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics.

Sebastian Rudolph

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Expressivity of Datalog Variants - Completing the Picture.

Sebastian Rudolph, Michaël Thomazo

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Conceptual Navigation for Polyadic Formal Concept Analysis.

Sebastian Rudolph, Christian Sacarea, Diana Troanca

Proceedings of the Artificial Intelligence for Knowledge Management, 2016

Web-Mining Defeasible Knowledge from Concessional Statements.

Alina Petrova, Sebastian Rudolph

Proceedings of the Graph-Based Representation and Reasoning, 2016

Fixed-Domain Reasoning for Description Logics.

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics.

Sebastian Rudolph

Proceedings of the 29th International Workshop on Description Logics, 2016

Efficient Axiom Pinpointing in EL using SAT Technology.

Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph

Proceedings of the 29th International Workshop on Description Logics, 2016

2015

A closer look at the semantic relationship between Datalog and description logics.

Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt

Semantic Web, 2015

Bound Your Models! How to Make OWL an ASP Modeling Language.

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer

CoRR, 2015

Characterization of the Expressivity of Existential Rule Queries.

Sebastian Rudolph, Michaël Thomazo

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Reduction in Triadic Data Sets.

Sebastian Rudolph, Christian Sacarea, Diana Troanca

Proceedings of the 4th International Workshop "What can FCA do for Artificial Intelligence?", 2015

Membership Constraints in Formal Concept Analysis.

Sebastian Rudolph, Christian Sacarea, Diana Troanca

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks.

Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention).

Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Towards a Navigation Paradigm for Triadic Concepts.

Sebastian Rudolph, Christian Sacarea, Diana Troanca

Proceedings of the Formal Concept Analysis - 13th International Conference, 2015

Schema-Agnostic Query Rewriting for OWL QL.

Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph

Proceedings of the 28th International Workshop on Description Logics, 2015

What Is a Reasonable Argumentation Semantics?

Sarah Alice Gaggl, Sebastian Rudolph, Michaël Thomazo

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014

The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases.

Giorgio Stefanoni, Boris Motik, Markus Krötzsch, Sebastian Rudolph

J. Artif. Intell. Res., 2014

Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses.

Sebastian Rudolph, Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier

CoRR, 2014

Query Containment for Highly Expressive Datalog Fragments.

Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph

CoRR, 2014

(Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL.

Nadeschda Nikitina, Sebastian Rudolph

Artif. Intell., 2014

Towards Combining Machine Learning with Attribute Exploration for Ontology Refinement.

Jedrzej Potoniec, Sebastian Rudolph, Agnieszka Lawrynowicz

Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, 2014

Schema-Agnostic Query Rewriting in SPARQL 1.1.

Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph

Proceedings of the Semantic Web - ISWC 2014, 2014

Expressiveness of guarded existential rule languages.

Georg Gottlob, Sebastian Rudolph, Mantas Simkus

Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2014

All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles.

David Carral, Adila Krisnadhi, Sebastian Rudolph, Pascal Hitzler

Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), 2014

Nominal Schemas in Description Logics: Complexities Clarified.

Markus Krötzsch, Sebastian Rudolph

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

On the Succinctness of Closure Operator Representations.

Sebastian Rudolph

Proceedings of the Formal Concept Analysis - 12th International Conference, 2014

Mixing Materialization and Query Rewriting for Existential Rules.

Michaël Thomazo, Sebastian Rudolph

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Complexities of Nominal Schemas.

Markus Krötzsch, Sebastian Rudolph

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

How to Best Nest Regular Path Queries.

Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

The Two Views on Ontological Query Answering.

Sebastian Rudolph

Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014

2013

Complexities of Horn Description Logics.

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler

ACM Trans. Comput. Log., 2013

Managing Structured and Semistructured RDF Data Using Structure Indexes.

Thanh Tran, Günter Ladwig, Sebastian Rudolph

IEEE Trans. Knowl. Data Eng., 2013

Report on the Sixth Conference on Artificial General Intelligence.

Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang

AI Mag., 2013

Flag & check: data access with monadically defined queries.

Sebastian Rudolph, Markus Krötzsch

Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Modeling in OWL 2 without Restrictions.

Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe

Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

2012

Interactive ontology revision.

Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm

J. Web Semant., 2012

Stream reasoning and complex event processing in ETALIS.

Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic

Semantic Web, 2012

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler

Log. Methods Comput. Sci., 2012

Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach.

Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic

Appl. Artif. Intell., 2012

Multi-Agent Knowledge Allocation.

Sebastian Rudolph, Madalina Croitoru

Proceedings of the Research and Development in Intelligent Systems XXIX, 2012

On the (Non-)Succinctness of Uniform Interpolation in General ${\mathcal{EL}}$ Terminologies.

Nadeschda Nikitina, Sebastian Rudolph

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

On Integrating Description Logics and Rules under Minimal Hypotheses.

Anees Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

A Generic Querying Algorithm for Greedy Sets of Existential Rules.

Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Some Notes on Managing Closure Operators.

Sebastian Rudolph

Proceedings of the Formal Concept Analysis - 10th International Conference, 2012

More Than the Sum of Its Parts - Holistic Ontology Alignment by Population-Based Optimisation.

Jürgen Bock, Sebastian Rudolph, Michael Mutter

Proceedings of the Foundations of Information and Knowledge Systems, 2012

LODifier: Generating Linked Data from Unstructured Text.

Isabelle Augenstein, Sebastian Padó, Sebastian Rudolph

Proceedings of the Semantic Web: Research and Applications, 2012

Advocatus Diaboli - Exploratory Enrichment of Ontologies with Negative Constraints.

Sébastien Ferré, Sebastian Rudolph

Proceedings of the Knowledge Engineering and Knowledge Management, 2012

ExpExpExplosion: Uniform Interpolation in General EL Terminologies.

Nadeschda Nikitina, Sebastian Rudolph

Proceedings of the ECAI 2012, 2012

Exclusivity-based allocation of knowledge.

Madalina Croitoru, Sebastian Rudolph

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

EP-SPARQL: a unified language for event processing and stream reasoning.

Darko Anicic, Paul Fodor, Sebastian Rudolph, Nenad Stojanovic

Proceedings of the 20th International Conference on World Wide Web, 2011

Wheat and Chaff - Practically Feasible Interactive Ontology Revision.

Nadeschda Nikitina, Birte Glimm, Sebastian Rudolph

Proceedings of the Semantic Web - ISWC 2011, 2011

Foundations of Description Logics.

Sebastian Rudolph

Proceedings of the Reasoning Web. Semantic Technologies for the Web of Data, 2011

A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams.

Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic

Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Retractable Complex Event Processing and Stream Reasoning.

Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic

Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Results on Out-of-Order Event Processing.

Paul Fodor, Darko Anicic, Sebastian Rudolph

Proceedings of the Practical Aspects of Declarative Languages, 2011

Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ.

Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus

Proceedings of the IJCAI 2011, 2011

Extending Decidable Existential Rules by Joining Acyclicity and Guardedness.

Markus Krötzsch, Sebastian Rudolph

Proceedings of the IJCAI 2011, 2011

Walking the Complexity Lines for Generalized Guarded Existential Rules.

Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo

Proceedings of the IJCAI 2011, 2011

Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies.

Sebastian Rudolph, Michael Schneider

Proceedings of the Conceptual Structures for Discovering Knowledge, 2011

Epistemic Querying of OWL Knowledge Bases.

Anees Mehdi, Sebastian Rudolph, Stephan Grimm

Proceedings of the Semantic Web: Research and Applications, 2011

Reasoning-Supported Interactive Revision of Knowledge Bases.

Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Practical Epistemic Entailment Checking in SROIQ.

Anees Mehdi, Sebastian Rudolph

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Revisiting Semantics for Epistemic Extensions of Description Logics.

Anees Mehdi, Sebastian Rudolph

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!

Sebastian Rudolph, Birte Glimm

J. Artif. Intell. Res., 2010

Computing intensional answers to questions - An inductive logic programming approach.

Philipp Cimiano, Sebastian Rudolph, Helena Hartfiel

Data Knowl. Eng., 2010

Integrated Metamodeling and Diagnosis in OWL 2.

Birte Glimm, Sebastian Rudolph, Johanna Völker

Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

On the Semantic Relationship between Datalog and Description Logics.

Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt

Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

A Rule-Based Language for Complex Event Processing and Reasoning.

Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stühmer, Nenad Stojanovic, Rudi Studer

Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2.

Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Status QIO: Conjunctive Query Entailment Is Decidable.

Birte Glimm, Sebastian Rudolph

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks.

Pia-Ramona Wojtinnek, Brian Harrington, Sebastian Rudolph, Stephen Pulman

Proceedings of the Conceptual Structures: From Information to Intelligence, 2010

Orel: Database-Driven Reasoning for OWL 2 Profiles.

Markus Krötzsch, Anees Mehdi, Sebastian Rudolph

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Compositional Matrix-Space Models of Language.

Sebastian Rudolph, Eugenie Giesbrecht

Proceedings of the ACL 2010, 2010

Foundations of Semantic Web Technologies

Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph

Chapman and Hall/CRC Press, ISBN: 9781420090505, 2010

2009

Refining Ontologies by Pattern-Based Completion.

Nadejda Nikitina, Sebastian Rudolph, Sebastian Blohm

Proceedings of the Workshop on Ontology Patterns (WOP 2009) , 2009

Top-k Exploration of Query Candidates for Efficient Keyword Search on Graph-Shaped (RDF) Data.

Thanh Tran, Haofen Wang, Sebastian Rudolph, Philipp Cimiano

Proceedings of the 25th International Conference on Data Engineering, 2009

Tempus Fugit.

Uta Lösch, Sebastian Rudolph, Denny Vrandecic, Rudi Studer

Proceedings of the Semantic Web: Research and Applications, 2009

A Matter of Principles: Towards the Largest DLP Possible.

Markus Krötzsch, Sebastian Rudolph

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Conjunctive Query Entailment: Decidable in Spite of O, I, and Q.

Birte Glimm, Sebastian Rudolph

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

Fostering Web Intelligence by Semi-automatic OWL Ontology Refinement.

Johanna Völker, Sebastian Rudolph

Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008

Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler

Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

ELP: Tractable Rules for OWL 2.

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler

Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Approximate OWL-Reasoning with Screech.

Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler

Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

What Is Approximate Reasoning?.

Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler

Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

Intensional Question Answering Using ILP: What Does an Answer Mean?.

Philipp Cimiano, Helena Hartfiel, Sebastian Rudolph

Proceedings of the Natural Language and Information Systems, 2008

Cheap Boolean Role Constructors for Description Logics.

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

Lexico-Logical Acquisition of OWL DL Axioms.

Johanna Völker, Sebastian Rudolph

Proceedings of the Formal Concept Analysis, 6th International Conference, 2008

Acquiring Generalized Domain-Range Restrictions.

Sebastian Rudolph

Proceedings of the Formal Concept Analysis, 6th International Conference, 2008

Description Logic Rules.

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler

Proceedings of the ECAI 2008, 2008

All Elephants are Bigger than All Mice.

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Approximate OWL Instance Retrieval with SCREECH.

Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Tuvshintur Tserendorj

Proceedings of the Logic and Probability for Scene Interpretation, 24.02. - 29.02.2008, 2008

Semantic Description of Distributed Business Processes.

Sudhir Agarwal, Sebastian Rudolph, Andreas Abecker

Proceedings of the AI Meets Business Rules and Process Management, 2008

Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams.

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Ontology-Based Interpretation of Keywords for Semantic Search.

Thanh Tran, Philipp Cimiano, Sebastian Rudolph, Rudi Studer

Proceedings of the Semantic Web, 2007

Conjunctive Queries for a Tractable Fragment of OWL 1.1.

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler

Proceedings of the Semantic Web, 2007

Efficient OWL Reasoning with Logic Programs - Evaluations.

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic

Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Relational Exploration - Reconciling Plato and Aristotle.

Sebastian Rudolph

Proceedings of the Foundations of Artificial Intelligence FAInt 2007, 2007

Encoding Closure Operators into Neural Networks.

Sebastian Rudolph

Proceedings of the 3rd International Workshop on Neural-Symbolic Learning and Reasoning, 2007

Some Notes on Pseudo-closed Sets.

Sebastian Rudolph

Proceedings of the Formal Concept Analysis, 5th International Conference, 2007

Supporting Lexical Ontology Learning by Relational Exploration.

Sebastian Rudolph, Johanna Völker, Pascal Hitzler

Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007

Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web.

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler

Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007

Using FCA for Encoding Closure Operators into Neural Networks.

Sebastian Rudolph

Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007

Conjunctive Queries for EL with Composition of Roles.

Markus Krötzsch, Sebastian Rudolph

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Complexity Boundaries for Horn Description Logics.

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Relational exploration: combining description logics and formal concept analysis for knowledge specification.

Sebastian Rudolph

PhD thesis, 2006

On the Complexity of Horn Description Logics.

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler

Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

2004

Exploring Relational Structures Via FLE.

Sebastian Rudolph

Proceedings of the Conceptual Structures at Work: 12th International Conference on Conceptual Structures, 2004

2001

Formal Concept Analysis Methods for Dynamic Conceptual Graphs.

Bernhard Ganter, Sebastian Rudolph

Proceedings of the Conceptual Structures: Broadening the Base, 2001