Sebastian Rudolph

248 papers A* 38A 10B 11C 13Misc 16Journal 57Unranked 74

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Mutual Irreducibility ofRevision and Multiple Revision. FoIKS Sebastian Rudolph, Kai Sauerwald
2025	—	`ed.`	12th International Workshop "What can FCA do for Artificial Intelligence? co-located with the 27th European Conference on Artificial Intelligence (ECAI 2024), Santiago de Compostela, Spain, October 19, 2024. FCA4AI@ECAI Amedeo Napoli, Sebastian Rudolph
2025	J	`jnl`	AGM Belief Revision, Semantically. ACM Trans. Comput. Log. Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
2025	J	`jnl`	Decidability of Querying First-Order Theories via Countermodels of Finite Width. Log. Methods Comput. Sci. Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
2025	—	`conf`	Fitting Ontologies and Constraints to Relational Structures (Extended Abstract). DL Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph
2025	A*	`conf`	Fitting Ontologies and Constraints to Relational Structures. KR Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph
2025	J	`jnl`	Fitting Ontologies and Constraints to Relational Structures. CoRR Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph
2025	—	`ed.`	Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), Melbourne, Australia, November 11-13, 2025. NMR Anna Rapberger, Sebastian Rudolph
2025	A*	`conf`	Putting Perspective into OWL [Sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order Logic. KR Lucía Gómez Álvarez, Sebastian Rudolph
2025	J	`jnl`	Putting Perspective into OWL [sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order Logic (Extended Version with Appendix). CoRR Lucía Gómez Álvarez, Sebastian Rudolph
2025	J	`jnl`	Semantic Web and Creative AI - A Technical Report from ISWS 2023. CoRR Raia Abu Ahmad, Reham Alharbi, Roberto Barile, Martin Böckling, Francisco Bolanos, Sara Bonfitto, Oleksandra Bruns, Irene Celino, Yashrajsinh Chudasama, Martin Critelli, Claudia d'Amato, Giada D'Ippolito, Ioannis Dasoulas, Stefano De Giorgis, Vincenzo De Leo, Chiara Di Bonaventura, Marco Di Panfilo, Daniil Dobriy, John Domingue, Xuemin Duan, Michel Dumontier, Sefika Efeoglu, Ruben Eschauzier, Ginwa Fakih, Nicolas Ferranti, Arianna Graciotti, Philipp Hanisch, George Hannah, Golsa Heidari, Aidan Hogan, Hassan Hussein, Alexane Jouglar, Jan-Christoph Kalo, Manoé Kieffer, Antonis Klironomos, Inês Koch, Weronika Lajewska, Nicolas Lazzari, Mikael Lindekrans, Anna Sofia Lippolis, Majlinda Llugiqi, Eleonora Mancini, Eleonora Marzi, Laura Menotti, Daniela F. Milon-Flores, Soulakshmee D. Nagowah, Kerstin Neubert, Emetis Niazmand, Ebrahim Norouzi, Beatriz Olarte Martinez, Anouk Michelle Oudshoorn, Andrea Poltronieri, Valentina Presutti, Disha Purohit, Ensiyeh Raoufi, Célian Ringwald, Johanna Rockstroh, Sebastian Rudolph, Harald Sack, Zafar Saeed, Mohammad Javad Saeedizade, Aya Sahbi, Cristian Santini, Aleksandra Simic, Dennis Sommer, Rita T. Sousa, Mary Ann Tan, Vidyashree Tarikere, Tabea Tietz, Liam Tirpitz, Arnaldo Tomasino, Frank van Harmelen, Joao Vissoci, Caitlin Woods, Bohui Zhang, Xinyue Zhang, Heng Zheng
2025	Misc	`conf`	Supporting Risk Management for Medical Devices via the RISKMAN Ontology and Shapes. SEMANTiCS Piotr Gorczyca, Dörthe Arndt, Martin Diller, Jochen Hampe, Georg Heidenreich, Pascal Kettmann, Markus Krötzsch, Stephan Mennicke, Sebastian Rudolph, Hannes Strass
2025	—	`conf`	When Horn is All You Need. CONCEPTS Sergei Obiedkov, Sebastian Rudolph
2024	B	`conf`	Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. CSL Luisa Herrmann, Vincent Peth, Sebastian Rudolph
2024	—	`conf`	Enriching Ontologies with Disjointness Axioms using Large Language Models. KBC-LM/LM-KBC@ISWC Elias Crum, Antonio De Santis, Manon Ovide, Jiaxin Pan, Alessia Pisu, Nicolas Lazzari, Sebastian Rudolph
2024	J	`jnl`	Enriching Ontologies with Disjointness Axioms using Large Language Models. CoRR Elias Crum, Antonio De Santis, Manon Ovide, Jiaxin Pan, Alessia Pisu, Nicolas Lazzari, Sebastian Rudolph
2024	Misc	`ed.`	KI 2024: Advances in Artificial Intelligence - 47th German Conference on AI, Würzburg, Germany, September 25-27, 2024, Proceedings KI Andreas Hotho, Sebastian Rudolph
2024	J	`jnl`	Non-monotonic Extensions to Formal Concept Analysis via Object Preferences. CoRR Lucas Carr, Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
2024	A*	`conf`	Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities. KR Lucía Gómez Álvarez, Sebastian Rudolph
2024	A*	`conf`	The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules. KR Piotr Ostropolski-Nalewaja, Sebastian Rudolph
2024	J	`jnl`	The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules. CoRR Piotr Ostropolski-Nalewaja, Sebastian Rudolph
2024	A	`conf`	To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence. AAMAS Jonas Karge, Juliette-Michelle Burkhardt, Sebastian Rudolph, Dominik Rusovac
2024	J	`jnl`	Towards Propositional KLM-Style Defeasible Standpoint Logics. CoRR Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
2023	—	`conf`	A is the B of C: (Semi)-Automatic Creation of Vossian Antonomasias. Wikidata@ISWC Johanna Rockstroh, Giada D'Ippolito, Nicolas Lazzari, Anouk Michelle Oudshoorn, Disha Purohit, Ensiyeh Raoufi, Sebastian Rudolph
2023	A*	`conf`	Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying. PODS Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
2023	J	`jnl`	Compositional matrix-space models of language: Definitions, properties, and learning methods. Nat. Lang. Eng. Shima Asaadi, Eugenie Giesbrecht, Sebastian Rudolph
2023	J	`jnl`	Decidability of Querying First-Order Theories via Countermodels of Finite Width. CoRR Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
2023	J	`jnl`	Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. CoRR Luisa Herrmann, Sebastian Rudolph
2023	B	`conf`	Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets. JELIA Tim S. Lyon, Sebastian Rudolph
2023	J	`jnl`	Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets. CoRR Tim S. Lyon, Sebastian Rudolph
2023	A	`conf`	Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying. ICDT Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
2023	J	`jnl`	How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC. J. Artif. Intell. Res. Bartosz Bednarczyk, Sebastian Rudolph
2023	—	`ed.`	Proceedings of the 11th International Workshop "What can FCA do for Artificial Intelligence?" co-located with the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), Macao, S.A.R. China; August 20, 2023. FCA4AI@IJCAI Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph
2023	A*	`conf`	Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. KR Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
2023	J	`jnl`	Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. CoRR Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
2023	A*	`conf`	Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL. IJCAI Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
2023	J	`jnl`	Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL. CoRR Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
2022	A*	`conf`	A Journey to the Frontiers of Query Rewritability. PODS Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
2022	—	`conf`	AGM Revision in Description Logics Under Fixed-Domain Semantics. Description Logics Faiq Miftakhul Falakh, Sebastian Rudolph
2022	A*	`conf`	Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract). IJCAI Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
2022	—	`conf`	Charting the Borderland - Decidability in Description Logics and Beyond (DL Invited Talk Abstract). Description Logics Sebastian Rudolph
2022	J	`jnl`	Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying. CoRR Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
2022	Misc	`conf`	How to Agree to Disagree - Managing Ontological Perspectives using Standpoint Logic. ISWC Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
2022	J	`jnl`	How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic. CoRR Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
2022	—	`conf`	Modelling Multiple Perspectives by Standpoint-Enhanced DLs (Extended Abstract). Description Logics Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
2022	—	`ed.`	Proceedings of the 10th International Workshop "What can FCA do for Artificial Intelligence?" co-located with the 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI 2022), Vienna, Austria, July 23, 2022. FCA4AI@IJCAI Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph
2022	B	`conf`	Semantic Characterizations of AGM Revision for Tarskian Logics. RuleML+RR Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
2022	A*	`conf`	The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion. KR Jonas Karge, Sebastian Rudolph
2022	A*	`conf`	The Price of Selfishness: Conjunctive Query Entailment for ALCSelf Is 2EXPTIME-Hard. AAAI Bartosz Bednarczyk, Sebastian Rudolph
2022	—	`conf`	Toward a Comparison Framework for Interactive Ontology Enrichment Methodologies. VOILA@ISWC Jarno Vrolijk, Ioannis Reklos, Mahsa Vafaie, Arcangelo Massari, Maryam Mohammadi, Sebastian Rudolph
2021	J	`jnl`	A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics. CoRR Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
2021	—	`conf`	A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report). FCR@KI Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
2021	A*	`conf`	Capturing Homomorphism-Closed Decidable Queries with Existential Rules. KR Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
2021	J	`jnl`	Capturing Homomorphism-Closed Decidable Queries with Existential Rules. CoRR Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
2021	A*	`conf`	Datalog-Expressibility for Monadic and Guarded Second-Order Logic. ICALP Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
2021	—	`conf`	Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract). Description Logics Emanuel Kieronski, Sebastian Rudolph
2021	A*	`conf`	Finite Model Theory of the Triguarded Fragment and Related Logics. LICS Emanuel Kieronski, Sebastian Rudolph
2021	J	`jnl`	Finite Model Theory of the Triguarded Fragment and Related Logics. CoRR Emanuel Kieronski, Sebastian Rudolph
2021	—	`ed.`	Graph Structures for Knowledge Representation and Reasoning - 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers GKR Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph
2021	J	`jnl`	Neural machine translating from natural language to SPARQL. Future Gener. Comput. Syst. Xiaoyu Yin, Dagmar Gromann, Sebastian Rudolph
2021	A*	`conf`	On Logics and Homomorphism Closure. LICS Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph
2021	J	`jnl`	On Logics and Homomorphism Closure. CoRR Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph
2021	J	`jnl`	On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics. J. Artif. Intell. Res. Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
2021	—	`ed.`	Proceedings of the 9th International Workshop "What can FCA do for Artificial Intelligence?" co-located with the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021), Montréal, Québec, Canada, August 21, 2021. FCA4AI@IJCAI Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph
2021	—	`conf`	Seed Patterns for Modeling Trees. WOP (Book) Aaron Eberhart, David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
2021	J	`jnl`	Semantic Characterizations of General Belief Base Revision. CoRR Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
2021	C	`conf`	Standpoint Logic: Multi-Perspective Knowledge Representation. FOIS Lucía Gómez Álvarez, Sebastian Rudolph
2021	—	`conf`	The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract). Description Logics Bartosz Bednarczyk, Sebastian Rudolph
2021	J	`jnl`	The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard. CoRR Bartosz Bednarczyk, Sebastian Rudolph
2021	C	`conf`	Visualization of Statistical Information in Concept Lattice Diagrams. ICFCA Jana Klimpke, Sebastian Rudolph
2020	J	`jnl`	A Journey to the Frontiers of Query Rewritability. CoRR Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
2020	J	`jnl`	Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements. Semantic Web Fariz Darari, Werner Nutt, Simon Razniewski, Sebastian Rudolph
2020	J	`jnl`	Datalog-Expressibility for Monadic and Guarded Second-Order Logic. CoRR Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
2020	J	`jnl`	Knowledge Graphs Evolution and Preservation - A Technical Report from ISWS 2019. CoRR 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
2020	C	`conf`	Neva - Extension Visualization for Argumentation Frameworks. COMMA Mei Yang, Sarah Alice Gaggl, Sebastian Rudolph
2020	—	`ed.`	Proceedings of the 7th International Workshop "What can FCA do for Artificial Intelligence"? co-located with International Joint Conference on Artificial Intelligence, FCA4AI@IJCAI 2019, Macao, China, August 10, 2019. FCA4AI@IJCAI Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph
2020	—	`ed.`	Proceedings of the 8th International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2020) co-located with 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostela, Spain, August 29, 2020. FCA4AI@ECAI Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph
2020	—	`ed.`	Proceedings of the 9th European Starting AI Researchers' Symposium 2020 co-located with 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago Compostela, Spain, August, 2020. STAIRS@ECAI Sebastian Rudolph, Goreti Marreiros
2020	J	`jnl`	SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT. Künstliche Intell. Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph
2020	A	`conf`	Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints. ECAI Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
2020	J	`jnl`	Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints. CoRR Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
2020	J	`jnl`	Semantic Node-RED for rapid development of interoperable industrial IoT applications. Semantic Web Aparna Saisree Thuluva, Darko Anicic, Sebastian Rudolph, Malintha Adikari
2019	—	`conf`	Explaining Data with Formal Concept Analysis. RW Bernhard Ganter, Sebastian Rudolph, Gerd Stumme
2019	J	`jnl`	Linked Open Data Validity - A Technical Report from ISWS 2018. CoRR 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-Méndez, Sebastian Rudolph, Harald Sack, Luca Sciullo, Humasak Simanjuntak, Carlo Stomeo, Thiviyan Thanapalasingam, Tabea Tietz, Dalia Varanka, Maria-Esther Vidal, Michael Wolowyk, Maximilian Zocholl
2019	J	`jnl`	Neural Machine Translating from Natural Language to SPARQL. CoRR Xiaoyu Yin, Dagmar Gromann, Sebastian Rudolph
2019	—	`conf`	SPARQL Queries over Ontologies Under the Fixed-Domain Semantics. PRICAI (1) Sebastian Rudolph, Lukas Schweizer, Zhihao Yao
2019	—	`conf`	Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints. Description Logics Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
2019	—	`conf`	Temporally Attributed Description Logics. Description Logic, Theory Combination, and All That Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
2019	A	`conf`	The Power of the Terminating Chase (Invited Talk). ICDT Markus Krötzsch, Maximilian Marx, Sebastian Rudolph
2019	—	`conf`	Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting. Description Logics Bartosz Bednarczyk, Sebastian Rudolph
2019	A*	`conf`	Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting. IJCAI Bartosz Bednarczyk, Sebastian Rudolph
2018	B	`conf`	Faceted Answer-Set Navigation. RuleML+RR Christian Alrabbaa, Sebastian Rudolph, Lukas Schweizer
2018	—	`ed.`	Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers GKR Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
2018	—	`conf`	Happy Ever After: Temporally Attributed Description Logics. Description Logics Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
2018	—	`conf`	IoT Semantic Interoperability with Device Description Shapes. ESWC (Satellite Events) Aparna Saisree Thuluva, Darko Anicic, Sebastian Rudolph
2018	B	`conf`	Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics. RuleML+RR Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
2018	J	`jnl`	Preface: Concept Lattices and Applications: Recent Advances and New Opportunities. Discret. Appl. Math. Karell Bertet, Sebastian Rudolph
2018	A	`conf`	Preserving Constraints with the Stable Chase. ICDT David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
2018	—	`ed.`	Proceedings of the 6th International Workshop "What can FCA do for Artificial Intelligence"? co-located with International Joint Conference on Artificial Intelligence and European Conference on Artificial Intelligence (IJCAI/ECAI 2018), Stockholm, Sweden, July 13, 2018. FCA4AI@IJCAI Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph
2018	—	`conf`	Satisfiability in the Triguarded Fragment of First-Order Logic. Description Logics Sebastian Rudolph, Mantas Simkus
2018	—	`ed.`	The Semantic Web: ESWC 2018 Satellite Events - ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers ESWC (Satellite Events) Aldo Gangemi, Anna Lisa Gentile, Andrea Giovanni Nuzzolese, Sebastian Rudolph, Maria Maleshkova, Heiko Paulheim, Jeff Z. Pan, Mehwish Alam
2018	B	`conf`	The Triguarded Fragment of First-Order Logic. LPAR Sebastian Rudolph, Mantas Simkus
2017	—	`conf`	A Demo: Semantic-Based Re-Engineering of Automation Systems. ISWC (Posters, Demos & Industry Tracks) Aparna Saisree Thuluva, Kirill Dorofeev, Monika Wenger, Darko Anicic, Sebastian Rudolph
2017	—	`conf`	Gradual Learning of Matrix-Space Models of Language for Sentiment Analysis. Rep4NLP@ACL Shima Asaadi, Sebastian Rudolph
2017	—	`conf`	Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics. Description Logics Sebastian Rudolph, Lukas Schweizer
2017	Misc	`conf`	Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics. EPIA Sebastian Rudolph, Lukas Schweizer
2017	—	`conf`	On the Ontological Modeling of Trees. WOP@ISWC David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
2017	J	`jnl`	On the Ontological Modeling of Trees. CoRR David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
2017	—	`conf`	Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract. AMW Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
2017	—	`ed.`	Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), Dresden, Germany, December 6-8, 2017. SOQE Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard
2017	—	`conf`	Semantic Web of Things for Industry 4.0. RuleML+RR (Supplement) Aparna Saisree Thuluva, Darko Anicic, Sebastian Rudolph
2017	—	`conf`	Semantic-Based Approach for Low-Effort Engineering of Automation Systems. OTM Conferences (2) Aparna Saisree Thuluva, Kirill Dorofeev, Monika Wenger, Darko Anicic, Sebastian Rudolph
2017	J	`jnl`	Succinctness and tractability of closure operator representations. Theor. Comput. Sci. Sebastian Rudolph
2017	—	`conf`	Wolpertinger: A Fixed-Domain Reasoner. ISWC (Posters, Demos & Industry Tracks) Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
2016	J	`jnl`	Concept lattices with negative information: A characterization theorem. Inf. Sci. José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Sebastian Rudolph
2016	—	`conf`	Conceptual Navigation for Polyadic Formal Concept Analysis. AI4KM@IJCAI Sebastian Rudolph, Christian Sacarea, Diana Troanca
2016	—	`conf`	Efficient Axiom Pinpointing in EL using SAT Technology. Description Logics Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph
2016	A*	`conf`	Expressivity of Datalog Variants - Completing the Picture. IJCAI Sebastian Rudolph, Michaël Thomazo
2016	—	`conf`	Fixed-Domain Reasoning for Description Logics. Description Logics Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
2016	A	`conf`	Fixed-Domain Reasoning for Description Logics. ECAI Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
2016	J	`jnl`	Is Your Database System a Semantic Web Reasoner? Künstliche Intell. Markus Krötzsch, Sebastian Rudolph
2016	—	`ed.`	Proceedings of the 5th International Workshop "What can FCA do for Artificial Intelligence"? co-located with the European Conference on Artificial Intelligence, FCA4AI@ECAI 2016, The Hague, the Netherlands, August 30, 2016. FCA4AI@ECAI Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph
2016	—	`conf`	Revisiting Grounded Circumscription in Description Logics. RR Stathis Delivorias, Sebastian Rudolph
2016	—	`conf`	The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics. Description Logics Sebastian Rudolph
2016	A*	`conf`	Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics. KR Sebastian Rudolph
2016	Misc	`conf`	Web-Mining Defeasible Knowledge from Concessional Statements. ICCS Alina Petrova, Sebastian Rudolph
2015	J	`jnl`	A closer look at the semantic relationship between Datalog and description logics. Semantic Web Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
2015	J	`jnl`	Bound Your Models! How to Make OWL an ASP Modeling Language. CoRR Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
2015	A*	`conf`	Characterization of the Expressivity of Existential Rule Queries. IJCAI Sebastian Rudolph, Michaël Thomazo
2015	—	`ed.`	Graph Structures for Knowledge Representation and Reasoning - 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers GKR Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
2015	Misc	`ed.`	KI 2015: Advances in Artificial Intelligence - 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings KI Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza, Sebastian Rudolph
2015	A*	`conf`	Membership Constraints in Formal Concept Analysis. IJCAI Sebastian Rudolph, Christian Sacarea, Diana Troanca
2015	A*	`conf`	On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks. IJCAI Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
2015	—	`ed.`	Proceedings of the 4th International Workshop "What can FCA do for Artificial Intelligence?", FCA4AI 2015, co-located with the International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 25, 2015. FCA4AI@IJCAI Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph
2015	A*	`conf`	Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention). IJCAI Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
2015	—	`conf`	Reduction in Triadic Data Sets. FCA4AI@IJCAI Sebastian Rudolph, Christian Sacarea, Diana Troanca
2015	—	`conf`	Schema-Agnostic Query Rewriting for OWL QL. Description Logics Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph
2015	C	`conf`	Towards a Navigation Paradigm for Triadic Concepts. ICFCA Sebastian Rudolph, Christian Sacarea, Diana Troanca
2015	—	`conf`	What Is a Reasonable Argumentation Semantics? Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Sarah Alice Gaggl, Sebastian Rudolph, Michaël Thomazo
2014	J	`jnl`	(Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL. Artif. Intell. Nadeschda Nikitina, Sebastian Rudolph
2014	—	`conf`	All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles. OWLED David Carral, Adila Krisnadhi, Sebastian Rudolph, Pascal Hitzler
2014	—	`conf`	Complexities of Nominal Schemas. Description Logics Markus Krötzsch, Sebastian Rudolph
2014	A*	`conf`	Expressiveness of guarded existential rule languages. PODS Georg Gottlob, Sebastian Rudolph, Mantas Simkus
2014	—	`ed.`	Graph Structures for Knowledge Representation and Reasoning - Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers GKR Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales
2014	—	`conf`	How to Best Nest Regular Path Queries. Description Logics Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
2014	A	`conf`	Mixing Materialization and Query Rewriting for Existential Rules. ECAI Michaël Thomazo, Sebastian Rudolph
2014	A*	`conf`	Nominal Schemas in Description Logics: Complexities Clarified. KR Markus Krötzsch, Sebastian Rudolph
2014	J	`jnl`	Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! CoRR Sebastian Rudolph, Birte Glimm
2014	C	`conf`	On the Succinctness of Closure Operator Representations. ICFCA Sebastian Rudolph
2014	—	`ed.`	Proceedings of the 3rd International Workshop "What can FCA do for Artificial Intelligence"? co-located with the European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, August 19, 2014. FCA4AI@ECAI Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph
2014	—	`ed.`	Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, Košice, Slovakia, October 7-10, 2014. CLA Karell Bertet, Sebastian Rudolph
2014	J	`jnl`	Query Containment for Highly Expressive Datalog Fragments. CoRR Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
2014	—	`conf`	Schema-Agnostic Query Rewriting in SPARQL 1.1. ISWC (1) Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph
2014	J	`jnl`	The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases. J. Artif. Intell. Res. Giorgio Stefanoni, Boris Motik, Markus Krötzsch, Sebastian Rudolph
2014	—	`conf`	The Two Views on Ontological Query Answering. AMW Sebastian Rudolph
2014	—	`conf`	Towards Combining Machine Learning with Attribute Exploration for Ontology Refinement. ISWC (Posters & Demos) Jedrzej Potoniec, Sebastian Rudolph, Agnieszka Lawrynowicz
2014	J	`jnl`	Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses. CoRR Sebastian Rudolph, Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier
2013	—	`ed.`	Artificial General Intelligence - 6th International Conference, AGI 2013, Beijing, China, July 31 - August 3, 2013 Proceedings AGI Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang
2013	J	`jnl`	Complexities of Horn Description Logics. ACM Trans. Comput. Log. Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
2013	A*	`conf`	Flag & check: data access with monadically defined queries. PODS Sebastian Rudolph, Markus Krötzsch
2013	J	`jnl`	Managing Structured and Semistructured RDF Data Using Structure Indexes. IEEE Trans. Knowl. Data Eng. Thanh Tran, Günter Ladwig, Sebastian Rudolph
2013	—	`conf`	Modeling in OWL 2 without Restrictions. OWLED Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe
2013	—	`ed.`	Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at IJCAI 2013), Beijing, China, August 5, 2013. FCA4AI@IJCAI Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph
2013	—	`ed.`	Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings Reasoning Web Sebastian Rudolph, Georg Gottlob, Ian Horrocks, Frank van Harmelen
2013	J	`jnl`	Report on the Sixth Conference on Artificial General Intelligence. AI Mag. Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang
2013	B	`ed.`	The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings ESWC Philipp Cimiano, Óscar Corcho, Valentina Presutti, Laura Hollink, Sebastian Rudolph
2012	A*	`conf`	A Generic Querying Algorithm for Greedy Sets of Existential Rules. KR Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
2012	B	`conf`	Advocatus Diaboli - Exploratory Enrichment of Ontologies with Negative Constraints. EKAW Sébastien Ferré, Sebastian Rudolph
2012	A	`conf`	Exclusivity-based allocation of knowledge. AAMAS Madalina Croitoru, Sebastian Rudolph
2012	A	`conf`	ExpExpExplosion: Uniform Interpolation in General EL Terminologies. ECAI Nadeschda Nikitina, Sebastian Rudolph
2012	—	`ed.`	Graph Structures for Knowledge Representation and Reasoning - Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers GKR Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
2012	J	`jnl`	Interactive ontology revision. J. Web Semant. Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
2012	B	`conf`	LODifier: Generating Linked Data from Unstructured Text. ESWC Isabelle Augenstein, Sebastian Padó, Sebastian Rudolph
2012	J	`jnl`	Modeling in OWL 2 without Restrictions CoRR Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe
2012	—	`conf`	More Than the Sum of Its Parts - Holistic Ontology Alignment by Population-Based Optimisation. FoIKS Jürgen Bock, Sebastian Rudolph, Michael Mutter
2012	—	`conf`	Multi-Agent Knowledge Allocation. SGAI Conf. Sebastian Rudolph, Madalina Croitoru
2012	—	`conf`	On Integrating Description Logics and Rules under Minimal Hypotheses. RR Anees Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph
2012	—	`conf`	On the (Non-)Succinctness of Uniform Interpolation in General ${\mathcal{EL}}$ Terminologies. RR Nadeschda Nikitina, Sebastian Rudolph
2012	—	`ed.`	Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?", FCA4AI@ECAI 2012, Montpellier, France, August 28, 2012 FCA4AI@ECAI Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph
2012	J	`jnl`	Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach. Appl. Artif. Intell. Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
2012	C	`conf`	Some Notes on Managing Closure Operators. ICFCA Sebastian Rudolph
2012	J	`jnl`	Stream reasoning and complex event processing in ETALIS. Semantic Web Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
2012	J	`jnl`	Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog Log. Methods Comput. Sci. Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
2011	—	`conf`	A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams. RuleML Europe Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
2011	A*	`conf`	EP-SPARQL: a unified language for event processing and stream reasoning. WWW Darko Anicic, Paul Fodor, Sebastian Rudolph, Nenad Stojanovic
2011	—	`conf`	Epistemic Querying of OWL Knowledge Bases. ESWC (1) Anees Mehdi, Sebastian Rudolph, Stephan Grimm
2011	A*	`conf`	Extending Decidable Existential Rules by Joining Acyclicity and Guardedness. IJCAI Markus Krötzsch, Sebastian Rudolph
2011	—	`conf`	Foundations of Description Logics. Reasoning Web Sebastian Rudolph
2011	—	`conf`	Practical Epistemic Entailment Checking in SROIQ. Description Logics Anees Mehdi, Sebastian Rudolph
2011	—	`ed.`	Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 Description Logics Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev
2011	A*	`conf`	Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ. IJCAI Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
2011	—	`conf`	Reasoning-Supported Interactive Revision of Knowledge Bases. Description Logics Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
2011	A*	`conf`	Reasoning-Supported Interactive Revision of Knowledge Bases. IJCAI Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
2011	C	`conf`	Results on Out-of-Order Event Processing. PADL Paul Fodor, Darko Anicic, Sebastian Rudolph
2011	—	`conf`	Retractable Complex Event Processing and Stream Reasoning. RuleML Europe Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
2011	A*	`conf`	Revisiting Semantics for Epistemic Extensions of Description Logics. AAAI Anees Mehdi, Sebastian Rudolph
2011	Misc	`conf`	Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies. ICCS Sebastian Rudolph, Michael Schneider
2011	A*	`conf`	Walking the Complexity Lines for Generalized Guarded Existential Rules. IJCAI Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo
2011	—	`ed.`	Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings RR Sebastian Rudolph, Claudio Gutierrez
2011	—	`conf`	Wheat and Chaff - Practically Feasible Interactive Ontology Revision. ISWC (1) Nadeschda Nikitina, Birte Glimm, Sebastian Rudolph
2010	—	`conf`	A Rule-Based Language for Complex Event Processing and Reasoning. RR Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stühmer, Nenad Stojanovic, Rudi Studer
2010	A*	`conf`	Compositional Matrix-Space Models of Language. ACL Sebastian Rudolph, Eugenie Giesbrecht
2010	J	`jnl`	Computing intensional answers to questions - An inductive logic programming approach. Data Knowl. Eng. Philipp Cimiano, Sebastian Rudolph, Helena Hartfiel
2010	Misc	`conf`	Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks. ICCS Pia-Ramona Wojtinnek, Brian Harrington, Sebastian Rudolph, Stephen Pulman
2010	—	`book`	Foundations of Semantic Web Technologies Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph
2010	—	`conf`	Integrated Metamodeling and Diagnosis in OWL 2. ISWC (1) Birte Glimm, Sebastian Rudolph, Johanna Völker
2010	J	`jnl`	Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! J. Artif. Intell. Res. Sebastian Rudolph, Birte Glimm
2010	—	`conf`	On the Semantic Relationship between Datalog and Description Logics. RR Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
2010	—	`conf`	Orel: Database-Driven Reasoning for OWL 2 Profiles. Description Logics Markus Krötzsch, Anees Mehdi, Sebastian Rudolph
2010	A*	`conf`	Status QIO: Conjunctive Query Entailment Is Decidable. KR Birte Glimm, Sebastian Rudolph
2010	A*	`conf`	Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. KR Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
2009	—	`conf`	A Matter of Principles: Towards the Largest DLP Possible. Description Logics Markus Krötzsch, Sebastian Rudolph
2009	Misc	`ed.`	Conceptual Structures: Leveraging Semantic Technologies, 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings ICCS Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
2009	—	`conf`	Conjunctive Query Entailment: Decidable in Spite of O, I, and Q. Description Logics Birte Glimm, Sebastian Rudolph
2009	C	`ed.`	Formal Concept Analysis, 7th International Conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2009, Proceedings ICFCA Sébastien Ferré, Sebastian Rudolph
2009	—	`conf`	Refining Ontologies by Pattern-Based Completion. WOP Nadejda Nikitina, Sebastian Rudolph, Sebastian Blohm
2009	B	`conf`	Tempus Fugit. ESWC Uta Lösch, Sebastian Rudolph, Denny Vrandecic, Rudi Studer
2009	A*	`conf`	Top-k Exploration of Query Candidates for Efficient Keyword Search on Graph-Shaped (RDF) Data. ICDE Thanh Tran, Haofen Wang, Sebastian Rudolph, Philipp Cimiano
2008	C	`conf`	Acquiring Generalized Domain-Range Restrictions. ICFCA Sebastian Rudolph
2008	—	`conf`	All Elephants are Bigger than All Mice. Description Logics Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
2008	—	`conf`	Approximate OWL Instance Retrieval with SCREECH. Logic and Probability for Scene Interpretation Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Tuvshintur Tserendorj
2008	—	`conf`	Approximate OWL-Reasoning with Screech. RR Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
2008	B	`conf`	Cheap Boolean Role Constructors for Description Logics. JELIA Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
2008	Misc	`conf`	Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog. ISWC Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
2008	A	`conf`	Description Logic Rules. ECAI Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
2008	Misc	`conf`	ELP: Tractable Rules for OWL 2. ISWC Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
2008	—	`conf`	Fostering Web Intelligence by Semi-automatic OWL Ontology Refinement. Web Intelligence Johanna Völker, Sebastian Rudolph
2008	C	`conf`	Intensional Question Answering Using ILP: What Does an Answer Mean?. NLDB Philipp Cimiano, Helena Hartfiel, Sebastian Rudolph
2008	C	`conf`	Lexico-Logical Acquisition of OWL DL Axioms. ICFCA Johanna Völker, Sebastian Rudolph
2008	—	`conf`	Semantic Description of Distributed Business Processes. AAAI Spring Symposium: AI Meets Business Rules and Process Management Sudhir Agarwal, Sebastian Rudolph, Andreas Abecker
2008	A*	`conf`	Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. AAAI Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
2008	—	`conf`	What Is Approximate Reasoning?. RR Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler
2007	A*	`conf`	Complexity Boundaries for Horn Description Logics. AAAI Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
2007	—	`conf`	Conjunctive Queries for EL with Composition of Roles. Description Logics Markus Krötzsch, Sebastian Rudolph
2007	—	`conf`	Conjunctive Queries for a Tractable Fragment of OWL 1.1. ISWC/ASWC Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
2007	—	`conf`	Efficient OWL Reasoning with Logic Programs - Evaluations. RR Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic
2007	C	`conf`	Encoding Closure Operators into Neural Networks. NeSy Sebastian Rudolph
2007	—	`ed.`	Foundations of Artificial Intelligence FAInt 2007, Osnabrück, Germany, September 10, 2007 FAInt Pascal Hitzler, Thomas Roth-Berghofer, Sebastian Rudolph
2007	—	`conf`	Ontology-Based Interpretation of Keywords for Semantic Search. ISWC/ASWC Thanh Tran, Philipp Cimiano, Sebastian Rudolph, Rudi Studer
2007	Misc	`conf`	Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web. ICCS Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
2007	—	`conf`	Relational Exploration - Reconciling Plato and Aristotle. FAInt Sebastian Rudolph
2007	C	`conf`	Some Notes on Pseudo-closed Sets. ICFCA Sebastian Rudolph
2007	Misc	`conf`	Supporting Lexical Ontology Learning by Relational Exploration. ICCS Sebastian Rudolph, Johanna Völker, Pascal Hitzler
2007	Misc	`conf`	Using FCA for Encoding Closure Operators into Neural Networks. ICCS Sebastian Rudolph
2006	—	`conf`	On the Complexity of Horn Description Logics. OWLED Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
2006	—	`—`	Relational exploration: combining description logics and formal concept analysis for knowledge specification. Sebastian Rudolph
2004	Misc	`conf`	Exploring Relational Structures Via FLE. ICCS Sebastian Rudolph
2001	Misc	`conf`	Formal Concept Analysis Methods for Dynamic Conceptual Graphs. ICCS Bernhard Ganter, Sebastian Rudolph