Publications of Sebastian Rudolph
From International Center for Computational Logic
Publications of Sebastian Rudolph
Journal Articles
Shima Asaadi, Eugenie Giesbrecht, Sebastian Rudolph
Compositional matrix-space models of language: Definitions, properties, and learning methods
Natural Language Engineering, 29(1):1-49, January 2023
Details Download
Bartosz Bednarczyk, Sebastian Rudolph
How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC
Journal of Artificial Intelligence Research, 78:385–458, November 2023
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
Journal of Artificial Intelligence Research, 70:1-64, January 2021
Details Download
Xiaoyu Yin, Dagmar Gromann, Sebastian Rudolph
Neural Machine Translating from Natural Language to SPARQL
Future Generation Computer Systems, 117:510-519, 2021
Details Download
Fariz Darari, Sebastian Rudolph, Simon Razniewski, Werner Nutt
Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements
Semantic Web, 11(3):441-482, 2020
Details Download
Norbert Manthey, Rafael Peñaloza Nyssen, Sebastian Rudolph
SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT
Künstliche Intelligenz, 34(3):389-394, 2020
Details Download
Aparna Saisree Thuluva, Darko Anicic, Sebastian Rudolph, Malintha Adikari
Semantic Node-RED for rapid development of interoperable industrial IoT applications
Semantic Web, 11(6):949-975, October 2020
Details Download
Karell Bertet, Sebastian Rudolph
Preface: Concept Lattices and Applications: Recent Advances and New Opportunities
Discrete Applied Mathematics, 249:1, 2018
Details
Sebastian Rudolph
Succinctness and tractability of closure operator representations
Theoretical Computer Science, 658, Part B:327 - 345, January 2017
Details Download
Markus Krötzsch, Sebastian Rudolph
Is Your Database System a Semantic Web Reasoner?
KI, 30(2):169-176, 2016
Details Download
José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Sebastian Rudolph
Concept lattices with negative information: A characterization theorem
Information Sciences, Volume 369:51–62, November 2016
Details Download
Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
A Closer Look at the Semantic Relationship between Datalog and Description Logics
Semantic Web Journal, 6(1):63-79, 2015
Details Download
Nadeschda Nikitina, Sebastian Rudolph
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ
Artificial Intelligence, 215:120-140, October 2014
Details Download
Giorgo Stefanoni, Boris Motik, Markus Krötzsch, Sebastian Rudolph
The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases
Journal of Artificial Intelligence Research, 51:645-705, December 2014
Details Download
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexities of Horn Description Logics
ACM Trans. Comput. Log., 14(1):2, 2013
Details Download
Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang
Report on the Sixth Conference on Artificial General Intelligence
AI Magazine, 34(4):9-125, 2013
Details
Thanh Tran, Günter Ladwig, Sebastian Rudolph
Managing Structured and Semistructured RDF Data Using Structure Indexes
IEEE Transactions on Knowledge and Data Engineering, 25(9):2076-2089, 2013
Details Download
Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach
Applied Artificial Intelligence, 26(1-2):6-57, February 2012
Details Download
Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Stream reasoning and complex event processing in ETALIS
Semantic Web, 3(4):397-407, 2012
Details Download
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Interactive ontology revision
Journal of Web Semantics, 12:118-130, April 2012
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Type-elimination-based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog
Logical Methods in Computer Science, 8(1), 2012
Details Download
Philipp Cimiano, Sebastian Rudolph, Helena Hartfiel
Computing Intensional Answers to Questions - An Inductive Logic Programming Approach
Data & Knowledge Engineering, 69(3):261-278, March 2010
Details Download
Sebastian Rudolph, Birte Glimm
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is Your Friend!
Journal of Artificial Intelligence Research, 39:429-481, October 2010
Details Download
Denny Vrandečić, Markus Krötzsch, Sebastian Rudolph, Uta Lösch
Leveraging Non-Lexical Knowledge for the Linked Open Data Web
The Fifth RAFT'2010 The yearly bilingual publication on nonchalant research, 5(1):18-27, April 2010
Details Download
Jörg Meier, Sebastian Rudolph, Tom Schanz
Effective algorithm for parameter back calculation - Geotechnical applications
Bautechnik, 86(S1):86-97, August 2009
Details
Jörg Meier, Sebastian Rudolph, Tom Schanz
Effektiver Algorithmus zur Lösung von inversen Aufgabenstellungen - Anwendung in der Geotechnik
Bautechnik, 83(7):470--481, July 2006
Details
Proceedings Articles
Lucas Carr, Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
Non-monotonic Extensions to Formal Concept Analysis via Object Preferences
Proceedings of the 5th Southern African Conference on AI Research (SACAIR'24), to appear
Details Download
Lucía Gómez Álvarez, Sebastian Rudolph
Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities
In Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco, eds., Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 383–393, 2024. IJCAI Organization
Details Download
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
In Aniello Murano, Alexandra Silva, eds., CSL '24: Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic 2024, volume 288 of LIPIcs, 33:1-33:19, 2024. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Jonas Karge, Juliette-Michelle Burkhardt, Sebastian Rudolph, Dominik Rusovac
To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence
AAMAS '24: Proceedings of the 2024 International Conference on Autonomous Agents and Multiagent Systems, 2024
Details Download
Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
Towards Propositional KLM-Style Defeasible Standpoint Logics
Proceedings of the 5th Southern African Conference on AI Research (SACAIR'24), to appear
Details Download
Piotr Ostropolski-Nalewaja, Sebastian Rudolph
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
In Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco, eds., Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 574–584, 2024. IJCAI Organization
Details Download
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying
In Floris Geerts, Hung Q. Ngo, Stavros Sintos, eds., Proceedings of the 42nd Symposium on Principles of Database Systems (PODS'23), 291-302, 2023. ACM
Details Download
Thomas Feller, Tim Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Finite-Cliquewidth Sets of Existential Rules – Toward a General Criterion for Decidable yet Highly Expressive Querying
In Geerts, Floris and Vandevoort, Brecht, eds., Proceedings of the 26th International Conference on Database Theory (ICDT 2023), volume 255 of Leibniz International Proceedings in Informatics (LIPIcs), 18:1-18:18, March 2023. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL
Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023, 3258-3267, 2023. ijcai.org
Details Download
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+
In Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner, eds., Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 333-343, 2023. IJCAI Inc
Details Download
Tim Lyon, Sebastian Rudolph
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
In Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz, eds., Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), volume 14281 of Lecture Notes in Artificial Intelligence, 369-384, 2023. Springer
Details Download
Bartosz Bednarczyk, Sebastian Rudolph
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 5495-5502, February 2022
Details Download
Faiq Miftakhul Falakh, Sebastian Rudolph
AGM Revision in Description Logics under Fixed-Domain Semantics
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), August 2022. CEUR Workshop Proceedings
Details Download
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
Semantic Characterizations of AGM Revision for Tarskian Logics
In Guido Governatori, Anni-Yasmin Turhan, eds., Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, 95-110, September 2022. Springer
Details Download
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic
In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d'Amato, eds., Proceedings of the 21st International Semantic Web Conference (ISWC 22), volume 13489 of Lecture Notes in Computer Science, October 2022. Springer
Details Download
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics (Extended Abstract)
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), volume 3263, August 2022. CEUR Workshop Proceedings
Details Download
Jonas Karge, Sebastian Rudolph
The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion
In Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer, eds., Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 205-–214, 2022
Details Download
Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
A Journey to the Frontiers of Query Rewritability
In Leonid Libkin, Pablo Barceló, eds., Proceedings of the 41st Symposium on Principles of Database Systems (PODS'22), 359-367, June 2022. ACM
Details Download
Bartosz Bednarczyk, Sebastian Rudolph
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract)
In Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt, eds., Proceedings of the 34th International Workshop on Description Logics (DL 2021), volume 2954 of CEUR Workshop Proceedings, September 2021. CEUR-WS.org
Details Download
Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph
On Logics and Homomorphism Closure
Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), 1-13, 2021. IEEE
Details Download
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
In Nikhil Bansal, James Worrell, eds., Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP), LIPIcs, 120:1-120:17, 2021. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
In Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem, eds., Proc. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21), 141--150, 2021
Details Download
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report)
In Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm, eds., Proceedings of the 7th Workshop on Formal and Cognitive Reasoning, volume 2961, 48-59, September 2021. CEUR Workshop Proceedings
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
IJCAI 2021 Journal Track, 2021
Details
Lucía Gómez Álvarez, Sebastian Rudolph
Standpoint Logic: Multi-Perspective Knowledge Representation
In Neuhaus F, Brodaric B, eds., Proceedings of the 12th International Conference (FOIS 2021) Frontiers in Artificial Intelligence and Applications, volume 3344 of Frontiers in Artificial Intelligence and Applications, 3 - 17, 2021. IOS Press
Details Download
Emanuel Kieroński, Sebastian Rudolph
Finite Model Theory of the Triguarded Fragment and Related Logics
In IEEE, eds., Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), 1-13, 2021
Details Download
Jana Klimpke, Sebastian Rudolph
Visualization of Statistical Information in Concept Lattice Diagrams
In Agnès Braud, Aleksey Buzmakov, Tom Hanika, Florence Le Ber, eds., Proceedings of the 16th International Conference on Formal Concept Analysis, volume 12733 of LNCS, 208-223, 2021. Springer
Details Download
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
In Giuseppe De Giacomo. Alejandro Catala, Bistra Dilkina, Michela Milano, Senen Barro and Alberto Bugarin, Jerome Lang, eds., Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), volume 325 of Frontiers in Artificial Intelligence and Applications, 616-623, June 2020. IOS Press
Details Download
Mei Yang, Sarah Alice Gaggl, Sebastian Rudolph
Neva – Extension Visualization for Argumentation Frameworks
Proceedings of the 8th International Conference on Computational Models of Argument (COMMA 2020), volume 326 of Frontiers in Artificial Intelligence and Applications, 477-478, September 2020
Details Download
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
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 Download
Bartosz Bednarczyk, Sebastian Rudolph
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting
In Sarit Kraus, eds., Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI 2019), ijcai.org, 1530--1536, August 2019. International Joint Conferences on Artificial Intelligence
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 Download
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
Markus Krötzsch, Maximilian Marx, Sebastian Rudolph
The Power of the Terminating Chase
In Pablo Barceló, Marco Calautti, eds., Proceedings of the 22nd International Conference on Database Theory (ICDT 2019), volume 127 of LIPIcs, 3:1--3:17, 2019. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
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
Christian Al-Rabaa, Lukas Schweizer, Sebastian Rudolph
Faceted Answer-Set Navigation
In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings, volume 11092 of Lecture Notes in Computer Science, 211--225, September 2018. Springer
Details Download
David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
Preserving Constraints with the Stable Chase
In Benny Kimelfeld and Yael Amsterdamer, eds., Proceedings of the 21st International Conference on Database Theory (ICDT 2018), volume 98 of Leibniz International Proceedings in Informatics (LIPIcs), 12:1--12:19, March 2018. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Details Download
David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
On the Ontological Modeling of Trees
In Oscar Corcho, Matthew Horridge, David Carral, Rinke Hoekstra, eds., Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 6th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 21, 2017., volume 2043, February 2018. CEUR Workshop Proceedings
Details Download
Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Happy Ever After: Temporally Attributed Description Logics
In Magdalena Ortiz, Thomas Schneider, eds., Proceedings of the 31st International Workshop on Description Logics (DL 2018), volume 2211 of CEUR Workshop Proceedings, 2018. CEUR-WS.org
Details Download
Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics
In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings, volume 11092 of Lecture Notes in Computer Science, 185--200, September 2018. Springer
Details Download
Sebastian Rudolph, Mantas Simkus
The Triguarded Fragment of First-Order Logic
In Gilles Barthe, Geoff Sutcliffe, Margus Veanes, eds., Proceedings of the 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 57 of EPiC Series in Computing, 604-619, 2018. EasyChair
Details Download
Shima Asaadi, Sebastian Rudolph
Gradual Learning of Matrix-Space Models of Language for Sentiment Analysis
In Phil Blunsom, Antoine Bordes, Kyunghyun Cho, Shay B. Cohen, Chris Dyer, Edward Grefenstette, Karl Moritz Hermann, Laura Rimell, Jason Weston, Scott Yih, eds., Proceedings of the 2nd Workshop on Representation Learning for NLP, ACL2017, 178-185, August 2017. Association for Computational Linguistics
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract
In Juan L. Reutter, Divesh Srivastava, eds., Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7-9, 2017, volume 1912 of CEUR Workshop Proceedings, June 2017. CEUR-WS.org
Details Download
Sebastian Rudolph, Lukas Schweizer
Not too Big, Not too Small…Complexities of Fixed-Domain Reasoning in First-Order and Description Logics
In Oliveira Eugénio, Gama João, Vale Zita, Lopes Cardoso Henrique, eds., Progress in Artificial Intelligence: Proceedings of the 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal,, volume 10423 of Lecture Notes in Computer Science, 695-708, September 2017. Springer
Details
Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Wolpertinger: A Fixed-Domain Reasoner
In Nadeschda Nikitina, Dezhao Song, eds., ISWC 2017 Posters & Demonstration Track, October 2017
Details Download
Sebastian Rudolph, Lukas Schweizer
Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics
In Alessandro Artale, Birte Glimm and Roman Kontchakov, eds., Proceedings of the 30th International Workshop on Description Logics, volume 1879 of CEUR Workshop Proceedings, July 2017. CEUR-WS.org
Details Download
Shima Asaadi, Sebastian Rudolph
On the Correspondence between Compositional Matrix-Space Models of Language and Weighted Automata
Proceedings of the ACL Workshop on Statistical Natural Language Processing and Weighted Automata (StatFSM 2016), August 2016
Details Download
Stathis Delivorias, Sebastian Rudolph
Revisiting Grounded Circumscription in Description Logics
In Magdalena Ortiz, Stefan Schlobach, eds., Proceedings of the 10th International Conference on Web Reasoning and Rule Systems, volume 9898 of LNCS, 46-60, September 2016. Springer
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics
In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen, eds., Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), volume 285 of Frontiers in Artificial Intelligence and Applications, 819 - 827, September 2016. IOS Press
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577, 2016. CEUR Workshop Proceedings
Details Download
Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph
Efficient Axiom Pinpointing in EL using SAT Technology
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577, 2016. CEUR Workshop Proceedings
Details Download
Alina Petrova, Sebastian Rudolph
Web-Mining Defeasible Knowledge from Concessional Statements
In Ollivier Haemmerlé, Gem Stapleton, Catherine Faron Zucker, eds., Proceedings of the 22nd International Conference on Conceptual Structures (ICCS 2016), volume 9717 of LNCS, 191-203, July 2016. Springer
Details Download
Sebastian Rudolph
The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577, 2016. CEUR Workshop Proceedings
Details Download
Sebastian Rudolph
Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics
In Chitta Baral, James P. Delgrande, Frank Wolter, eds., Proc. 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16), 247-257, 2016. AAAI Press
Details Download
Sebastian Rudolph, Michaël Thomazo
Expressivity of Datalog Variants - Completing the Picture
In Subbarao Kambhampati, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'16), 1230-1236, July 2016. AAAI Press
Details Download
Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph
Schema-Agnostic Query Rewriting for OWL QL
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics, volume 1350 of CEUR Workshop Proceedings, 2015. CEUR-WS.org
Details Download
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
Reasonable Highly Expressive Query Languages
In Qiang Yang, Michael Wooldridge, eds., Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2826-2832, 2015. AAAI Press
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks
In Qiang Yang and Michael Wooldridge, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), AAAI Press, 2985--2991, July 2015. AAAI Press
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Bound Your Models! How to Make OWL an ASP Modeling Language
In Stefan Ellmauthaler, Claudia Schulz, eds., International Workshop on User-Oriented Logic Programming (IULP), November 2015
Details
Sebastian Rudolph, Christian Săcărea, Diana Troancă
Reduction in Triadic Data Sets
Workshop FCA4AI „What cand FCA do for Artificial Intelligence?”, pp.55-62, July 2015
Details Download
Sebastian Rudolph, Christian Săcărea, Diana Troancă
Towards a Navigation Paradigm for Triadic Concepts
Proceedings of the 14th International Conference on Formal Concept Analysis, ICFCA 2015, pp. 252-267, 2015. Springer
Details Download
Sebastian Rudolph, Christian Sacarea, Diana Troancă
Membership Constraints in Formal Concept Analysis
In Qiang Yang, Michael Wooldridge, eds., Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 3186-3192, July 2015. AAAI Press
Details Download
Sebastian Rudolph, Michaël Thomazo
Characterization of the Expressivity of Existential Rule Queries
In Qiang Yang, Michael Wooldridge, eds., Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 3193-3199, 2015. AAAI Press
Details Download
Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph
Schema-Agnostic Query Rewriting in SPARQL 1.1
In Peter Mika, Tania Tudorache, Abraham Bernstein, Chris Welty, Craig A. Knoblock, Denny Vrandečić, Paul T. Groth, Natasha F. Noy, Krzysztof Janowicz, Carole A. Goble, eds., Proc. 13th International Semantic Web Conference (ISWC'14), volume 8796 of LNCS, 584-600, October 2014. Springer
Details Download
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
How to Best Nest Regular Path Queries
Proc. 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 404-415, July 2014. CEUR-WS.org
Details Download
David Carral, Adila Krisnadhi, Sebastian Rudolph, Pascal Hitzler
All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles
In Maria Keet, Valentina Tamma, eds., Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on {(ISWC} 2014), Riva del Garda, Italy., volume 1265 of CEUR Workshop Proceedings, 97--108, October 2014. CEUR-WS.org
Details Download
Georg Gottlob, Sebastian Rudolph, Mantas Simkus
Expressiveness of guarded existential rule languages
In Richard Hull, Martin Grohe, eds., Proc. 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'14), 27-38, June 2014. ACM
Details Download
Markus Krötzsch, Sebastian Rudolph
Complexities of Nominal Schemas
Proc. 27th International Workshop on Description Logics (DL'14), 270-273, July 2014. CEUR Workshop Proceedings
Details Download
Markus Krötzsch, Sebastian Rudolph
Nominal Schemas in Description Logics: Complexities Clarified
In Chitta Baral, Giuseppe De Giacomo, Thomas Eiter, eds., Proc. 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), 308-317, July 2014. AAAI Press
Details Download
Sebastian Rudolph
The Two Views on Ontological Query Answering
In Georg Gottlob, Jorge Pérez, eds., Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, volume 1189 of CEUR Workshop Proceedings, June 2014. CEUR
Details Download
Sebastian Rudolph
On the Succinctness of Closure Operator Representations
In Cynthia Vera Glodeanu, Mehdi Kaytoue, Christian Sacarea, eds., Proc. 12th International Conference on Formal Concept Analysis (ICFCA 2014), volume 8478 of LNCS, 15-36, June 2014. Springer
Details
Michaël Thomazo, Sebastian Rudolph
Mixing Materialization and Query Rewriting for Existential Rules
Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), 897-902, 2014. IOS Press
Details Download
Sebastian Rudolph, Markus Krötzsch
Flag & Check: Data Access with Monadically Defined Queries
Proc. 32nd Symposium on Principles of Database Systems (PODS'13), 151-162, June 2013. ACM
Details Download
Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe
Modeling in OWL 2 without Restrictions
OWLED, 2013
Details
Isabelle Augenstein, Sebastian Padó, Sebastian Rudolph
LODifier: Generating Linked Data from Unstructured Text
ESWC, 210-224, 2012
Details
Jürgen Bock, Sebastian Rudolph, Michael Mutter
More Than the Sum of Its Parts - Holistic Ontology Alignment by Population-Based Optimisation
FoIKS, 71-90, 2012
Details
Madalina Croitoru, Sebastian Rudolph
Exclusivity-based allocation of knowledge
AAMAS, 1249-1250, 2012
Details
Sébastien Ferré, Sebastian Rudolph
Advocatus Diaboli - Exploratory Enrichment of Ontologies with Negative Constraints
EKAW, 42-56, 2012
Details
Anees Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph
On Integrating Description Logics and Rules under Minimal Hypotheses
RR, 242-245, 2012
Details
Nadeschda Nikitina, Sebastian Rudolph
ExpExpExplosion: Uniform Interpolation in General EL Terminologies
ECAI, 618-623, 2012
Details
Sebastian Rudolph, Madalina Croitoru
Multi-Agent Knowledge Allocation
SGAI Conf., 165-178, 2012
Details
Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
A Generic Querying Algorithm for Greedy Sets of Existential Rules
Proceedings of the 13th International Conference on the Principles of Knowledge Representation and Reasoning (KR'12), 2012. AAAI
Details Download
Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Retractable Complex Event Processing and Stream Reasoning
In Nick Bassiliades, Guido Governatori, Adrian Paschke, eds., 5th International Symposium on Rule-Based Reasoning, Programming, and Applications (RuleML 2011), volume 6826 of LNCS, 122-137, July 2011. Springer
Details Download
Darko Anicic, Paul Fodor, Sebastian Rudolph, Nenad Stojanovic
EP-SPARQL: A Unified Language for Event Processing and Stream Reasoning
In Sadagopan Srinivasan, Krithi Ramamritham, Arun Kumar, M. P. Ravindra, Elisa Bertino, Ravi Kumar, eds., Proceedings of the 20th International Conference on World Wide Web, WWW 2011, 635-644, 2011. ACM
Details Download
Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams
In Nick Bassiliades, Guido Governatori, Adrian Paschke, eds., 5th International Symposium on Rule-Based Reasoning, Programming, and Applications (RuleML 2011), volume 6826 of LNCS, 138-153, July 2011. Springer
Details Download
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo
Walking the Complexity Lines for Generalized Guarded Existential Rules
In Toby Walsh, eds., Proceedings of the 22nd International Joint Conference on Artificial Intelligence, 712-717, July 2011. IJCAI/AAAI
Details Download
Markus Krötzsch, Sebastian Rudolph
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness
In Toby Walsh, eds., Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), 963-968, July 2011. IJCAI/AAAI
Details Download
Nadeschda Nikitina, Birte Glimm, Sebastian Rudolph
Wheat and Chaff -- Practically Feasible Interactive Ontology Revision
In Noy et al., eds., Proceedings of the 10th International Semantic Web Conference (ISWC2011), October 2011. Springer
Details Download
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Reasoning-Supported Interactive Revision of Knowledge Bases
Proceedings of the 24th International Workshop on Description Logics (DL2011), 2011. CEUR Workshop Proceedings
Details
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Reasoning-Supported Interactive Revision of Knowledge Bases
Proceedings of the 22nd International Joint Conference on Artificial Intelligence, July 2011. IJCAI 2011
Details
Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ
In Toby Walsh, eds., Proceedings of the 22nd International Joint Conference on Artificial Intelligence, 1039-1044, July 2011. IJCAI/AAAI
Details Download
Sebastian Rudolph, Michael Schneider
Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies
In Simon Andrews, Simon Polovina, Richard Hill, Babak Akhgar, eds., Conceptual Structures for Discovering Knowledge, Proceedings of ICCS 2011, volume 6828 of LNCS, 19-34, July 2011. Springer
Details Download
Anees ul Mehdi, Sebastian Rudolph
Practical Epistemic Entailment Checking in SROIQ
Proceedings of the 24th International Workshop on Description Logics (DL2011), July 2011. CEUR Workshop Proceedings
Details Download
Anees ul Mehdi, Sebastian Rudolph, Stephan Grimm
Epistemic Queries for OWL Knowledge Bases
Proceedings of the 8th Extended Semantic Web Conference, May 2011. 8th Extended Semantic Web Conference (ESWC11), ESWC 2011
Details Download
Anees ul Mehdi, Sebastian Rudolph
Revisiting Semantics for Epistemic Extensions of Description Logics
Proceedings of the 25th Conference on Artificial Intelligence, August 2011. AAAI 2011
Details Download
Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stühmer, Nenad Stojanovic, Rudi Studer
A Rule-Based Language for Complex Event Processing and Reasoning
In Pascal Hitzler, Thomas Lukasiewicz, eds., Web Reasoning and Rule Systems - Fourth International Conference, volume 6333 of LNCS, 42-57, September 2010. Springer
Details Download
Birte Glimm, Sebastian Rudolph
Status QIO: Conjunctive Query Entailment is Decidable
In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, eds., Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10), 225-235, May 2010. AAAI Press
Details Download
Birte Glimm, Sebastian Rudolph, Johanna Völker
Integrated Metamodeling and Diagnosis in OWL 2
In Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm, eds., Proceedings of the 9th International Semantic Web Conference, volume 6496 of LNCS, 257-272, November 2010. Springer
Details Download
Markus Krötzsch, Anees ul Mehdi, Sebastian Rudolph
Orel: Database-Driven Reasoning for OWL 2 Profiles
Proceedings of the 23nd International Workshop on Description Logics (DL 2010), volume 573 of CEUR Workshop Proceedings, May 2010. CEUR-WS.org
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 (RR 2010), volume 6333 of LNCS, 88-102, September 2010. Springer
Details Download
Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2
In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, eds., Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10), 269-279, May 2010. AAAI Press
Details Download
Sebastian Rudolph, Eugenie Giesbrecht
Compositional Matrix-Space Models of Language
Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics, 907-916, July 2010. Association for Computational Linguistics
Details Download
Pia-Ramona Wojtinnek, Brian Harrington, Sebastian Rudolph, Stephen Pulman
Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks
In Madalina Croitoru, Sébastien Ferré, Dickson Lukose, eds., Proceedings of the 18th International Conference on Conceptual Structures, volume 6208 of LNCS, 203-206, July 2010. Springer
Details Download
Birte Glimm, Sebastian Rudolph
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q
In Bernardo Cuenca-Grau, Ian Horrocks, Boris Motik, Ulrike Sattler, eds., Proceedings of the DL Workshop 2009, Oxford, UK, volume 477, July 2009. CEUR Workshop Proceedings
Details Download
Markus Krötzsch, Sebastian Rudolph
A Matter of Principles: Towards the Largest DLP Possible
Proceedings of the 22nd International Workshop on Description Logics (DL2009), volume 477 of CEUR Workshop Proceedings, July 2009. CEUR-WS.org
Details
Uta Lösch, Sebastian Rudolph, Denny Vrandečić, Rudi Studer
Tempus Fugit - Towards an Ontology Update Language
In Lora Aroyo et al., eds., 6th European Semantic Web Conference (ESWC 09), volume 5554 of Lecture Notes on Computer Science, 278--292, June 2009. Springer-Verlag
Details Download
Nadejda Nikitina, Sebastian Rudolph, Sebastian Blohm
Refining Ontologies by Pattern-Based Completion
In Eva Blomqvist, Kurt Sandkuhl, Francois Scharffe, Vojtech Svatek, eds., Proceedings of the Workshop on Ontology Patterns (WOP 2009), volume 516, October 2009. CEUR
Details Download
Duc Thanh Tran, Haofen Wang, Sebastian Rudolph, Philipp Cimiano
Top-k Exploration of Query Candidates for Efficient Keyword Search on Graph-Shaped (RDF) Data
Proceedings of the 25th International Conference on Data Engineering (ICDE'09), March 2009
Details
Denny Vrandečić, Frank Dengler, Sebastian Rudolph, Michael Erdmann
RDF syntax normalization using XML validation
In Lalana Kagal, Ora Lassila, Tim Finin, eds., Proceedings of the Workshop Semantics for the Rest of Us at ISWC2009, October 2009. CEUR-WS
Details Download
Sudhir Agarwal, Sebastian Rudolph, Andreas Abecker
Semantic Description of Distributed Business Processes
In Knut Hinkelmann, Andreas Abecker, Harold Boley, John Hall, Martin Hepp, Amit Sheth, Barbara Thönssen, eds., AAAI Spring Symposium - AI Meets Business Rules and Process Management, March 2008. AAAI
Details
Philipp Cimiano, Helena Hartfiel, Sebastian Rudolph
Intensional Question Answering using ILP: What does an answer mean?
In Epaminondas Kapetanios, Vijayan Sugumaran, Myra Spiliopoulou, eds., Natural Language and Information Systems, 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008, volume 5039 of LNCS, 151-162, June 2008. Springer
Details Download
Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Tuvshintur Tserendorj
Approximate OWL Instance Retrieval with Screech
In A.G. Cohn, D.C. Hogg, R. Möller, B. Neumann, eds., Logic and Probability for Scene Interpretation, volume 08091 of Dagstuhl Seminar Proceedings, February 2008. Dagstuhl
Details
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
ELP: Tractable Rules for OWL 2
In Amit Sheth and Steffen Staab and Mike Dean and Massimo Paolucci and Diana Maynard and Timothy Finin and Krishnaprasad Thirunarayan, eds., Proceedings of the 7th International Semantic Web Conference (ISWC 2008), volume 5318 of LNCS, 649-664, October 2008. Springer
Details Download
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Description Logic Rules
In Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikos Avouris, eds., Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08), volume 178 of Frontiers in Artificial Intelligence and Applications (FAIA), 80--84, July 2008. IOS Press
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 International Semantic Web Conference (ISWC 2008), volume 5318 of LNCS, 435-450, 2008. Springer
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
In Dieter Fox, Carla P. Gomes, eds., Proceedings of the 23rd AAAI Conference on Artficial Intelligence (AAAI-08), 529-534, 2008. AAAI Press
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
All Elephants are Bigger than All Mice
In Franz Baader, Carsten Lutz, Boris Motik, eds., Proceedings of the 21st International Workshop on Description Logics (DL2008), volume 353 of CEUR Workshop Proceedings, May 2008. CEUR-WS.org
Details Download
Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler
What Is Approximate Reasoning?
In Diego Calvanese and Georg Lausen, eds., Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems (RR2008), volume 5341 of LNCS, 150-164, October 2008. Springer
Details
Sebastian Rudolph
Acquiring Generalized Domain-Range Restrictions
In Raoul Medina and Sergei Obiedkov, eds., Proceedings of the 6th International Conference on Formal Concept Analysis (ICFCA'08), volume 4933 of Lecture Notes in Artificial Intelligence, 32-45, February 2008. Springer
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 11th European Conference on Logics in Artificial Intelligence (JELIA), volume 5293 of LNAI, 362-374, 2008. Springer
Details Download
Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Approximate OWL-Reasoning with Screech
In Diego Calvanese and Georg Lausen, eds., Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings, volume 5341 of LNCS, 165-180, October 2008. Springer
Details
Johanna Völker, Sebastian Rudolph
Fostering Web Intelligence by Semi-automatic OWL Ontology Refinement
7th International Conference on Web Intelligence, WI 2008, Main Conference Proceedings, 454-460, December 2008. IEEE
Details Download
Johanna Völker, Sebastian Rudolph
Lexico-Logical Acquisition of OWL DL Axioms - An Integrated Approach to Ontology Refinement
In Raoul Medina and Sergei Obiedkov, eds., Proceedings of the 6th International Conference on Formal Concept Analysis (ICFCA'08), volume 4933 of Lecture Notes in Artificial Intelligence, 62-77, February 2008. Springer
Details Download
Markus Krötzsch, Sebastian Rudolph
Conjunctive Queries for EL with Role Composition
In D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y. Turhan and S. Tessaris, eds., Proceedings of the 20th International Workshop on Description Logics (DL2007), volume 250 of CEUR Workshop Proceedings, June 2007. CEUR-WS.org
Details Download
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexity Boundaries for Horn Description Logics
Proceedings of the 22nd AAAI Conference on Artficial Intelligence, 452--457, 2007. AAAI Press
Details Download
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Conjunctive Queries for a Tractable Fragment of OWL 1.1
In Karl Aberer and Key-Sun Choi and Natasha Noy and Dean Allemang and Kyung-Il Lee and Lyndon Nixon and Jennifer Golbeck and Peter Mika and Diana Maynard and Riichiro Mizoguchi and Guus Schreiber and Philippe Cudré-Mauroux, eds., Proceedings of the 6th International Semantic Web Conference (ISWC 2007), volume 4825 of LNCS, 310--323, November 2007. Springer
Details Download
Sebastian Rudolph
Using FCA for Encoding of Closure Operators into Neural Networks
In Uta Priss, Simon Polovina, Richard Hill, eds., Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007, volume 4604 of LNAI, 321 -- 332, July 2007. Springer-Verlag
Details Download
Sebastian Rudolph, Johanna Völker, Pascal Hitzler
Supporting Lexical Ontology Learning by Relational Exploration
In Uta Priss, Simon Polovina, Richard Hill, eds., Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007, volume 4604 of LNAI, 488-491, July 2007. Springer
Details Download
Sebastian Rudolph
Encoding Closure Operators into Neural Networks
In A. S. d'Avila Garcez, P. Hitzler and G. Tamburrini, eds., Proceedings of the Third International Workshop on Neural-Symbolic Learning and Reasoning, volume 230 of CEUR Workshop Proceedings, January 2007. CEUR
Details Download
Sebastian Rudolph
Relational Exploration - Reconciling Plato and Aristotle
In Hitzler, Roth-Berghofer, Rudolph, eds., Proceedings of the Workshop on Artificial Intelligence (FAInt-07), volume Vol-277 of CEUR Workshop Proceedings, September 2007. CEUR
Details
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., Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007, volume 4604 of LNAI, 464-467, July 2007. Springer
Details
Sebastian Rudolph
Some Notes on Pseudo-closed Sets
In Sergej O. Kuznetsov, Stefan Schmidt, eds., Proceedings of the 5th Conference on Formal Concept Analysis, volume 4390 of LNAI, 151 - 165, February 2007. Springer
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandečić
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 (RR2007), volume 4524 of Springer Lecture Notes in Computer Science, 370-373, June 2007. Springer
Details
Duc Thanh Tran, Philipp Cimiano, Sebastian Rudolph, Rudi Studer
Ontology-based Interpretation of Keywords for Semantic Search
Proceedings of the 6th International Semantic Web Conference (ISWC'07), 523-536, November 2007. Springer
Details
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, volume 216 of CEUR Workshop Proceedings, November 2006. CEUR
Details Download
Sebastian Rudolph
A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions
In Pascal Hitzler, Henrik Schärfe, Peter Øhrstrøm, eds., Inspiration and Application - Contributions to ICCS 2006, 188 - 201, July 2006. Aalborg University Press
Details Download
Sebastian Rudolph
Exploring Relational Structures via FLE
In Karl Erich Wolff, Heather D. Pfeiffer, Harry S. Delugach, eds., Conceptual Structures at Work: 12th International Conference on Conceptual Structures, volume 3127 of LNCS, 196 -- 212, July 2004. Springer
Details Download
Sebastian Rudolph
An FCA Method for the Extensional Exploration of Relational Data
In Bernhard Ganter, Aldo de Moor, eds., Using Conceptual Structures, Contributions to ICCS 2003, 197 -- 210, July 2003. Shaker, Aachen
Details Download
Bernhard Ganter, Sebastian Rudolph
Formal Concept Analysis Methods for Dynamic Conceptual Graphs
In Harry S. Delugach, Gerd Stumme, eds., Conceptual Structures: Broadening the Base, 9th International Conference on Conceptual Structures, volume 2120 of LNCS, 143-156, July 2001. Springer
Details Download
Sebastian Rudolph
Spatial concepts - a rule exploration
In Gerd Stumme, eds., Working with Conceptual Structures - Contributions to ICCS 2000, 284 -- 288, July 2000. Shaker, Aachen
Details Download
Books
Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph
Foundations of Semantic Web Technologies
Chapman & Hall/CRC, August 2009
Details
Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, York Sure
Semantic Web - Grundlagen
eXamen.press. Springer-Verlag Berlin Heidelberg, January 2008
Details
Sebastian Rudolph
Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification
Universitätsverlag Karlsruhe, December 2006
Details
Book Chapters
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
Sarah Alice Gaggl, Sebastian Rudolph, Michaël Thomazo
What Is a Reasonable Argumentation Semantics?
In Eiter, Thomas and Strass, Hannes and Truszczyński, Mirosław and Woltran, Stefan, eds., Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, volume 9060 of Lecture Notes in Computer Science, chapter Abstract Argumentation, 309-324. Springer International Publishing, 2015
Details Download
Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stühmer, Nenad Stojanovic, Rudi Studer
ETALIS: Rule-Based Reasoning in Event Processing
In Sven Helmer, Alex Poulovassilis, Fatos Xhafa, eds., Reasoning in Event-Based Distributed Systems, volume 347 of Studies in Computational Intelligence, 99-124. Springer, April 2011
Details
Sebastian Rudolph
Foundations of Description Logics
In Axel Polleres, Claudia d'Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter F. Patel-Schneider, eds., Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, volume 6848 of LNCS, 76-136. Springer, 2011
Details Download
Sebastian Rudolph, Johanna Völker
A Lexico-Logical Approach to Ontology Engineering
In Pascal Hitzler, Henrik Schärfe, eds., Conceptual Structures in Practice, Studies in Informatics, 225--244. Chapman & Hall/CRC, May 2009
Details
Edited Proceedings
Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017
Volume 10775 of LNCS, 2018. Springer
Details
Aldo Gangemi, Anna Lisa Gentile, Andrea Giovanni Nuzzolese, Sebastian Rudolph, Maria Maleshkova, Heiko Paulheim, Jeff Z. Pan, Mehwish Alam
The Semantic Web: ESWC 2018 Satellite Events - ESWC 2018 Satellite Events
Volume 11155 of LNCS, 2018. Springer
Details
Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph
Proceedings of the 6th International Workshop "What can FCA do for Artificial Intelligence?"
Volume 2149 of CEUR Workshop Proceedings, 2018. CEUR-WS.org
Details
Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)
Volume 2013 of CEUR Workshop Proceedings, 2017. CEUR-WS.org
Details
Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza Nyssen, Sebastian Rudolph
KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI
Volume 9324 of LNAI, 2015. Springer
Details
Karell Bertet, Sebastian Rudolph
Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, Košice, Slovakia, October 7-10, 2014
Volume 1252 of CEUR, October 2014. CEUR Workshop Proceedings
Details
Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales
Graph Structures for Knowledge Representation and Reasoning - Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
Volume 8323 of Lecture Notes in Computer Science, 2014. Springer
Details
Philipp Cimiano, Óscar Corcho, Valentina Presutti, Laura Hollink, Sebastian Rudolph
The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings
Volume 7882 of Lecture Notes in Computer Science, 2013. Springer
Details
Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph
Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at IJCAI 2013), Beijing, China, August 5, 2013
Volume 1058 of CEUR Workshop Proceedings, 2013. CEUR-WS.org
Details Download
Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang
Artificial General Intelligence - 6th International Conference, AGI 2013, Beijing, China, July 31 - August 3, 2013 Proceedings
Volume 7999 of Lecture Notes in Computer Science, 2013. Springer
Details
Sebastian Rudolph, Georg Gottlob, Ian Horrocks, Frank van Harmelen
Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings
Volume 8067 of Lecture Notes in Computer Science, 2013. Springer
Details
Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
Graph Structures for Knowledge Representation and Reasoning - Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
Volume 7205 of Lecture Notes in Computer Science, 2012. Springer
Details
Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev
Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011
Volume 745 of CEUR, July 2011. CEUR Workshop Proceedings
Details
Sebastian Rudolph, Claudio Gutierrez
Web Reasoning and Rule Systems - 5th International Conference (RR 2011)
Volume 6902 of LNCS, August 2011. Springer
Details
Sébastien Ferré, Sebastian Rudolph
Formal Concept Analysis: 7th International Conference, ICFCA 2009, Proceedings
Volume 5548 of LNAI, May 2009. Springer
Details
Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Conceptual Structures: Leveraging Semantic Technologies
Volume 5662 of LNCS, July 2009. Springer
Details
Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Supplementary Proceedings of ICCS'09
Volume 483 of CEUR Workshop Proceedings, July 2009. CEUR
Details
Karl Erich Wolff, Sebastian Rudolph, Sébastien Ferré
Contributions to ICFCA 2009
, May 2009. Verlag Allgemeine Wissenschaft
Details
Madalina Croitoru, Robert Jäschke, Sebastian Rudolph
Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008)
Volume 352 of CEUR Workshop Proceedings, July 2008. CEUR
Details
Pascal Hitzler, Thomas Roth-Berghofer, Sebastian Rudolph
Proceedings of the Workshop on Foundations of Artificial Intelligence, FAInt-07, at KI-2007, Osnabrück, Germany, September 2007
Volume 277 of CEUR Workshop Proceedings, September 2007. CEUR
Details
Technical Reports
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
Technical Report, arXiv.org, volume 2010.05677, October 2020
Details Download
Franz Baader, Bartosz Bednarczyk, 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
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
Reasonable Highly Expressive Query Languages: Extended Technical Report
Technical Report, TU Dresden, May 2015
Details Download
Sebastian Rudolph, Michaël Thomazo
Characterization of the Expressivity of Existential Rule Queries
Technical Report, TU Dresden, volume IJCAI-15-RT-RR, May 2015
Details Download
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
Query Containment for Highly Expressive Datalog Fragments
Technical Report, arXiv.org, volume CoRR abs/1406.7801, January 2014
Details Download
Sebastian Rudolph, Birte Glimm
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend
Technical Report, Technischen Universität Dresden, 2014
Details
Anees ul Mehdi, Sebastian Rudolph, Jens Wissman
EQuIKa: Epistemic Querying in OWL 2 Ontologies
Technical Report, AIFB, April 2013. Technical Report
Details Download
Markus Krötzsch, Sebastian Rudolph
Conjunctive Query Answering for Directional Rules
Technical Report, Institut AIFB, KIT, May 2012. Technical Report
Details
Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe
Modeling in OWL 2 without Restriction
Technical Report, Technischen Universität Dresden, 2012
Details
Anees ul Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph
On Integrating Description Logic and Rules under MH Semantics
Technical Report, Institut AIFB, KIT, July 2012. Technical Report
Details Download
Markus Krötzsch, Sebastian Rudolph
Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules
Technical Report, Institut AIFB, KIT, volume 3011, January 2011
Details Download
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Reasoning-Supported Interactive Revision of Knowledge Bases
Technical Report, Institut AIFB, KIT, April 2011
Details Download
Sebastian Rudolph, Michael Schneider
On the Utility and Feasibility of Reasoning with Undecidable Semantic Web Formalisms
Technical Report, Institut AIFB, KIT, July 2011. Technical Report
Details Download
Anees ul Mehdi, Sebastian Rudolph
Revisiting Semantics for Epistemic Extensions of Description Logics
Technical Report, Institut AIFB, KIT, August 2011
Details Download
Birte Glimm, Sebastian Rudolph, Johanna Völker
Integrated Metamodeling and Diagnosis in OWL 2
Technical Report, Institut AIFB, KIT, September 2010
Details Download
Anees ul Mehdi, Sebastian Rudolph, Stephen Grimm
Epistemic Queries for OWL
Technical Report, Institut AIFB, KIT, December 2010
Details Download
Birte Glimm, Sebastian Rudolph
Nominals, Inverses, Counting, and Conjunctive Queries or Why Infinity is your Friend!
Technical Report, Oxford University, volume 2000, March 2009
Details Download
Markus Krötzsch, Sebastian Rudolph
Finding the Largest Datalog Fragment of Description Logic
Technical Report 3002, Institute AIFB, KIT, November 2009
Details
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
ELP: Tractable Rules for OWL 2
Technical Report, Institut AIFB, Universität Karlsruhe (TH), volume 1752, April 2008
Details
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Expressive Tractable Description Logics based on SROIQ Rules
Technical Report, Universität Karlsruhe (TH), volume 1724, February 2008
Details
Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler
What Is Approximate Reasoning?
Technical Report, Institute AIFB, University of Karlsruhe, volume 1731, March 2008
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
OBDD-based Tbox Reasoning in SHIQ
Technical Report, Universität Karlsruhe, volume 1751, January 2008
Details
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
All Elephants are Bigger than All Mice
Technical Report, Institut AIFB, KIT, February 2008
Details
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Cheap Boolean Role Constructors for Description Logics
Technical Report, Institut AIFB, Universität Karlsruhe, volume 1753, April 2008
Details
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog
Technical Report, Universität Karlsruhe (TH), volume 1767, May 2008
Details
Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Approximate OWL-Reasoning with SCREECH
Technical Report, Institute AIFB, University of Karlsruhe, volume 1729, March 2008
Details
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexity of Horn Description Logics
Technical Report, Instistute AIFB, Universität Karlsruhe, volume 1432, February 2007
Details
Sebastian Rudolph
Generalized Domain-Range Restrictions
Technical Report, Institute AIFB, University of Karlsruhe, volume 1516, July 2007
Details Download
Project Deliverables
Zhisheng Huang, Annette ten Teije, Frank van Harmelen, Gaston Tagni, Hansjorg Neth, Lael Schooler, Sebastian Rudolph, Pascal Hitzler, Tuvshintur Tserendorj, Yi Huang, Danica Damljanovic, Angus Roberts
D1.4.1 Initial Framework for Measuring and Evaluating Heuristic Problem Solving
Vrije Universiteit Amsterdam, LarKC Project Deliverable, September 2009
Details
Peter Haase, Sebastian Rudolph, Yimin Wang, Saartje Brockmans, Raul Palma, Jérôme Euzenat, Mathieu d'Aquin
D1.1.1 Networked Ontology Model
Universität Karlsruhe (TH), (D1.1.1), NeOn Project Deliverable, November 2006
Details
Peter Haase, Pascal Hitzler, Sebastian Rudolph, Guilin Qi, Marko Grobelnik, Igor Mozetic, Damjan Bojadziev, Jérôme Euzenat, Mathieu d'Aquin, Aldo Gangemi, Carola Catenacci
D3.1.1 Context Languages - State of the Art
Universität Karlsruhe (TH), (D3.1.1), NeOn Project Deliverable, August 2006
Details
Pascal Hitzler, Peter Dolog, Perry Groot, Michel Klein, Malgorzata Mochol, Lyndon Nixon, Linda Peelen, Sebastian Rudolph, Stefan Schlobach, Heiner Stuckenschmidt, Denny Vrandečić, Holger Wache
Report on realizing practical approximate and distributed reasoning for ontologies
AIFB, University of Karlsruhe, December 2006
Details Download
Talks and Miscellaneous
Sebastian Rudolph
Künstliche Intelligenz, quo vadis?
Jahrbuch des Verbandes der Anbieter von Telekommunikations- und Mehrwertdiensten (VATM), April 2019
Details Download
